func: static void goodB2G1() wchar_t * data ; data = NULL; if ( globalReturnsTrue ( ) )  int globalReturnsTrue() return 1 ; data = ( wchar_t * ) malloc ( 100 * sizeof ( wchar_t ) ); wcscpy ( data , L "A String" ) if ( globalReturnsFalse ( ) )  int globalReturnsFalse() return 0 ; free ( data ); 