This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [Patch] Fix bogus 'function does return' warning

From: Eric Botcazou <ebotcazou at adacore dot com>
To: Richard Guenther <richard dot guenther at gmail dot com>
Cc: gcc-patches at gcc dot gnu dot org
Date: Fri, 16 Oct 2009 11:55:29 +0200
Subject: Re: [Patch] Fix bogus 'function does return' warning
References: <200910152148.53899.ebotcazou@adacore.com> <84fc9c000910160244l6e38fdc9ga9063d8a047e58bb@mail.gmail.com>

> Huh.  I wonder why the unreachable blocks are not removed
> after CFG build?  After all noreturn calls end BBs.

It's -O0 so the compiler doesn't see that <L17> is unreachable:

<L17>:
  return;

<L19>:
  finally_tmp.10 = 1;
  p.error (); [static-chain: &FRAME.8]
  switch (finally_tmp.10) <default: <L17>, case 1: <L20>>

-- 
Eric Botcazou

Follow-Ups:
- Re: [Patch] Fix bogus 'function does return' warning
  - From: Richard Guenther

References:
- [Patch] Fix bogus 'function does return' warning
  - From: Eric Botcazou
- Re: [Patch] Fix bogus 'function does return' warning
  - From: Richard Guenther

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]