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