Searched refs:Consequent (Results 1 – 1 of 1) sorted by relevance
218 const SymbolRef *Consequent = in addImplication() local221 if (!Consequent) in addImplication()229 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication()237 State = State->remove<NullImplicationMap>(*Consequent); in addImplication()240 State = State->remove<NonNullImplicationMap>(*Consequent); in addImplication()