[cfe-commits] r70830 - in /cfe/trunk: 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/Analy

[Zhongxing Xu]

2009/5/4 Ted Kremenek <kremenek at apple.com>:
> Author: kremenek
> Date: Mon May  4 01:18:28 2009
> New Revision: 70830
>
> URL: http://llvm.org/viewvc/llvm-project?rev=70830&view=rev
> Log:
> 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.

OKay.