reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2432 std::tie(StatePtrIsNull, StatePtrNotNull) = State->assume(PtrEQ); 2437 bool PrtIsNull = StatePtrIsNull && !StatePtrNotNull; 2444 UndefinedVal(), StatePtrIsNull);