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