[cfe-commits] [PATCH] Fix for PR7218, and analyzer support for calloc()

[Ted Kremenek]

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.