func: static void goodB2G1() int * data ; data = NULL; data = ( int * ) realloc ( data , 1 * sizeof ( int ) ); if ( staticReturnsFalse ( ) )  static int staticReturnsFalse() return 0 ; if ( data != NULL )  data [ 0 ] = 5; free ( data ); 