[cfe-commits] r59869 - in /cfe/trunk: include/clang/Analysis/PathSensitive/BasicValueFactory.h include/clang/Analysis/PathSensitive/ConstraintManager.h include/clang/Analysis/PathSensitive/GRExprEngine.h include/clang/Analysis/PathSensitive/GRState.h include/clang/Analysis/PathSensitive/SVals.h lib/Analysis/BasicConstraintManager.cpp lib/Analysis/BasicValueFactory.cpp lib/Analysis/GRExprEngine.cpp lib/Analysis/RegionStore.cpp lib/Analysis/SVals.cpp

[Sebastian Redl]

Ted Kremenek wrote:
> Looks great!
>   
Crashes x64. I'm working on a fix.
> On Nov 22, 2008, at 5:21 AM, Zhongxing Xu wrote:
>
>   
>> Author: zhongxingxu
>> Date: Sat Nov 22 07:21:46 2008
>> New Revision: 59869
>>
>> URL: http://llvm.org/viewvc/llvm-project?rev=59869&view=rev
>> Log:
>> Initial support for checking out of bound memory access. Only support
>> ConcreteInt index for now.
>>