func: static void goodG2B2() char * data ; char dataBuffer [ 100 ] = "" ; data = dataBuffer; if ( globalReturnsTrue ( ) )  int globalReturnsTrue() return 1 ; strcpy ( data , "15" ); if ( globalReturnsTrue ( ) )  int globalReturnsTrue() return 1 ; if ( sscanf ( data , "%d" , & n ) == 1 )  