Lines Matching defs:sym
713 const SymbolRef sym;
717 : SubRegion(sreg, SymbolicRegionKind), sym(s) {}
720 return sym;
730 SymbolRef sym,
1196 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);
1199 const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);
1342 void setTrait(SymbolRef Sym, InvalidationKinds IK);
1344 bool hasTrait(SymbolRef Sym, InvalidationKinds IK);