[cfe-dev] integer constant expression oh my!

[Eli Friedman]

On Sun, Nov 16, 2008 at 3:43 PM, Daniel Dunbar <daniel at zuster.org> wrote:
> I'm not sure what you mean about rewrite ICE checking around Evaluate.
> Is this just about replacing pieces like sizeof with calls to
> Evaluate?

I'm thinking the following: except for a few exceptional cases (like
ICEs containing a comma operator), isICE doesn't care about what value
the subexpressions evaluate to.  Therefore, we can split isICE into
two parts: verifying that the expression has the structure of an ICE,
and actually evaluating it.  The structure verification has relatively
little overlap with Evaluate, and the evaluation part can be taken
care of with a simple call to Evaluate.

-Eli