This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [Ada] Stop mapping Pure on Ada functions to GCC const
- From: Duncan Sands <baldrick at free dot fr>
- To: gcc-patches at gcc dot gnu dot org
- Cc: Olivier Hainque <hainque at adacore dot com>
- Date: Fri, 1 Aug 2008 13:02:46 +0200
- Subject: Re: [Ada] Stop mapping Pure on Ada functions to GCC const
- References: <20080801122900.B22959@rome.act-europe.fr>
Hi,
> Pure functions in Ada might raise and this doesn't match (any more)
> "const" functions in the middle-end, currently assumed to be
> SIDE_EFFECTS free, so ...
so a decision was finally made that const functions can't throw?
Is the reasoning behind that explained anywhere? I'm worried
that this will represent a big performance hit for Ada: for
example, the routines in Ada.Numerics.Elementary_Functions
won't be "const" anymore, so won't be CSE'd etc.
Ciao,
Duncan.