Searched refs:Consequent (Results 1 – 1 of 1) sorted by relevance
219 const SymbolRef *Consequent = in addImplication() local222 if (!Consequent) in addImplication()230 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication()238 State = State->remove<NullImplicationMap>(*Consequent); in addImplication()241 State = State->remove<NonNullImplicationMap>(*Consequent); in addImplication()