diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-05-22 23:45:19 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-05-22 23:45:19 +0000 |
| commit | b91ef1b62b59fb401f175e3dd5d6fe97c9e53932 (patch) | |
| tree | 9d9bb0dee1c1125d21978a90f3e42b460d24d03a /clang/lib/Analysis/CFRefCount.cpp | |
| parent | 8830714bff9252c37de42913da217fc283d7a82e (diff) | |
| download | bcm5719-llvm-b91ef1b62b59fb401f175e3dd5d6fe97c9e53932.tar.gz bcm5719-llvm-b91ef1b62b59fb401f175e3dd5d6fe97c9e53932.zip | |
Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q".
llvm-svn: 51453
Diffstat (limited to 'clang/lib/Analysis/CFRefCount.cpp')
| -rw-r--r-- | clang/lib/Analysis/CFRefCount.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clang/lib/Analysis/CFRefCount.cpp b/clang/lib/Analysis/CFRefCount.cpp index da7d84f45e6..5660929a879 100644 --- a/clang/lib/Analysis/CFRefCount.cpp +++ b/clang/lib/Analysis/CFRefCount.cpp @@ -2017,6 +2017,10 @@ GetAllocationSite(ExplodedNode<ValueState>* N, SymbolID Sym) { PathDiagnosticPiece* CFRefReport::getEndPath(BugReporter& BR, ExplodedNode<ValueState>* EndN) { + + // Tell the BugReporter to report cases when the tracked symbol is + // assigned to different variables, etc. + BR.addNotableSymbol(Sym); if (!getBugType().isLeak()) return RangedBugReport::getEndPath(BR, EndN); |
