]> granicus.if.org Git - clang/commit
Per conversations with Zhongxing, add an 'element type' to
authorTed Kremenek <kremenek@apple.com>
Mon, 4 May 2009 06:18:28 +0000 (06:18 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 4 May 2009 06:18:28 +0000 (06:18 +0000)
commitf936f4568700d799e7d92eecef67b0e2b822ae7e
tree2889e62f46d3d7af329d6e3d25a786b6534340cc
parent0c6db9417dceeb082296c4e097be5de3ee1c5eb7
Per conversations with Zhongxing, add an 'element type' to
ElementRegion.  I also removed 'ElementRegion::getArrayRegion',
although we may need to add this back.

This breaks a few test cases with RegionStore:
- 'array-struct.c' triggers an infinite recursion in RegionStoreManager.  Need to investigate.
- misc-ps.m triggers a failure with RegionStoreManager as we now get the diagnostic:
  'Line 159: Uninitialized or undefined return value returned to caller.'

There were a bunch of places that needed to be edit
RegionStoreManager, and we may not be passing all the correct 'element
types' down from GRExprEngine.

Zhongxing: When you get a chance, could you review this?  I could have
easily screwed up something basic in RegionStoreManager.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70830 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/GRState.h
include/clang/Analysis/PathSensitive/MemRegion.h
include/clang/Analysis/PathSensitive/Store.h
lib/Analysis/BasicStore.cpp
lib/Analysis/GRExprEngine.cpp
lib/Analysis/MemRegion.cpp
lib/Analysis/RegionStore.cpp
test/Analysis/array-struct.c
test/Analysis/misc-ps.m