| commit | db4c128f2f42f0006dfc4aad475c3f0dab17530e | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Sep 03 01:06:58 2010 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Sep 03 01:06:58 2010 +0000 |
| tree | a728bb2791aaf316f90695302841fe457bb5543a | |
| parent | 860aca01dc2a5de869681cfdeeccd6af6c567e20 [diff] |
Add GRState::getSimplifiedSVal(), which provides an API hook for doing symbol -> constant folding. This isn't used yet, but is prep for some pending optimizations in GRExprEngine. llvm-svn: 112929