diff options
| author | Anna Zaks <ganna@apple.com> | 2013-04-16 00:22:55 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2013-04-16 00:22:55 +0000 |
| commit | 148d9223f02dba1ba6e40848d413daa3ffc09dfe (patch) | |
| tree | 5101e8a53341b62347e63187157c5e2e4d77c3ba /lib/StaticAnalyzer/Checkers/MallocChecker.cpp | |
| parent | d8eeac5bd5e3cca0b3ff3993ee479ec9e66f386e (diff) | |
[analyzer] Improve the malloc checker stack hint message
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@179580 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/MallocChecker.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/MallocChecker.cpp | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/lib/StaticAnalyzer/Checkers/MallocChecker.cpp b/lib/StaticAnalyzer/Checkers/MallocChecker.cpp index b7fe9b6013..5d3eb65148 100644 --- a/lib/StaticAnalyzer/Checkers/MallocChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/MallocChecker.cpp @@ -2092,7 +2092,7 @@ MallocChecker::MallocBugVisitor::VisitNode(const ExplodedNode *N, } else if (isReleased(RS, RSPrev, S)) { Msg = "Memory is released"; StackHint = new StackHintGeneratorForSymbol(Sym, - "Returned released memory"); + "Returning; memory was released"); } else if (isRelinquished(RS, RSPrev, S)) { Msg = "Memory ownership is transfered"; StackHint = new StackHintGeneratorForSymbol(Sym, ""); @@ -2152,13 +2152,13 @@ void MallocChecker::printState(raw_ostream &Out, ProgramStateRef State, } } -void ento::registerNewDeleteLeaksChecker(CheckerManager &mgr) {
- registerCStringCheckerBasic(mgr);
- mgr.registerChecker<MallocChecker>()->Filter.CNewDeleteLeaksChecker = true;
- // We currently treat NewDeleteLeaks checker as a subchecker of NewDelete
- // checker.
- mgr.registerChecker<MallocChecker>()->Filter.CNewDeleteChecker = true;
-}
+void ento::registerNewDeleteLeaksChecker(CheckerManager &mgr) { + registerCStringCheckerBasic(mgr); + mgr.registerChecker<MallocChecker>()->Filter.CNewDeleteLeaksChecker = true; + // We currently treat NewDeleteLeaks checker as a subchecker of NewDelete + // checker. + mgr.registerChecker<MallocChecker>()->Filter.CNewDeleteChecker = true; +} #define REGISTER_CHECKER(name) \ void ento::register##name(CheckerManager &mgr) {\ |