[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #25 from Steve Kargl --- On Mon, Nov 06, 2023 at 03:34:42PM +, trnka at scm dot com wrote: > > If expr->where is pointing to NULL, then something is definitely not > > set up correctly or your code is now going through a

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #24 from Tomáš Trnka --- (In reply to Steve Kargl from comment #23) > If expr->where is pointing to NULL, then something is definitely not > set up correctly or your code is now going through a different code > path in the compiler.

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #23 from Steve Kargl --- On Wed, Aug 09, 2023 at 04:19:52PM +, trnka at scm dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 > > --- Comment #22 from Tomáš Trnka --- > (In reply to Steve Kargl from comment

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #22 from Tomáš Trnka --- (In reply to Steve Kargl from comment #21) > I missed your comment #7 as simply grabbed the "slightly > more simplified" attachment and started a bug hunt from there. > Do either of the other testcase

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #21 from Steve Kargl --- On Wed, Aug 09, 2023 at 10:08:45AM +, trnka at scm dot com wrote: > > --- Comment #17 from Tomáš Trnka --- > (In reply to kargl from comment #10) > > diff --git a/gcc/fortran/resolve.cc

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 Paul Thomas changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #19 from CVS Commits --- The releases/gcc-13 branch has been updated by Paul Thomas : https://gcc.gnu.org/g:ed049e5d5f36cc0f4318cd93bb6b33ed6f6f2ba7 commit r13-7703-ged049e5d5f36cc0f4318cd93bb6b33ed6f6f2ba7 Author: Paul Thomas

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #18 from CVS Commits --- The master branch has been updated by Paul Thomas : https://gcc.gnu.org/g:b8ec3c952324f866f191883473922e250be81341 commit r14-3098-gb8ec3c952324f866f191883473922e250be81341 Author: Paul Thomas Date: Wed

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #17 from Tomáš Trnka --- (In reply to kargl from comment #10) > diff --git a/gcc/fortran/resolve.cc b/gcc/fortran/resolve.cc > index 3cd470ddcca..b0bb8bc1471 100644 > --- a/gcc/fortran/resolve.cc > +++ b/gcc/fortran/resolve.cc > @@

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #16 from Paul Thomas --- > > I am wondering about the pureness test itself, however. Surely, the test > should be for impure procedures that are referenced and not just accessible? > > Paul Cancel that comment - it's nonsense!

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #15 from Paul Thomas --- (In reply to kargl from comment #14) > (In reply to Paul Thomas from comment #13) > > (In reply to Steve Kargl from comment #12) > > > On Mon, Aug 07, 2023 at 10:04:54PM +, kargl at gcc dot gnu.org

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #14 from kargl at gcc dot gnu.org --- (In reply to Paul Thomas from comment #13) > (In reply to Steve Kargl from comment #12) > > On Mon, Aug 07, 2023 at 10:04:54PM +, kargl at gcc dot gnu.org wrote: > > > > > > diff --git

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #13 from Paul Thomas --- (In reply to Steve Kargl from comment #12) > On Mon, Aug 07, 2023 at 10:04:54PM +, kargl at gcc dot gnu.org wrote: > > > > diff --git a/gcc/fortran/resolve.cc b/gcc/fortran/resolve.cc > > index

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #12 from Steve Kargl --- On Mon, Aug 07, 2023 at 10:04:54PM +, kargl at gcc dot gnu.org wrote: > > diff --git a/gcc/fortran/resolve.cc b/gcc/fortran/resolve.cc > index 3cd470ddcca..b0bb8bc1471 100644 > ---

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #11 from Steve Kargl --- On Mon, Aug 07, 2023 at 10:04:54PM +, kargl at gcc dot gnu.org wrote: > > Note final->attr.pure = 0 seems to contradict C1595 while constructing > the wrapper. I'm not too familiar with this portion of

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 kargl at gcc dot gnu.org changed: What|Removed |Added CC||kargl at gcc dot gnu.org

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #9 from Neil Carlson --- Bug is still present in 13.2.0.

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #8 from Neil Carlson --- We've been bitten by what looks to be the same bug in our large Fortran code: 245 | end module kuprat_mapper_type | 1 Error: Contained procedure

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #7 from Tomáš Trnka --- (In reply to Paul Thomas from comment #5) > Created attachment 55144 [details] > Fix for this PR > > Thanks for reporting this. The patch "fingered" in comment #4 is certainly > responsible for this

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #6 from Paul Thomas --- The trigger for this problem is not apparent to me at all. The chunk that I mentioned in comment #5 is not responsible for it. The finalization of 'grid' in 13.f90 is done by an invocation of the

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 Paul Thomas changed: What|Removed |Added Status|UNCONFIRMED |NEW Assignee|unassigned at gcc

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #4 from Tomáš Trnka --- This is a regression in GCC 13, which bisects to the following commit. Reverting that commit on current releases/gcc-13 tip (together with dependent commits 259bd7686403 and 3e791f45ded8) makes the issue go

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 --- Comment #3 from Tomáš Trnka --- Created attachment 55134 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55134=edit testcase reduced to three files This is the most reduced testcase I have found. It was created from the previous one

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 Tomáš Trnka changed: What|Removed |Added CC||trnka at scm dot com --- Comment #2 from

[Bug fortran/109684] compiling failure: complaining about a final subroutine of a type being not PURE (while it is indeed PURE)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109684 Mianzhi Wang changed: What|Removed |Added Attachment #54964|0 |1 is obsolete|