func: void CWE681_Incorrect_Conversion_Between_Numeric_Types__double2float_11_bad() if ( globalReturnsTrue ( ) )  int globalReturnsTrue() return 1 ; char inputBuffer [ CHAR_ARRAY_SIZE ] ; if ( fgets ( inputBuffer , CHAR_ARRAY_SIZE , stdin ) != NULL )  doubleNumber = atof ( inputBuffer ); printFloatLine ( ( float ) doubleNumber ); void printFloatLine (float floatNumber) printf ( "%f\n" , floatNumber ); 