This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [Ada] Fix bogus noreturn warning
On 27 June 2010 15:10, Steven Bosscher <stevenb.gcc@gmail.com> wrote:
> On Sun, Jun 27, 2010 at 2:45 PM, Eric Botcazou <ebotcazou@adacore.com> wrote:
>>> What is this necessary for? No front end should have to know
>>> *anything* about tree-flow.h.
>>
>> block_may_fallthru is declared there. ?See c-typeck.c, cp/decl.c and cp/tree.c
>> for pre-existing counter-examples.
>
> I'm not looking for counter-examples, just stating the way things
> should be, not how things are (the Germans have a beautiful way of
> expressing this: "Soll-Stand" vs. "Ist-Stand"). ?Your change moves us
> further away from the way things should be. I hope you agree with
> that?
In fact, block_may_fallthru is defined in gimple-low.c and it does not
seem to use anything from tree-flow.h, so probably could be moved to
the tree interface for FEs.
Manuel.