commit b7eac9fbef473ce69b5c962d7361f1e97da7736d
author Anna Zaks <ganna@apple.com> Sat Jan 21 05:07:33 2012 +0000
committer Anna Zaks <ganna@apple.com> Sat Jan 21 05:07:33 2012 +0000
tree cee4691e7b04eb6d50fd9ce42ef39d97454b5012
parent 5720e34955edcf112099127689c85c3a132e9cb4

[analyzer] Make VLA checker taint aware. 

Also, slightly modify the diagnostic message in ArrayBound and DivZero (still use 'taint', which might not mean much to the user, but plan on changing it later).

llvm-svn: 148626

clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp

diff --git a/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
index b9ed384..9f2f515 100644
--- a/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
@@ -37,10 +37,10 @@
                                CheckerContext &C) const {
   if (ExplodedNode *N = C.generateSink(StateZero)) {
     if (!BT)
-      BT.reset(new BuiltinBug(Msg));
+      BT.reset(new BuiltinBug("Division by zero"));
 
     BugReport *R =
-      new BugReport(*BT, BT->getDescription(), N);
+      new BugReport(*BT, Msg, N);
 
     R->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N,
                                  bugreporter::GetDenomExpr(N)));