| commit | 093236020718e92c8a192145def28150ed637aaf | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Thu Jan 13 06:58:15 2011 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Thu Jan 13 06:58:15 2011 +0000 |
| tree | c8a02065a3389ec9ee8de504e4265e007d244667 | |
| parent | b4857264b8d3d861f688cdaa174aab30e0729a73 [diff] |
Fix a corner case in RegionStore where we assign a struct value to a symbolic index into array. RegionStore can't actually reason about this, so we were getting bogus warnings about loading uninitialized values from the array. The solution is invalidate the entire array when we cannot represent the binding explicitly. Fixes <rdar://problem/8848957> git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123368 91177308-0d34-0410-b5e6-96231b3b80d8