Lines Matching refs:SVal

55 using SVals = llvm::StringMap<SVal>;
64   void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const {  in checkBind()
85   SVal getByName(StringRef Name) const { return CollectedSVals[Name]; }  in getByName()
166   SVal X = getByName("x");
170   SVal Y = getByName("y");
175   SVal Z = getByName("z");
186   SVal A = getByName("a");
193   SVal B = getByName("b");
197   SVal C = getByName("c");
210   SVal X = getByName("x");
214   SVal Y = getByName("y");
219   SVal Z = getByName("z");
241   SVal A = getByName("a");
247   SVal B = getByName("b");
253   SVal C = getByName("c");
259   SVal D = getByName("d");
265   SVal E = getByName("e");
271   SVal F = getByName("f");
294   SVal A = getByName("a");
300   SVal B = getByName("b");
306   SVal C = getByName("c");
332   SVal A = getByName("a");
347   SVal A = getByName("a");
362   SVal A = getByName("a");
376   SVal A = getByName("a");
380   SVal B = getByName("a");