public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ipa/105140] New: [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration
@ 2022-04-03 13:21 zsojka at seznam dot cz
2022-04-04 7:23 ` [Bug ipa/105140] " rguenth at gcc dot gnu.org
` (8 more replies)
0 siblings, 9 replies; 10+ messages in thread
From: zsojka at seznam dot cz @ 2022-04-03 13:21 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105140
Bug ID: 105140
Summary: [10/11/12 Regression] ICE: SIGSEGV in
fold_convertible_p with conflicting function
redeclaration
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: ipa
Assignee: unassigned at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
CC: marxin at gcc dot gnu.org
Target Milestone: ---
Host: x86_64-pc-linux-gnu
Created attachment 52741
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52741&action=edit
reduced testcase
Compiler output:
$ x86_64-pc-linux-gnu-gcc -Os testcase.c -wrapper valgrind,-q
testcase.c:6:1: warning: return type defaults to 'int' [-Wimplicit-int]
6 | bar (int i, int j, int k, V v)
| ^~~
testcase.c:6:1: warning: conflicting types for 'bar'
testcase.c:4:6: note: previous declaration of 'bar' with type 'void()'
4 | void bar ();
| ^~~
testcase.c: In function 'bar':
testcase.c:6:1: note: the ABI for passing parameters with 64-byte alignment has
changed in GCC 4.6
6 | bar (int i, int j, int k, V v)
| ^~~
==4816== Invalid read of size 2
==4816== at 0xFCE2B1: fold_convertible_p(tree_node const*, tree_node const*)
(fold-const.cc:2394)
==4816== by 0x140EB40: force_value_to_type(tree_node*, tree_node*)
(tree-inline.cc:3457)
==4816== by 0x1414B80: setup_one_parameter(copy_body_data*, tree_node*,
tree_node*, tree_node*, basic_block_def*, tree_node**) (tree-inline.cc:3549)
==4816== by 0x141FC8A: initialize_inlined_parameters (tree-inline.cc:3642)
==4816== by 0x141FC8A: expand_call_inline(basic_block_def*, gimple*,
copy_body_data*, bitmap_head*) (tree-inline.cc:5017)
==4816== by 0x1422336: gimple_expand_calls_inline (tree-inline.cc:5320)
==4816== by 0x1422336: optimize_inline_calls(tree_node*)
(tree-inline.cc:5492)
==4816== by 0x239FE8D: early_inliner(function*) (ipa-inline.cc:3038)
==4816== by 0x1289CEA: execute_one_pass(opt_pass*) (passes.cc:2638)
==4816== by 0x128A5AF: execute_pass_list_1(opt_pass*) (passes.cc:2738)
==4816== by 0x128A5E8: execute_pass_list(function*, opt_pass*)
(passes.cc:2749)
==4816== by 0x128AF04: do_per_function_toporder(void (*)(function*, void*),
void*) [clone .part.0] (passes.cc:1774)
==4816== by 0x128B0FE: do_per_function_toporder (passes.cc:1741)
==4816== by 0x128B0FE: execute_ipa_pass_list(opt_pass*) (passes.cc:3083)
==4816== by 0xEB6645: ipa_passes (cgraphunit.cc:2160)
==4816== by 0xEB6645: symbol_table::compile() [clone .part.0]
(cgraphunit.cc:2281)
==4816== Address 0x0 is not stack'd, malloc'd or (recently) free'd
==4816==
during GIMPLE pass: einline
testcase.c: In function 'foo':
testcase.c:13:3: internal compiler error: Segmentation fault
13 | bar ((V){}, (V){}, (V){}, (U){});
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
0x13921df crash_signal
/repo/gcc-trunk/gcc/toplev.cc:322
0xfce2b1 fold_convertible_p(tree_node const*, tree_node const*)
/repo/gcc-trunk/gcc/fold-const.cc:2394
0x140eb40 force_value_to_type(tree_node*, tree_node*)
/repo/gcc-trunk/gcc/tree-inline.cc:3457
0x1414b80 setup_one_parameter
/repo/gcc-trunk/gcc/tree-inline.cc:3549
0x141fc8a initialize_inlined_parameters
/repo/gcc-trunk/gcc/tree-inline.cc:3642
0x141fc8a expand_call_inline
/repo/gcc-trunk/gcc/tree-inline.cc:5017
0x1422336 gimple_expand_calls_inline
/repo/gcc-trunk/gcc/tree-inline.cc:5320
0x1422336 optimize_inline_calls(tree_node*)
/repo/gcc-trunk/gcc/tree-inline.cc:5492
0x239fe8d early_inliner(function*)
/repo/gcc-trunk/gcc/ipa-inline.cc:3038
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
$ x86_64-pc-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-amd64/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r12-7969-20220402191603-gbe07535d0f4-checking-yes-rtl-df-extra-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/12.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--with-cloog --with-ppl --with-isl --build=x86_64-pc-linux-gnu
--host=x86_64-pc-linux-gnu --target=x86_64-pc-linux-gnu
--with-ld=/usr/bin/x86_64-pc-linux-gnu-ld
--with-as=/usr/bin/x86_64-pc-linux-gnu-as --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r12-7969-20220402191603-gbe07535d0f4-checking-yes-rtl-df-extra-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.0.1 20220401 (experimental) (GCC)
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ipa/105140] [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration
2022-04-03 13:21 [Bug ipa/105140] New: [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration zsojka at seznam dot cz
@ 2022-04-04 7:23 ` rguenth at gcc dot gnu.org
2022-04-04 9:31 ` [Bug ipa/105140] [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration since r10-5112-gfddcfa5b84bf8a06 marxin at gcc dot gnu.org
` (7 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-04-04 7:23 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105140
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Target Milestone|--- |10.4
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
Ever confirmed|0 |1
Last reconfirmed| |2022-04-04
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a look.
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ipa/105140] [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration since r10-5112-gfddcfa5b84bf8a06
2022-04-03 13:21 [Bug ipa/105140] New: [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration zsojka at seznam dot cz
2022-04-04 7:23 ` [Bug ipa/105140] " rguenth at gcc dot gnu.org
@ 2022-04-04 9:31 ` marxin at gcc dot gnu.org
2022-04-04 9:34 ` cvs-commit at gcc dot gnu.org
` (6 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: marxin at gcc dot gnu.org @ 2022-04-04 9:31 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105140
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[10/11/12 Regression] ICE: |[10/11/12 Regression] ICE:
|SIGSEGV in |SIGSEGV in
|fold_convertible_p with |fold_convertible_p with
|conflicting function |conflicting function
|redeclaration |redeclaration since
| |r10-5112-gfddcfa5b84bf8a06
CC| |rsandifo at gcc dot gnu.org
--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r10-5112-gfddcfa5b84bf8a06.
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ipa/105140] [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration since r10-5112-gfddcfa5b84bf8a06
2022-04-03 13:21 [Bug ipa/105140] New: [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration zsojka at seznam dot cz
2022-04-04 7:23 ` [Bug ipa/105140] " rguenth at gcc dot gnu.org
2022-04-04 9:31 ` [Bug ipa/105140] [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration since r10-5112-gfddcfa5b84bf8a06 marxin at gcc dot gnu.org
@ 2022-04-04 9:34 ` cvs-commit at gcc dot gnu.org
2022-04-04 9:36 ` [Bug ipa/105140] [10/11 " rguenth at gcc dot gnu.org
` (5 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-04-04 9:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105140
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:eaaf77dd85c333b116111bb1ae6c080154a4e411
commit r12-7979-geaaf77dd85c333b116111bb1ae6c080154a4e411
Author: Richard Biener <rguenther@suse.de>
Date: Mon Apr 4 10:20:05 2022 +0200
middle-end/105140 - fix bogus recursion in fold_convertible_p
fold_convertible_p expects an operand and a type to convert to
but recurses with two vector component types. Fixed by allowing
types instead of an operand as well.
2022-04-04 Richard Biener <rguenther@suse.de>
PR middle-end/105140
* fold-const.cc (fold_convertible_p): Allow a TYPE_P arg.
* gcc.dg/pr105140.c: New testcase.
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ipa/105140] [10/11 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration since r10-5112-gfddcfa5b84bf8a06
2022-04-03 13:21 [Bug ipa/105140] New: [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration zsojka at seznam dot cz
` (2 preceding siblings ...)
2022-04-04 9:34 ` cvs-commit at gcc dot gnu.org
@ 2022-04-04 9:36 ` rguenth at gcc dot gnu.org
2022-04-13 7:56 ` rguenth at gcc dot gnu.org
` (4 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-04-04 9:36 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105140
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |12.0
Priority|P3 |P2
Known to fail|12.0 |
Summary|[10/11/12 Regression] ICE: |[10/11 Regression] ICE:
|SIGSEGV in |SIGSEGV in
|fold_convertible_p with |fold_convertible_p with
|conflicting function |conflicting function
|redeclaration since |redeclaration since
|r10-5112-gfddcfa5b84bf8a06 |r10-5112-gfddcfa5b84bf8a06
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ipa/105140] [10/11 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration since r10-5112-gfddcfa5b84bf8a06
2022-04-03 13:21 [Bug ipa/105140] New: [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration zsojka at seznam dot cz
` (3 preceding siblings ...)
2022-04-04 9:36 ` [Bug ipa/105140] [10/11 " rguenth at gcc dot gnu.org
@ 2022-04-13 7:56 ` rguenth at gcc dot gnu.org
2022-05-19 14:02 ` cvs-commit at gcc dot gnu.org
` (3 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-04-13 7:56 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105140
Bug 105140 depends on bug 105250, which changed state.
Bug 105250 Summary: ICE: in fold_convert_loc, at fold-const.cc:2581 with conflicting function redeclaration
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105250
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ipa/105140] [10/11 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration since r10-5112-gfddcfa5b84bf8a06
2022-04-03 13:21 [Bug ipa/105140] New: [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration zsojka at seznam dot cz
` (4 preceding siblings ...)
2022-04-13 7:56 ` rguenth at gcc dot gnu.org
@ 2022-05-19 14:02 ` cvs-commit at gcc dot gnu.org
2022-05-27 5:59 ` [Bug ipa/105140] [10 " rguenth at gcc dot gnu.org
` (2 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-05-19 14:02 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105140
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:740d64815c6c8afff5e92fff0f5e9e600361ff75
commit r11-10012-g740d64815c6c8afff5e92fff0f5e9e600361ff75
Author: Richard Biener <rguenther@suse.de>
Date: Mon Apr 4 10:20:05 2022 +0200
middle-end/105140 - fix bogus recursion in fold_convertible_p
fold_convertible_p expects an operand and a type to convert to
but recurses with two vector component types. Fixed by allowing
types instead of an operand as well.
2022-04-04 Richard Biener <rguenther@suse.de>
PR middle-end/105140
* fold-const.c (fold_convertible_p): Allow a TYPE_P arg.
* gcc.dg/pr105140.c: New testcase.
(cherry picked from commit eaaf77dd85c333b116111bb1ae6c080154a4e411)
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ipa/105140] [10 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration since r10-5112-gfddcfa5b84bf8a06
2022-04-03 13:21 [Bug ipa/105140] New: [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration zsojka at seznam dot cz
` (5 preceding siblings ...)
2022-05-19 14:02 ` cvs-commit at gcc dot gnu.org
@ 2022-05-27 5:59 ` rguenth at gcc dot gnu.org
2022-05-27 13:15 ` cvs-commit at gcc dot gnu.org
2022-05-27 13:18 ` rguenth at gcc dot gnu.org
8 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-05-27 5:59 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105140
Bug 105140 depends on bug 105266, which changed state.
Bug 105266 Summary: new test case gcc.dg/pr105250.c fails with excess errors in r12-8134-g4e892de6774f86
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105266
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution|--- |FIXED
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ipa/105140] [10 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration since r10-5112-gfddcfa5b84bf8a06
2022-04-03 13:21 [Bug ipa/105140] New: [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration zsojka at seznam dot cz
` (6 preceding siblings ...)
2022-05-27 5:59 ` [Bug ipa/105140] [10 " rguenth at gcc dot gnu.org
@ 2022-05-27 13:15 ` cvs-commit at gcc dot gnu.org
2022-05-27 13:18 ` rguenth at gcc dot gnu.org
8 siblings, 0 replies; 10+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-05-27 13:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105140
--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:c515adf5d339ad942207d9121cf49e5b6c84093e
commit r10-10768-gc515adf5d339ad942207d9121cf49e5b6c84093e
Author: Richard Biener <rguenther@suse.de>
Date: Mon Apr 4 10:20:05 2022 +0200
middle-end/105140 - fix bogus recursion in fold_convertible_p
fold_convertible_p expects an operand and a type to convert to
but recurses with two vector component types. Fixed by allowing
types instead of an operand as well.
2022-04-04 Richard Biener <rguenther@suse.de>
PR middle-end/105140
* fold-const.c (fold_convertible_p): Allow a TYPE_P arg.
* gcc.dg/pr105140.c: New testcase.
(cherry picked from commit eaaf77dd85c333b116111bb1ae6c080154a4e411)
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug ipa/105140] [10 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration since r10-5112-gfddcfa5b84bf8a06
2022-04-03 13:21 [Bug ipa/105140] New: [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration zsojka at seznam dot cz
` (7 preceding siblings ...)
2022-05-27 13:15 ` cvs-commit at gcc dot gnu.org
@ 2022-05-27 13:18 ` rguenth at gcc dot gnu.org
8 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-05-27 13:18 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105140
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |10.3.1
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2022-05-27 13:18 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-04-03 13:21 [Bug ipa/105140] New: [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration zsojka at seznam dot cz
2022-04-04 7:23 ` [Bug ipa/105140] " rguenth at gcc dot gnu.org
2022-04-04 9:31 ` [Bug ipa/105140] [10/11/12 Regression] ICE: SIGSEGV in fold_convertible_p with conflicting function redeclaration since r10-5112-gfddcfa5b84bf8a06 marxin at gcc dot gnu.org
2022-04-04 9:34 ` cvs-commit at gcc dot gnu.org
2022-04-04 9:36 ` [Bug ipa/105140] [10/11 " rguenth at gcc dot gnu.org
2022-04-13 7:56 ` rguenth at gcc dot gnu.org
2022-05-19 14:02 ` cvs-commit at gcc dot gnu.org
2022-05-27 5:59 ` [Bug ipa/105140] [10 " rguenth at gcc dot gnu.org
2022-05-27 13:15 ` cvs-commit at gcc dot gnu.org
2022-05-27 13:18 ` rguenth 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).