public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/106048] New: [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed
@ 2022-06-21 18:51 gscfq@t-online.de
2022-06-24 10:01 ` [Bug fortran/106048] " rguenth at gcc dot gnu.org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: gscfq@t-online.de @ 2022-06-21 18:51 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106048
Bug ID: 106048
Summary: [10/11/12/13 Regression] ICE in ubsan_encode_value, at
ubsan.cc:143 / verify_gimple failed
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 with r7, with and without -fsanitize=undefined :
$ cat z1.f90
program p
integer :: real
print *, real(2)
associate (y => real+real)
print *, y
end associate
end
$ cat z2.f90
program p
integer :: n
print *, n(2)
associate (y => n+n)
print *, y
end associate
end
$ gfortran-13-20220619 -c z1.f90
/tmp/cc97osCU.s: Assembler messages:
/tmp/cc97osCU.s:35: Error: junk `(intrinsic)_MOD_real' after expression
$ gfortran-13-20220619 -c z1.f90 -fsanitize=undefined
during RTL pass: expand
z1.f90:5:16:
5 | print *, y
| ^
internal compiler error: in ubsan_encode_value, at ubsan.cc:143
0xcf9ca2 ubsan_encode_value(tree_node*, ubsan_encode_value_phase)
../../gcc/ubsan.cc:143
0xcfe316 ubsan_build_overflow_builtin(tree_code, unsigned int, tree_node*,
tree_node*, tree_node*, tree_node**)
../../gcc/ubsan.cc:1562
0xa72326 expand_mul_overflow
../../gcc/internal-fn.cc:2270
0xa749c6 expand_UBSAN_CHECK_MUL
../../gcc/internal-fn.cc:2516
0x8820e7 expand_call_stmt
../../gcc/cfgexpand.cc:2737
0x8820e7 expand_gimple_stmt_1
../../gcc/cfgexpand.cc:3869
0x8820e7 expand_gimple_stmt
../../gcc/cfgexpand.cc:4033
0x887297 expand_gimple_basic_block
../../gcc/cfgexpand.cc:6085
0x889d5e execute
../../gcc/cfgexpand.cc:6811
---
gcc configured with --enable-checking=yes :
$ gfortran-13-20220619 -c z1.f90
z1.f90:1:9:
1 | program p
| ^
Error: type mismatch in binary expression
integer(kind=4)
integer(kind=4) (*<T62d>) ()
integer(kind=4)
_1 = real * 2;
z1.f90:1:9: internal compiler error: 'verify_gimple' failed
0xed9e9d verify_gimple_in_seq(gimple*)
../../gcc/tree-cfg.cc:5217
0xb557b1 gimplify_body(tree_node*, bool)
../../gcc/gimplify.cc:16543
0xb55a55 gimplify_function_tree(tree_node*)
../../gcc/gimplify.cc:16659
0x964c47 cgraph_node::analyze()
../../gcc/cgraphunit.cc:676
0x967ef6 analyze_functions
../../gcc/cgraphunit.cc:1241
0x9690cd symbol_table::finalize_compilation_unit()
../../gcc/cgraphunit.cc:2501
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug fortran/106048] [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed
2022-06-21 18:51 [Bug fortran/106048] New: [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed gscfq@t-online.de
@ 2022-06-24 10:01 ` rguenth at gcc dot gnu.org
2022-06-27 8:54 ` marxin at gcc dot gnu.org
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-06-24 10:01 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106048
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |10.4
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug fortran/106048] [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed
2022-06-21 18:51 [Bug fortran/106048] New: [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed gscfq@t-online.de
2022-06-24 10:01 ` [Bug fortran/106048] " rguenth at gcc dot gnu.org
@ 2022-06-27 8:54 ` marxin at gcc dot gnu.org
2022-06-28 10:49 ` jakub at gcc dot gnu.org
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: marxin at gcc dot gnu.org @ 2022-06-27 8:54 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106048
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
CC| |marxin at gcc dot gnu.org,
| |pault at gcc dot gnu.org
Last reconfirmed| |2022-06-27
Ever confirmed|0 |1
--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Likely started with r8-3365-gb89a63b916340ef2.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug fortran/106048] [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed
2022-06-21 18:51 [Bug fortran/106048] New: [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed gscfq@t-online.de
2022-06-24 10:01 ` [Bug fortran/106048] " rguenth at gcc dot gnu.org
2022-06-27 8:54 ` marxin at gcc dot gnu.org
@ 2022-06-28 10:49 ` jakub at gcc dot gnu.org
2022-12-02 13:21 ` jakub at gcc dot gnu.org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: jakub at gcc dot gnu.org @ 2022-06-28 10:49 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106048
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|10.4 |10.5
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug fortran/106048] [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed
2022-06-21 18:51 [Bug fortran/106048] New: [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed gscfq@t-online.de
` (2 preceding siblings ...)
2022-06-28 10:49 ` jakub at gcc dot gnu.org
@ 2022-12-02 13:21 ` jakub at gcc dot gnu.org
2023-06-02 8:55 ` [Bug fortran/106048] [10/11/12/13/14 " pault at gcc dot gnu.org
2023-06-02 8:55 ` pault at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: jakub at gcc dot gnu.org @ 2022-12-02 13:21 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106048
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P4
CC| |jakub at gcc dot gnu.org
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug fortran/106048] [10/11/12/13/14 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed
2022-06-21 18:51 [Bug fortran/106048] New: [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed gscfq@t-online.de
` (4 preceding siblings ...)
2023-06-02 8:55 ` [Bug fortran/106048] [10/11/12/13/14 " pault at gcc dot gnu.org
@ 2023-06-02 8:55 ` pault at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: pault at gcc dot gnu.org @ 2023-06-02 8:55 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106048
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #3 from Paul Thomas <pault at gcc dot gnu.org> ---
This is fixed back to 12-branch. Closing.
Thanks for the report.
Paul
--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
This is fixed back to 12-branch. Closing.
Thanks for the report.
Paul
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug fortran/106048] [10/11/12/13/14 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed
2022-06-21 18:51 [Bug fortran/106048] New: [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed gscfq@t-online.de
` (3 preceding siblings ...)
2022-12-02 13:21 ` jakub at gcc dot gnu.org
@ 2023-06-02 8:55 ` pault at gcc dot gnu.org
2023-06-02 8:55 ` pault at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: pault at gcc dot gnu.org @ 2023-06-02 8:55 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106048
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #3 from Paul Thomas <pault at gcc dot gnu.org> ---
This is fixed back to 12-branch. Closing.
Thanks for the report.
Paul
--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
This is fixed back to 12-branch. Closing.
Thanks for the report.
Paul
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2023-06-02 8:55 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-21 18:51 [Bug fortran/106048] New: [10/11/12/13 Regression] ICE in ubsan_encode_value, at ubsan.cc:143 / verify_gimple failed gscfq@t-online.de
2022-06-24 10:01 ` [Bug fortran/106048] " rguenth at gcc dot gnu.org
2022-06-27 8:54 ` marxin at gcc dot gnu.org
2022-06-28 10:49 ` jakub at gcc dot gnu.org
2022-12-02 13:21 ` jakub at gcc dot gnu.org
2023-06-02 8:55 ` [Bug fortran/106048] [10/11/12/13/14 " pault at gcc dot gnu.org
2023-06-02 8:55 ` pault 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).