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 | 1416a521b5c3179fc999391cdf3c16b3121842ed (patch) | |
| tree | d56a78475dc1c78fd82fe32f338ba209c133a442 /clang/lib/CodeGen/CodeGenModule.cpp | |
| parent | d01ddb51eeca94898fd727a8f797038db4dec4d1 (diff) | |
| download | bcm5719-llvm-1416a521b5c3179fc999391cdf3c16b3121842ed.tar.gz bcm5719-llvm-1416a521b5c3179fc999391cdf3c16b3121842ed.zip | |
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.
llvm-svn: 57730
Diffstat (limited to 'clang/lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions
