public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/108529] New: [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478
@ 2023-01-24 17:53 gscfq@t-online.de
2023-01-24 19:39 ` [Bug fortran/108529] " anlauf at gcc dot gnu.org
` (8 more replies)
0 siblings, 9 replies; 10+ messages in thread
From: gscfq@t-online.de @ 2023-01-24 17:53 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108529
Bug ID: 108529
Summary: [10/11/12/13 Regression] ICE in
transformational_result, at fortran/simplify.cc:478
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: gscfq@t-online.de
Target Milestone: ---
Started between 20211031 and 20211107 :
$ cat z1.f90
program p
integer, parameter :: a(*,*) = reshape([1, 2, 3, 4], [2, 2])
logical, parameter :: b(2,*) = a > 2
logical, parameter :: c(*) = all(b, 1)
end
$ cat z2.f90
program p
integer, parameter :: a(*,*) = reshape([1, 2, 3, 4], [2, 2])
logical, parameter :: b(*,*) = a > 2
logical, parameter :: c(*) = all(b, 1)
print *, c
end
$ gfortran-13-20230122 z2.f90 && ./a.out # for reference only
F T
$ gfortran-12-20211031 -c z1.f90
z1.f90:3:31:
3 | logical, parameter :: b(2,*) = a > 2
| 1
Error: Assumed size array at (1) must be a dummy argument
$ gfortran-13-20230122 -c z1.f90
f951: internal compiler error: Segmentation fault
0xf8a79f crash_signal
../../gcc/toplev.cc:314
0x8c98f5 __gmpz_get_ui
/usr/include/gmp.h:1778
0x8c98f5 transformational_result
../../gcc/fortran/simplify.cc:478
0x8d0f09 simplify_transformation
../../gcc/fortran/simplify.cc:731
0x84cee6 do_simplify
../../gcc/fortran/intrinsic.cc:4670
0x857eaa gfc_intrinsic_func_interface(gfc_expr*, int)
../../gcc/fortran/intrinsic.cc:5056
0x8af508 resolve_unknown_f
../../gcc/fortran/resolve.cc:2990
0x8af508 resolve_function
../../gcc/fortran/resolve.cc:3347
0x8af508 gfc_resolve_expr(gfc_expr*)
../../gcc/fortran/resolve.cc:7195
0x83cb14 gfc_reduce_init_expr(gfc_expr*)
../../gcc/fortran/expr.cc:3168
0x83fa70 gfc_match_init_expr(gfc_expr**)
../../gcc/fortran/expr.cc:3216
0x82949b variable_decl
../../gcc/fortran/decl.cc:3036
0x82949b gfc_match_data_decl()
../../gcc/fortran/decl.cc:6343
0x897303 match_word
../../gcc/fortran/parse.cc:67
0x897303 decode_statement
../../gcc/fortran/parse.cc:378
0x898d4a next_free
../../gcc/fortran/parse.cc:1403
0x898d4a next_statement
../../gcc/fortran/parse.cc:1635
0x89a78b parse_spec
../../gcc/fortran/parse.cc:4191
0x89da8c parse_progunit
../../gcc/fortran/parse.cc:6262
0x89f191 gfc_parse_file()
../../gcc/fortran/parse.cc:6807
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug fortran/108529] [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478
2023-01-24 17:53 [Bug fortran/108529] New: [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478 gscfq@t-online.de
@ 2023-01-24 19:39 ` anlauf at gcc dot gnu.org
2023-01-24 20:42 ` cvs-commit at gcc dot gnu.org
` (7 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: anlauf at gcc dot gnu.org @ 2023-01-24 19:39 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108529
anlauf at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
CC| |anlauf at gcc dot gnu.org
Last reconfirmed| |2023-01-24
Ever confirmed|0 |1
--- Comment #1 from anlauf at gcc dot gnu.org ---
Potential fix:
diff --git a/gcc/fortran/simplify.cc b/gcc/fortran/simplify.cc
index f413f132b3f..60f602ba57f 100644
--- a/gcc/fortran/simplify.cc
+++ b/gcc/fortran/simplify.cc
@@ -720,6 +720,7 @@ simplify_transformation (gfc_expr *array, gfc_expr *dim,
gfc_expr *mask,
size_zero = gfc_is_size_zero_array (array);
if (!(is_constant_array_expr (array) || size_zero)
+ || array->shape == NULL
|| !gfc_is_constant_expr (dim))
return NULL;
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug fortran/108529] [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478
2023-01-24 17:53 [Bug fortran/108529] New: [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478 gscfq@t-online.de
2023-01-24 19:39 ` [Bug fortran/108529] " anlauf at gcc dot gnu.org
@ 2023-01-24 20:42 ` cvs-commit at gcc dot gnu.org
2023-01-24 20:48 ` anlauf at gcc dot gnu.org
` (6 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2023-01-24 20:42 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108529
--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Harald Anlauf <anlauf@gcc.gnu.org>:
https://gcc.gnu.org/g:6c96382eed96a9285611f2e3e2e59557094172b8
commit r13-5331-g6c96382eed96a9285611f2e3e2e59557094172b8
Author: Harald Anlauf <anlauf@gmx.de>
Date: Tue Jan 24 21:39:43 2023 +0100
Fortran: ICE in transformational_result [PR108529]
gcc/fortran/ChangeLog:
PR fortran/108529
* simplify.cc (simplify_transformation): Do not try to simplify
transformational intrinsic when the ARRAY argument has a NULL
shape.
gcc/testsuite/ChangeLog:
PR fortran/108529
* gfortran.dg/pr108529.f90: New test.
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug fortran/108529] [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478
2023-01-24 17:53 [Bug fortran/108529] New: [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478 gscfq@t-online.de
2023-01-24 19:39 ` [Bug fortran/108529] " anlauf at gcc dot gnu.org
2023-01-24 20:42 ` cvs-commit at gcc dot gnu.org
@ 2023-01-24 20:48 ` anlauf at gcc dot gnu.org
2023-01-25 7:36 ` rguenth at gcc dot gnu.org
` (5 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: anlauf at gcc dot gnu.org @ 2023-01-24 20:48 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108529
anlauf at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |anlauf at gcc dot gnu.org
Status|NEW |ASSIGNED
Target Milestone|--- |10.5
--- Comment #3 from anlauf at gcc dot gnu.org ---
Taking.
Fixed on mainline so far.
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug fortran/108529] [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478
2023-01-24 17:53 [Bug fortran/108529] New: [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478 gscfq@t-online.de
` (2 preceding siblings ...)
2023-01-24 20:48 ` anlauf at gcc dot gnu.org
@ 2023-01-25 7:36 ` rguenth at gcc dot gnu.org
2023-01-28 21:38 ` [Bug fortran/108529] [10/11/12 " anlauf at gcc dot gnu.org
` (4 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-01-25 7:36 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108529
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P4
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug fortran/108529] [10/11/12 Regression] ICE in transformational_result, at fortran/simplify.cc:478
2023-01-24 17:53 [Bug fortran/108529] New: [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478 gscfq@t-online.de
` (3 preceding siblings ...)
2023-01-25 7:36 ` rguenth at gcc dot gnu.org
@ 2023-01-28 21:38 ` anlauf at gcc dot gnu.org
2023-01-28 22:03 ` cvs-commit at gcc dot gnu.org
` (3 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: anlauf at gcc dot gnu.org @ 2023-01-28 21:38 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108529
anlauf at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[10/11/12/13 Regression] |[10/11/12 Regression] ICE
|ICE in |in transformational_result,
|transformational_result, at |at fortran/simplify.cc:478
|fortran/simplify.cc:478 |
--- Comment #4 from anlauf at gcc dot gnu.org ---
Backporting depends at least on backporting the fix for pr106209.
I'll see whether this works out.
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug fortran/108529] [10/11/12 Regression] ICE in transformational_result, at fortran/simplify.cc:478
2023-01-24 17:53 [Bug fortran/108529] New: [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478 gscfq@t-online.de
` (4 preceding siblings ...)
2023-01-28 21:38 ` [Bug fortran/108529] [10/11/12 " anlauf at gcc dot gnu.org
@ 2023-01-28 22:03 ` cvs-commit at gcc dot gnu.org
2023-02-04 15:43 ` cvs-commit at gcc dot gnu.org
` (2 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2023-01-28 22:03 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108529
--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Harald Anlauf
<anlauf@gcc.gnu.org>:
https://gcc.gnu.org/g:a8ef7eec0c323a8752ad5babde6e4add4f224898
commit r12-9080-ga8ef7eec0c323a8752ad5babde6e4add4f224898
Author: Harald Anlauf <anlauf@gmx.de>
Date: Tue Jan 24 21:39:43 2023 +0100
Fortran: ICE in transformational_result [PR108529]
gcc/fortran/ChangeLog:
PR fortran/108529
* simplify.cc (simplify_transformation): Do not try to simplify
transformational intrinsic when the ARRAY argument has a NULL
shape.
gcc/testsuite/ChangeLog:
PR fortran/108529
* gfortran.dg/pr108529.f90: New test.
(cherry picked from commit 6c96382eed96a9285611f2e3e2e59557094172b8)
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug fortran/108529] [10/11/12 Regression] ICE in transformational_result, at fortran/simplify.cc:478
2023-01-24 17:53 [Bug fortran/108529] New: [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478 gscfq@t-online.de
` (5 preceding siblings ...)
2023-01-28 22:03 ` cvs-commit at gcc dot gnu.org
@ 2023-02-04 15:43 ` cvs-commit at gcc dot gnu.org
2023-02-05 18:55 ` cvs-commit at gcc dot gnu.org
2023-02-05 18:57 ` anlauf at gcc dot gnu.org
8 siblings, 0 replies; 10+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2023-02-04 15:43 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108529
--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Harald Anlauf
<anlauf@gcc.gnu.org>:
https://gcc.gnu.org/g:60032329cde87a7505b7784e1dcfb09574ee2e90
commit r11-10506-g60032329cde87a7505b7784e1dcfb09574ee2e90
Author: Harald Anlauf <anlauf@gmx.de>
Date: Tue Jan 24 21:39:43 2023 +0100
Fortran: ICE in transformational_result [PR108529]
gcc/fortran/ChangeLog:
PR fortran/108529
* simplify.c (simplify_transformation): Do not try to simplify
transformational intrinsic when the ARRAY argument has a NULL
shape.
gcc/testsuite/ChangeLog:
PR fortran/108529
* gfortran.dg/pr108529.f90: New test.
(cherry picked from commit 6c96382eed96a9285611f2e3e2e59557094172b8)
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug fortran/108529] [10/11/12 Regression] ICE in transformational_result, at fortran/simplify.cc:478
2023-01-24 17:53 [Bug fortran/108529] New: [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478 gscfq@t-online.de
` (6 preceding siblings ...)
2023-02-04 15:43 ` cvs-commit at gcc dot gnu.org
@ 2023-02-05 18:55 ` cvs-commit at gcc dot gnu.org
2023-02-05 18:57 ` anlauf at gcc dot gnu.org
8 siblings, 0 replies; 10+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2023-02-05 18:55 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108529
--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Harald Anlauf
<anlauf@gcc.gnu.org>:
https://gcc.gnu.org/g:b66a0f2fecb4dc1ac5960ff5d630ab8f672b4106
commit r10-11198-gb66a0f2fecb4dc1ac5960ff5d630ab8f672b4106
Author: Harald Anlauf <anlauf@gmx.de>
Date: Tue Jan 24 21:39:43 2023 +0100
Fortran: ICE in transformational_result [PR108529]
gcc/fortran/ChangeLog:
PR fortran/108529
* simplify.c (simplify_transformation): Do not try to simplify
transformational intrinsic when the ARRAY argument has a NULL
shape.
gcc/testsuite/ChangeLog:
PR fortran/108529
* gfortran.dg/pr108529.f90: New test.
(cherry picked from commit 6c96382eed96a9285611f2e3e2e59557094172b8)
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug fortran/108529] [10/11/12 Regression] ICE in transformational_result, at fortran/simplify.cc:478
2023-01-24 17:53 [Bug fortran/108529] New: [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478 gscfq@t-online.de
` (7 preceding siblings ...)
2023-02-05 18:55 ` cvs-commit at gcc dot gnu.org
@ 2023-02-05 18:57 ` anlauf at gcc dot gnu.org
8 siblings, 0 replies; 10+ messages in thread
From: anlauf at gcc dot gnu.org @ 2023-02-05 18:57 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108529
anlauf at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #8 from anlauf at gcc dot gnu.org ---
Fixed on all open branches. Closing.
Thanks for the report!
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2023-02-05 18:57 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-24 17:53 [Bug fortran/108529] New: [10/11/12/13 Regression] ICE in transformational_result, at fortran/simplify.cc:478 gscfq@t-online.de
2023-01-24 19:39 ` [Bug fortran/108529] " anlauf at gcc dot gnu.org
2023-01-24 20:42 ` cvs-commit at gcc dot gnu.org
2023-01-24 20:48 ` anlauf at gcc dot gnu.org
2023-01-25 7:36 ` rguenth at gcc dot gnu.org
2023-01-28 21:38 ` [Bug fortran/108529] [10/11/12 " anlauf at gcc dot gnu.org
2023-01-28 22:03 ` cvs-commit at gcc dot gnu.org
2023-02-04 15:43 ` cvs-commit at gcc dot gnu.org
2023-02-05 18:55 ` cvs-commit at gcc dot gnu.org
2023-02-05 18:57 ` anlauf at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).