]> granicus.if.org Git - clang/commit
If size was equal to 0, either NULL or a pointer suitable to be passed to
authorZhongxing Xu <xuzhongxing@foxmail.com>
Thu, 1 Sep 2011 04:53:59 +0000 (04:53 +0000)
committerZhongxing Xu <xuzhongxing@foxmail.com>
Thu, 1 Sep 2011 04:53:59 +0000 (04:53 +0000)
commitd56763fd33321cb3d0f17804abecb379cea78c01
treee238eea6b73a60ebffd0605e5378d8ea5c697ff8
parentfa77cbab63436aeb528099e0734599c117f7c80a
If size was equal to 0, either NULL or a pointer suitable to be passed to
free() is returned by realloc(). Most code expect NULL.

And we only need to transfer one final ProgramState.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@138937 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/MallocChecker.cpp
test/Analysis/malloc.c