ipa-pure-const fixes
Eric Botcazou
ebotcazou@adacore.com
Sat Jun 5 11:18:00 GMT 2010
> noreturn functions should at most become looping pure/const. I suppose
> this worked sofar as a call to abort () _inside_ a noreturn function would
> magically do that. I guess we need to make sure that functions annotated
> noreturn can at most become looping pure/const as well.
That would certainly help, but I'm under the impression that the problem is
more serious, the ECF_NORETURN flag seems to overrule side-effects and turn
calls into ECF_PURE calls alone.
--
Eric Botcazou
More information about the Gcc-patches
mailing list