]> granicus.if.org Git - clang/commit
CFG: For 'if(...) {}' (empty body) construct an empty CFGBlock so that we can
authorTed Kremenek <kremenek@apple.com>
Wed, 1 Apr 2009 03:52:47 +0000 (03:52 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 1 Apr 2009 03:52:47 +0000 (03:52 +0000)
commitdbdf7949a7a50f5a65055a3e95f6432ecc541056
tree421d5af9eb7de9cdd04d7156ad7e6436d1385b6b
parentbb71b392729b86858ee861b967006a03c07c41f2
CFG: For 'if(...) {}' (empty body) construct an empty CFGBlock so that we can
distinguish between the true and false branches for path-sensitive analyses.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68185 91177308-0d34-0410-b5e6-96231b3b80d8
lib/AST/CFG.cpp