diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-01-29 23:32:35 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-01-29 23:32:35 +0000 |
| commit | 7ff1893f86227672b5685a08f82c6bae56f5c8df (patch) | |
| tree | 7abc685922eca951fab758f3c90b99b35259e00c /llvm/lib/Target/CellSPU/SPUTargetMachine.cpp | |
| parent | ee2d5a540c2176b7b6678a313952bc5264ba29e5 (diff) | |
| download | bcm5719-llvm-7ff1893f86227672b5685a08f82c6bae56f5c8df.tar.gz bcm5719-llvm-7ff1893f86227672b5685a08f82c6bae56f5c8df.zip | |
Implemented more boilerplate in GREngine for processing branches. Now
we automatically generate a new successor node along an edge if the checker
did not explicitly do so (i.e., we just propagate the current state).
llvm-svn: 46536
Diffstat (limited to 'llvm/lib/Target/CellSPU/SPUTargetMachine.cpp')
0 files changed, 0 insertions, 0 deletions
