| commit | 1b37951f36ebd296711b0c8050f28346a7d3d615 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Apr 01 03:52:47 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Apr 01 03:52:47 2009 +0000 |
| tree | 74ddaf7fff0ab95915557b76c2d050d6627274d8 | |
| parent | 2ec6e8e2baa4e4c686de780f94bcdc00772efbba [diff] |
CFG: For 'if(...) {}' (empty body) construct an empty CFGBlock so that we can
distinguish between the true and false branches for path-sensitive analyses.
llvm-svn: 68185