diff options
| author | Anna Zaks <ganna@apple.com> | 2012-01-21 05:07:33 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-01-21 05:07:33 +0000 |
| commit | 3bfd6d701ee297bd062967e11400daae51b36eb2 (patch) | |
| tree | e4f056f362380991ddfbed24e878f03f4bf817ce /lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp | |
| parent | 416de514f8a7a9c121e45ae450d0faef9e5a0ef9 (diff) | |
[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).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148626 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp b/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp index b9ed384e0a..9f2f5151bf 100644 --- a/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp @@ -37,10 +37,10 @@ void DivZeroChecker::reportBug(const char *Msg, 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))); |