func: static void goodB2G() char inputBuffer [ CHAR_ARRAY_SIZE ] = "" ; if ( fgets ( inputBuffer , CHAR_ARRAY_SIZE , stdin ) != NULL )  data = atoi ( inputBuffer ); CWE190_Integer_Overflow__int_fgets_add_52b_goodB2GSink ( data ); void CWE190_Integer_Overflow__int_fgets_add_52b_goodB2GSink(int data) CWE190_Integer_Overflow__int_fgets_add_52c_goodB2GSink ( data ); void CWE190_Integer_Overflow__int_fgets_add_52c_goodB2GSink(int data) if ( data < INT_MAX )  int result = data + 1 ; printIntLine ( result ); void printIntLine (int intNumber) printf ( "%d\n" , intNumber ); 