Clarifying attribute-const

[Eric Botcazou]

> I think that's less clear as the transform basically duplicates the call
> on both branches and removes the one that is not necessary.

Yes, IMO that one is allowed under the as-if rule.

> I think GCC does both though (if it throws only externally, for
> internally throwing ones the transforms would be too complicated).

We never ran into a problem with that in practice AFAIK.

-- 
Eric Botcazou