On May 28, 2010, at 5:11 PM, Jordy Rose wrote:

> I'm not entirely happy with the replacement of *p with p[0] in
> GRExprEngine, but that seems to be the last place where you can tell the
> difference between a binding to p and a binding to p[0].

How are they semantically different?  The StoreManager cares about the 
semantics of the operation, and not how it was written.  For that we can go 
back to the AST.
_______________________________________________
cfe-commits mailing list
cfe-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to