H A D | ValistChecker.cpp | 138 bool Symbolic; in checkPreCall() 141 Call.getArgExpr(FuncInfo.VAListPos), Symbolic, C); in checkPreCall() 150 if (Symbolic) in checkPreCall() 190 bool Symbolic; in checkPreStmt() 192 getVAListAsRegion(VAListSVal, VASubExpr, Symbolic, C); in checkPreStmt() 195 if (Symbolic) in checkPreStmt() 309 bool Symbolic; in checkVAListStartCall() 311 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); in checkVAListStartCall() 319 getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C); in checkVAListStartCall() 327 } else if (!State->contains<InitializedVALists>(Arg2) && !Symbolic) { in checkVAListStartCall() 139 bool Symbolic; checkPreCall() local 191 bool Symbolic; checkPreStmt() local 310 bool Symbolic; checkVAListStartCall() local 357 bool Symbolic; checkVAListEndCall() local [all...] |