http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46122
--- Comment #2 from Daniel Kraft <domob at gcc dot gnu.org> 2010-10-22 10:44:16 UTC --- I have to admit that I more or less copied that "check_intentin" business while rewriting the code. It seems to "make sense", but I didn't find (and care to find) this in the standard. So if you think that this is the correct behaviour also for PROTECTED, then I think this patch is what we want. But whether this is correct or we even should do that for PURE is something I have no idea about.
