[cfe-commits] [PATCH] RegionStore

[Ted Kremenek]

On Oct 20, 2008, at 3:31 AM, Zhongxing Xu wrote:

> Some more comments:
>
> int a[10];
> int (*p)[10];
>
> Per C99 6.3.2p3, 'a' and '*p' is not lvalue when they are placed in  
> a[1] or (*p)[1]. So in fact we cannot do lvalue evaluation of them.  
> But this is inconsistent with the usual case in VisitDeclRefExpr and  
> VisitUnaryExpr. But 'a' and '*p' do have lvalue sometimes. And  
> special handling of these non-lvalue cases in the GRExprEngine is  
> ugly.

Hi Zhongxing

I'm going to look again at both the C99 and C++ standards today and  
come back with some hopefully more lucid comments then the ones I have  
been making.

Ted