diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-10-26 00:06:17 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-10-26 00:06:17 +0000 |
| commit | c1143e598d6f2d8da045888298a9893a84e678df (patch) | |
| tree | bbec5c49439e3192ab3628cd6e11e4f9fab90098 /lib/AST/DeclBase.cpp | |
| parent | d45d59f4aebfe6399437074ed5391928c73993bb (diff) | |
Fix lazy symbolication bug in RegionStore involving fields of global variables. When invalidated, the entire
globals memory space gets assigned a symbolic value, but that value was not being used for lazy symbolication
of fields of globals. This could result in cases where bogus null dereferences were being reported.
Fixes PR 8440.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@117336 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/AST/DeclBase.cpp')
0 files changed, 0 insertions, 0 deletions