]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d3f897) | patch
Teach RegionStore not to symbolic array values whose indices it cannot reason about.
authorTed Kremenek <kremenek@apple.com>
Thu, 19 May 2011 23:37:58 +0000 (23:37 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 19 May 2011 23:37:58 +0000 (23:37 +0000)
commitc46d6410947b18ac4c52cff4d0f8021b10a57c1e
tree70a34240f49ebc97b172eb837869dfd64a5d16f3tree | snapshot
parent8d3f8979e46f9d0b8735566eabe471db0e1e0e53commit | diff
Teach RegionStore not to symbolic array values whose indices it cannot reason about.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@131702 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/RegionStore.cpp diff | blob | history
test/Analysis/misc-ps-region-store.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.