diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-05-13 08:26:32 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-05-13 08:26:32 +0000 |
| commit | 8e98ac162ace2d8bd571d594c66665b7f5e51814 (patch) | |
| tree | 558f7087f3f543eb36e38cdcac5165a59b1011a2 /lib/Checker/MallocChecker.cpp | |
| parent | c0008349f233e70e3ffabe7b31eab5d9859bc25f (diff) | |
Relax an assertion. Various cases could lead to non-symbol values.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@103707 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/MallocChecker.cpp')
| -rw-r--r-- | lib/Checker/MallocChecker.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/Checker/MallocChecker.cpp b/lib/Checker/MallocChecker.cpp index a22df30469..086dbd8fdd 100644 --- a/lib/Checker/MallocChecker.cpp +++ b/lib/Checker/MallocChecker.cpp @@ -182,7 +182,10 @@ const GRState *MallocChecker::FreeMemAux(CheckerContext &C, const CallExpr *CE, return state; SymbolRef Sym = ArgVal.getAsLocSymbol(); - assert(Sym); + + // Various cases could lead to non-symbol values here. + if (!Sym) + return state; const RefState *RS = state->get<RegionState>(Sym); |