139       bool Symbolic;  in checkPreCall()  local
142                             Call.getArgExpr(FuncInfo.VAListPos), Symbolic, C);  in checkPreCall()
151       if (Symbolic)  in checkPreCall()
191   bool Symbolic;  in checkPreStmt()  local
193       getVAListAsRegion(VAListSVal, VASubExpr, Symbolic, C);  in checkPreStmt()
196   if (Symbolic)  in checkPreStmt()
310   bool Symbolic;  in checkVAListStartCall()  local
312       getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C);  in checkVAListStartCall()
320         getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C);  in checkVAListStartCall()
328       } else if (!State->contains<InitializedVALists>(Arg2) && !Symbolic) {  in checkVAListStartCall()
357   bool Symbolic;  in checkVAListEndCall()  local
359       getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C);  in checkVAListEndCall()
365   if (Symbolic)  in checkVAListEndCall()