[cfe-commits] [PATCH] RegionStore
Ted Kremenek
kremenek at apple.com
Mon Oct 20 09:38:19 PDT 2008
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
More information about the cfe-commits
mailing list