Lines Matching defs:Sym

61     SymbolRef Sym = Cond.getAsSymbol();
62     assert(Sym);
63     return assumeSymUnsupported(State, Sym, Assumption);
72     SymbolRef Sym = SV.getSymbol();
73     assert(Sym);
74     return assumeSym(State, Sym, Assumption);
105     SymbolRef Sym = Value.getAsSymbol();
106     assert(Sym);
107     return assumeSymInclusiveRange(State, Sym, From, To, InRange);
117     if (SymbolRef Sym = Value.getAsSymbol())
118       return assumeSymInclusiveRange(State, Sym, From, To, InRange);