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 | 6e8417c0e5e71b1cb070f401bd593742e655ff51 (patch) | |
| tree | 278e9bda121a3cc0f3944945d8ebb419350ab1e0 /clang/lib/Checker | |
| parent | bb4ea81ab94238a31ed2578fae9dc82bbae4f134 (diff) | |
| download | bcm5719-llvm-6e8417c0e5e71b1cb070f401bd593742e655ff51.tar.gz bcm5719-llvm-6e8417c0e5e71b1cb070f401bd593742e655ff51.zip | |
Relax an assertion. Various cases could lead to non-symbol values.
llvm-svn: 103707
Diffstat (limited to 'clang/lib/Checker')
| -rw-r--r-- | clang/lib/Checker/MallocChecker.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/clang/lib/Checker/MallocChecker.cpp b/clang/lib/Checker/MallocChecker.cpp index a22df304692..086dbd8fdd3 100644 --- a/clang/lib/Checker/MallocChecker.cpp +++ b/clang/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); |
