func: void CWE617_Reachable_Assertion__fgets_22_bad() int data ; data = - 1; data = CWE617_Reachable_Assertion__fgets_22_badSource ( data ); int CWE617_Reachable_Assertion__fgets_22_badSource(int data) if ( CWE617_Reachable_Assertion__fgets_22_badGlobal )  char inputBuffer [ CHAR_ARRAY_SIZE ] = "" ; if ( fgets ( inputBuffer , CHAR_ARRAY_SIZE , stdin ) != NULL )  data = atoi ( inputBuffer ); return data ; assert ( data > ASSERT_VALUE ); 