[cfe-dev] integer constant expression oh my!

Daniel Dunbar daniel at zuster.org
Sun Nov 16 16:26:48 PST 2008


Ah, this makes total sense and I think you are right this will come
out cleaner. Plus it concentrates all the ICE logic in one place which
should make it easier to match to the standard.

 - Daniel

On Sun, Nov 16, 2008 at 3:55 PM, Eli Friedman <eli.friedman at gmail.com> wrote:
> 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
>



More information about the cfe-dev mailing list