#include <stdlib.h> | |
void * | |
calls_malloc (void) | |
{ | |
void *result = malloc (1024); | |
return result; | |
} | |
int *test_1 (int i) | |
{ | |
int *ptr = (int *)calls_malloc (); | |
*ptr = i; /* { dg-warning "dereference of possibly-NULL 'ptr'" } */ | |
return ptr; | |
} | |
/* Same as test_1, to exercise the caches. */ | |
int *test_2 (int i) | |
{ | |
int *ptr = (int *)calls_malloc (); | |
*ptr = i; /* { dg-warning "dereference of possibly-NULL 'ptr'" } */ | |
return ptr; | |
} |