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 | 4d33286d59e5d71a072c7e08ea0c5dd65e45b81c (patch) | |
| tree | 74c643efe31bbe5d3e4097d13e075ac67d02e652 /lib/StaticAnalyzer/Checkers/MallocChecker.cpp | |
| parent | b34eb0c6f0ea24047ad2439825b4f6348e380315 (diff) | |
[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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@161294 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/MallocChecker.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/MallocChecker.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/StaticAnalyzer/Checkers/MallocChecker.cpp b/lib/StaticAnalyzer/Checkers/MallocChecker.cpp index 0a36071cf7..4f19c2ee07 100644 --- a/lib/StaticAnalyzer/Checkers/MallocChecker.cpp +++ b/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, |