[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

[Ted Kremenek]

Hi Sebastian,

Are you seeing an assertion failure or an actual crash?

Ted

On Nov 24, 2008, at 11:31 AM, Sebastian Redl wrote:

> 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.
>>>
>