Lines Matching defs:Symbolic

138       bool Symbolic;
141                             Call.getArgExpr(FuncInfo.VAListPos), Symbolic, C);
150       if (Symbolic)
190   bool Symbolic;
192       getVAListAsRegion(VAListSVal, VASubExpr, Symbolic, C);
195   if (Symbolic)
309   bool Symbolic;
311       getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C);
319         getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C);
327       } else if (!State->contains<InitializedVALists>(Arg2) && !Symbolic) {
356   bool Symbolic;
358       getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C);
364   if (Symbolic)