diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-04-03 04:34:49 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-04-03 04:34:49 +0000 |
| commit | a95594416e24bcaa4de93a7cb39a0ae5f92bb30b (patch) | |
| tree | 2714b0abb14da7c818baf18fe2a4d41f8738ec6f /llvm/lib/Object/Object.cpp | |
| parent | 850d35be167477105136175f17ba09bb4f21bf5f (diff) | |
| download | llvm-a95594416e24bcaa4de93a7cb39a0ae5f92bb30b.zip llvm-a95594416e24bcaa4de93a7cb39a0ae5f92bb30b.tar.gz llvm-a95594416e24bcaa4de93a7cb39a0ae5f92bb30b.tar.bz2 | |
static analyzer: Add a new ProgramPoint PostCondition to represent the post position of a branch condition, and a new generateNode method to BranchNodeBuilder using PostCondition ProgramPoint. This method generates a new ExplodedNode but not a new block edge.
Patch by Lei Zhang!
llvm-svn: 128784
Diffstat (limited to 'llvm/lib/Object/Object.cpp')
0 files changed, 0 insertions, 0 deletions