Home | History | Annotate | Download | only in PathSensitive

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);