[Bug fortran/47803] [F95+] Constant inquiry function rejected in PARAMETER definition
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47803 --- Comment #7 from Steve Kargl --- On Wed, Mar 14, 2018 at 02:41:19AM +, kargl at gcc dot gnu.org wrote: > > > > Yep, gfortran is missing a simplification. When > > simplification of size(a) occurs, the int(1) is > > still an expression with EXPR_FUNCTION. > > Testing a patch. > Bummer. The patch causes 2 regressions. FAIL: gfortran.dg/pr84734.f90 -O (test for errors, line 3) FAIL: gfortran.dg/typebound_proc_32.f90 -O (test for excess errors) The former should fail, but doesn't. The latter should pass, but fails.
[Bug fortran/47803] [F95+] Constant inquiry function rejected in PARAMETER definition
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47803 --- Comment #6 from kargl at gcc dot gnu.org --- (In reply to kargl from comment #5) > (In reply to Harald Anlauf from comment #4) > > Replacing the line > > > > INTEGER :: A(int(1)) > > > > in comment #0 by > > > > INTEGER :: A(1) > > > > or > > > > INTEGER :: A(1+0) > > > > works, but other variants like > > > > INTEGER :: A((1)) > > > > fail. > > > > Apparently some attempt to simplify is missing. > > I think I've seen related PRs or duplicates. > > Yep, gfortran is missing a simplification. When > simplification of size(a) occurs, the int(1) is > still an expression with EXPR_FUNCTION. Testing a patch.
[Bug fortran/47803] [F95+] Constant inquiry function rejected in PARAMETER definition
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47803 kargl at gcc dot gnu.org changed: What|Removed |Added CC||kargl at gcc dot gnu.org --- Comment #5 from kargl at gcc dot gnu.org --- (In reply to Harald Anlauf from comment #4) > Replacing the line > > INTEGER :: A(int(1)) > > in comment #0 by > > INTEGER :: A(1) > > or > > INTEGER :: A(1+0) > > works, but other variants like > > INTEGER :: A((1)) > > fail. > > Apparently some attempt to simplify is missing. > I think I've seen related PRs or duplicates. Yep, gfortran is missing a simplification. When simplification of size(a) occurs, the int(1) is still an expression with EXPR_FUNCTION.
[Bug fortran/47803] [F95+] Constant inquiry function rejected in PARAMETER definition
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47803 Harald Anlauf changed: What|Removed |Added CC||anlauf at gmx dot de --- Comment #4 from Harald Anlauf --- Replacing the line INTEGER :: A(int(1)) in comment #0 by INTEGER :: A(1) or INTEGER :: A(1+0) works, but other variants like INTEGER :: A((1)) fail. Apparently some attempt to simplify is missing. I think I've seen related PRs or duplicates.
[Bug fortran/47803] [F95+] Constant inquiry function rejected in PARAMETER definition
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47803 Dominique d'Humieres dominiq at lps dot ens.fr changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed||2013-06-26 Ever confirmed|0 |1 --- Comment #2 from Dominique d'Humieres dominiq at lps dot ens.fr --- The link http://j3-fortran.org/pipermail/j3/2011-February/004197.html is broken. Any news from the committee about this PR?
[Bug fortran/47803] [F95+] Constant inquiry function rejected in PARAMETER definition
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47803 Dominique d'Humieres dominiq at lps dot ens.fr changed: What|Removed |Added Status|NEW |WAITING
[Bug fortran/47803] [F95+] Constant inquiry function rejected in PARAMETER definition
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47803 Tobias Burnus burnus at gcc dot gnu.org changed: What|Removed |Added Status|WAITING |NEW --- Comment #3 from Tobias Burnus burnus at gcc dot gnu.org --- (In reply to Dominique d'Humieres from comment #2) The link is broken. Any news from the committee about this PR? Try: http://mailman.j3-fortran.org/pipermail/j3/2011-February/004197.html That's F08/0050. See F2008 Corr. 1 at ftp://ftp.nag.co.uk/sc22wg5/N1901-N1950/N1902.pdf (search for F08/0050). See also ftp://ftp.nag.co.uk/sc22wg5/N1851-N1900/N1875.txt for the latest version (positively balloted in N1877/N1889).
[Bug fortran/47803] [F95+] Constant inquiry function rejected in PARAMETER definition
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47803 --- Comment #1 from Tobias Burnus burnus at gcc dot gnu.org 2011-02-18 17:07:03 UTC --- Forgot to link to http://j3-fortran.org/pipermail/j3/2011-February/004197.html which is about the J3 ballot of those items; it also contains an updated version of the paper. The IR has been approved by the J3 meeting and currently a J3 ballot is running (cf. link); if accepted, it moves on to June's WG5 meeting in Garching.
