Lines Matching refs:SymbolRef
37 REGISTER_MAP_WITH_PROGRAMSTATE(NonNullImplicationMap, SymbolRef, SymbolRef)
41 REGISTER_MAP_WITH_PROGRAMSTATE(NullImplicationMap, SymbolRef, SymbolRef)
68 const SymbolRef CondS = Cond.getAsSymbol();
73 const SymbolRef Antecedent = *B;
116 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol();
117 SymbolRef RetS = Msg.getReturnValue().getAsSymbol();
149 for (const std::pair<SymbolRef, SymbolRef> &P : State->get<MapName>())
213 ProgramStateRef addImplication(SymbolRef Antecedent,
219 const SymbolRef *Consequent =
Indexes created Thu Sep 10 00:26:39 UTC 2026