func: static void goodG2B() int data ; data = - 1; CWE617_Reachable_Assertion__connect_socket_84_goodG2B * goodG2BObject = new CWE617_Reachable_Assertion__connect_socket_84_goodG2B ( data ) ; CWE617_Reachable_Assertion__connect_socket_84_goodG2B::CWE617_Reachable_Assertion__connect_socket_84_goodG2B(int dataCopy) data = dataCopy; data = ASSERT_VALUE + 1; delete goodG2BObject CWE617_Reachable_Assertion__connect_socket_84_goodG2B::~CWE617_Reachable_Assertion__connect_socket_84_goodG2B() assert ( data > ASSERT_VALUE ); 