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] Improve PR30911 and PR31023, Ada and VRP

From: Eric Botcazou <ebotcazou at adacore dot com>
To: Laurent GUERBY <laurent at guerby dot net>
Cc: Richard Guenther <rguenther at suse dot de>, gcc-patches at gcc dot gnu dot org
Date: Sat, 29 Mar 2008 22:47:42 +0100
Subject: Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
References: <Pine.LNX.4.64.0803291749290.4133@zhemvz.fhfr.qr> <Pine.LNX.4.64.0803292153000.4133@zhemvz.fhfr.qr> <1206826851.15628.59.camel@localhost>

> The exception generating routine will never return but does
> the current GCC knows about that fact? That is it knows for sure
> that after the "end if"  X in [bound1 ..bound2] is true?

Yes, the routine is marked as "noreturn".

-- 
Eric Botcazou

References:
- [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Richard Guenther
- Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Richard Guenther
- Re: [PATCH] Improve PR30911 and PR31023, Ada and VRP
  - From: Laurent GUERBY

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