diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-10-17 21:22:20 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-10-17 21:22:20 +0000 |
| commit | c5234715f145b5fa0a3a08fed33b83a3203728ae (patch) | |
| tree | f3416b6a02085f24c0701ebef057c9d7cd7f4f85 /lib/CodeGen/CodeGenModule.cpp | |
| parent | 4bd1eefd48c70ebef185e524d0484c00f16000cf (diff) | |
Enhance "Assumption" logic in BasicConstraintManager when reasoning about regions and symbolic regions. When assuming whether or not a location is non-null, walk up the region hierarchy until we hit a symbolic region (and test it for null). This may not be the end all solution, as the notion of what a "symbolic region" is really belongs in the specific subclass of StoreManager.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57730 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions