Searched refs:notNilState (Results 1 – 1 of 1) sorted by relevance
930 ProgramStateRef notNilState, nilState; in getValueReleasedByNillingOut() local931 std::tie(notNilState, nilState) = in getValueReleasedByNillingOut()933 if (!(nilState && !notNilState)) in getValueReleasedByNillingOut()