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: [Ada] Stop mapping Pure on Ada functions to GCC const

From: Olivier Hainque <hainque at adacore dot com>
To: Richard Guenther <richard dot guenther at gmail dot com>
Cc: Duncan Sands <baldrick at free dot fr>, gcc-patches at gcc dot gnu dot org, hainque at adacore dot com
Date: Fri, 1 Aug 2008 14:04:37 +0200
Subject: Re: [Ada] Stop mapping Pure on Ada functions to GCC const
References: <20080801122900.B22959@rome.act-europe.fr> <200808011302.46723.baldrick@free.fr> <84fc9c000808010428x384fe051lf35e638c6867cbe8@mail.gmail.com>

Richard Guenther wrote:
> So, what is the failure mode you are seeing?  That
> a const call is DCE'd?

 Well, yes, with the called function made const eventhough it could throw,
 which we understood was invalid, roughly because const gets interpreted
 as !side_effects.

Follow-Ups:
- Re: [Ada] Stop mapping Pure on Ada functions to GCC const
  - From: Richard Guenther

References:
- [Ada] Stop mapping Pure on Ada functions to GCC const
  - From: Olivier Hainque
- Re: [Ada] Stop mapping Pure on Ada functions to GCC const
  - From: Duncan Sands
- Re: [Ada] Stop mapping Pure on Ada functions to GCC const
  - From: Richard Guenther

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