diff options
| author | Anna Zaks <ganna@apple.com> | 2012-08-04 02:04:27 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-08-04 02:04:27 +0000 |
| commit | 6ce686e6a4f222ed753ea630a1d6051853150205 (patch) | |
| tree | 7e1af91de603dd0043afcabe56cd2e0f840f18d5 /clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp | |
| parent | 0efe2743f8ed20188821fe23d4ea296123689ed3 (diff) | |
| download | bcm5719-llvm-6ce686e6a4f222ed753ea630a1d6051853150205.tar.gz bcm5719-llvm-6ce686e6a4f222ed753ea630a1d6051853150205.zip | |
[analyzer] Malloc: remove assert since is not valid as of r161248
We can be in the situation where we did not track the symbol before
realloc was called on it.
llvm-svn: 161294
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp index 0a36071cf7c..4f19c2ee079 100644 --- a/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp @@ -1569,11 +1569,6 @@ MallocChecker::MallocBugVisitor::VisitNode(const ExplodedNode *N, // Is this is the first appearance of the reallocated symbol? if (!statePrev->get<RegionState>(FailedReallocSymbol)) { - // If we ever hit this assert, that means BugReporter has decided to skip - // node pairs or visit them out of order. - assert(state->get<RegionState>(FailedReallocSymbol) && - "Missed the reallocation point"); - // We're at the reallocation point. Msg = "Attempt to reallocate memory"; StackHint = new StackHintGeneratorForSymbol(Sym, |
