From 181cc3df6e0046a154a8a174d551d57af4561998 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Sun, 14 Feb 2010 06:49:48 +0000 Subject: [PATCH] Fix pr6293. If ptr is NULL, no operation is preformed. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@96154 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Checker/MallocChecker.cpp | 5 +++++ test/Analysis/malloc.c | 4 ++++ 2 files changed, 9 insertions(+) diff --git a/lib/Checker/MallocChecker.cpp b/lib/Checker/MallocChecker.cpp index 3be2e0299b..4ff98642e1 100644 --- a/lib/Checker/MallocChecker.cpp +++ b/lib/Checker/MallocChecker.cpp @@ -172,6 +172,11 @@ void MallocChecker::FreeMem(CheckerContext &C, const CallExpr *CE) { const GRState *MallocChecker::FreeMemAux(CheckerContext &C, const CallExpr *CE, const GRState *state) { SVal ArgVal = state->getSVal(CE->getArg(0)); + + // If ptr is NULL, no operation is preformed. + if (ArgVal.isZeroConstant()) + return state; + SymbolRef Sym = ArgVal.getAsLocSymbol(); assert(Sym); diff --git a/test/Analysis/malloc.c b/test/Analysis/malloc.c index 518ab82ff1..3cce1b0d2e 100644 --- a/test/Analysis/malloc.c +++ b/test/Analysis/malloc.c @@ -57,3 +57,7 @@ void pr6069() { char *buf = doit2(); free(buf); } + +void pr6293() { + free(0); +} -- 2.40.0