diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-07-01 20:16:50 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-07-01 20:16:50 +0000 |
| commit | bd862711fd108e273a67e68f26671bbb8e82a4b3 (patch) | |
| tree | 7423e9ad154987391d6c8fe2131732e314f1df81 /llvm/lib/Bitcode/Writer/BitcodeWriter.cpp | |
| parent | f7488ec6dc7be25c33b05195d9c235035d431611 (diff) | |
| download | llvm-bd862711fd108e273a67e68f26671bbb8e82a4b3.zip llvm-bd862711fd108e273a67e68f26671bbb8e82a4b3.tar.gz llvm-bd862711fd108e273a67e68f26671bbb8e82a4b3.tar.bz2 | |
Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables
when calling a function/method whose impact on global variables we cannot accurately estimate.
This change introduces two new MemSpaceRegions that divide up the memory space of globals, and causes
RegionStore and BasicStore to consult a binding to the NonStaticGlobalsMemSpaceRegion when lazily
determining the value of a global.
llvm-svn: 107423
Diffstat (limited to 'llvm/lib/Bitcode/Writer/BitcodeWriter.cpp')
0 files changed, 0 insertions, 0 deletions