blob: 556d8a035ded66962e5366475f3d19bc2a1620c8 [file] [log] [blame]
/* most of the nasties in this are in the same bb, so you need to run
with --single-step=yes to get them properly distinguished. */
#include <stdlib.h>
int main ( void )
{
volatile double d;
volatile float f;
double* dp = malloc(sizeof(double));
float* fp = malloc(sizeof(float));
int* ip = (int*)0x1234567;
d += 1.0;
f += 10.0;
*dp += 2.0;
*fp += 20.0;
free(dp);
free(fp);
*dp += 3.0;
*fp += 30.0;
free(ip);
ip = malloc(sizeof(int));
* ((double*)ip) = 1.2 + d;
return 0;
}