]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7dbbc21) | patch
Having RegionStore lower field bindings to raw offsets, just like ElementRegions...
authorTed Kremenek <kremenek@apple.com>
Tue, 8 May 2012 21:49:54 +0000 (21:49 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 8 May 2012 21:49:54 +0000 (21:49 +0000)
commit4213e389d6f8fa96ab30eec0d932e4e3eee32997
tree75c94047d7f897e9880a5adaaa1114a52dab6148tree | snapshot
parent7dbbc2178fb487f3a8bff03a2c9e87f727bf2b98commit | diff
Having RegionStore lower field bindings to raw offsets, just like ElementRegions.  This is a bit
disruptive, but it allows RegionStore to better "see" through casts that reinterpret arrays of values
as structs.  Fixes <rdar://problem/11405978>.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156428 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/RegionStore.cpp diff | blob | history
test/Analysis/misc-ps-arm.m [new file with mode: 0644] blob
test/Analysis/taint-tester.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.