[Bug fortran/38822] Compile-time simplification of x**(real)

[Bug fortran/38822] Compile-time simplification of x**(real)

[anlauf at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38822

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anlauf at gcc dot gnu.org
             Status|NEW                         |WAITING

--- Comment #22 from anlauf at gcc dot gnu.org ---
(In reply to kargl from comment #21)
> (In reply to Dominique d'Humieres from comment #19)
> > > AFAICS everthing is fixed here. Can we close this PR?
> > 
> > Without objection I'll proceed.
> 
> Should the bug be fixed before proceeding?  See comment #2 and #3.

With e.g. F2018 (10.1.12 Constant expression) there are no specification
expressions left in the example code, only constant expressions in the
declarations of the z's.

So do we really want to cripple simplification of now constant expressions
to support a restriction to F95?  Might be a nightmare, and there's not
much to be gained either.

[Bug fortran/38822] Compile-time simplification of x**(real)

[dfranke at gcc dot gnu dot org]

------- Comment #17 from dfranke at gcc dot gnu dot org  2010-05-19 14:43 -------
No more ICE, removed keyword.


-- 

dfranke at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-valid-code           |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38822

[Bug fortran/38822] Compile-time simplification of x**(real)

[kargl at gcc dot gnu dot org]

------- Comment #16 from kargl at gcc dot gnu dot org  2010-01-15 18:31 -------
Unassign myself as I have no time to work on gfortran.


-- 

kargl at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|kargl at gcc dot gnu dot org|unassigned at gcc dot gnu
                   |                            |dot org
             Status|ASSIGNED                    |NEW


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38822

[Bug fortran/38822] Compile-time simplification of x**(real)

[dominiq at lps dot ens dot fr]

------- Comment #15 from dominiq at lps dot ens dot fr  2009-04-05 19:43 -------
> There are 2 URL's in comment #2.

Sorry to be dense, but I overlooked the differences:

<             f = initialization(x-1)            --> gives "T F"
---
>             f = non_initialization(x-1)    --> gives "T T" 

I get the same answers for gfortran, ifort, and g95. If someone has access to
other compilers and can run the test, let see!


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38822

[Bug fortran/38822] Compile-time simplification of x**(real)

[sgk at troutmask dot apl dot washington dot edu]

------- Comment #14 from sgk at troutmask dot apl dot washington dot edu  2009-04-04 21:42 -------
Subject: Re:  Compile-time simplification of x**(real)

On Sat, Apr 04, 2009 at 08:44:36PM -0000, dominiq at lps dot ens dot fr wrote:
> 
> At revision 145521, the test from comment #2 returns: "T F" on
> (powerpc|i686)-apple-darwin9.
> 
> Since I am not really interesting in this way to split hairs, do what ever you
> like.
> 
> 

There are 2 URL's in comment #2.  Specifically, see

http://groups.google.com/group/comp.lang.fortran/msg/97c3ce6e98432ae9

That code on FreeBSD gives

REMOVE:kargl[128] gfc4x -o z j2.f90
REMOVE:kargl[129] ./z
 T T

The correct answer according to James van Buskirk is T F.

The PR that fixed the ICE is 

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38823

See the audit trail.  I have no plans to back port this because
it changes the underlying semantics of the design of arith.c.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38822

[Bug fortran/38822] Compile-time simplification of x**(real)

[dominiq at lps dot ens dot fr]

------- Comment #13 from dominiq at lps dot ens dot fr  2009-04-04 20:44 -------
At revision 145521, the test from comment #2 returns: "T F" on
(powerpc|i686)-apple-darwin9.

Since I am not really interesting in this way to split hairs, do what ever you
like.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38822

[Bug fortran/38822] Compile-time simplification of x**(real)

[kargl at gcc dot gnu dot org]

------- Comment #12 from kargl at gcc dot gnu dot org  2009-04-04 15:10 -------
(In reply to comment #11)
> This bug fix has been committed on trunk since almost a week, hence heavily
> regtested on various platforms, could it be back-ported to 4.4 before release?
> TIA.
> 

This bug has not been fixed.  Please see the audit trail especially
comments #2 and #3.

The ICE went away when I fixed a different PR.  That bug fix is not
a candidate for a backport because it changes a key concept in how
the routines in arith.c work.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38822

[Bug fortran/38822] Compile-time simplification of x**(real)

[dominiq at lps dot ens dot fr]

------- Comment #11 from dominiq at lps dot ens dot fr  2009-04-04 09:41 -------
This bug fix has been committed on trunk since almost a week, hence heavily
regtested on various platforms, could it be back-ported to 4.4 before release?
TIA.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38822

[Bug fortran/38822] Compile-time simplification of x**(real)

[kargl at gcc dot gnu dot org]

------- Comment #10 from kargl at gcc dot gnu dot org  2009-03-30 00:54 -------
Adjust subject because the ICE is gone.


-- 

kargl at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Compile-time simplification |Compile-time simplification
                   |of x**(real)  /  ICE in in  |of x**(real)
                   |gfc_target_encode_expr      |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38822