func: static void goodB2G2() int * data ; data = NULL; if ( globalReturnsTrue ( ) )  int globalReturnsTrue() return 1 ; data = ( int * ) realloc ( data , 100 * sizeof ( int ) ); data [ 0 ] = 5; if ( globalReturnsTrue ( ) )  int globalReturnsTrue() return 1 ; free ( data ); 