* [Bug sanitizer/105235] [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags
2022-04-12 4:06 [Bug sanitizer/105235] New: [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags zsojka at seznam dot cz
@ 2022-04-12 4:07 ` zsojka at seznam dot cz
2022-04-12 6:58 ` [Bug sanitizer/105235] [11/12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3 marxin at gcc dot gnu.org
` (10 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: zsojka at seznam dot cz @ 2022-04-12 4:07 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105235
--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> ---
A slightly different testcase fails elsewhere:
$ cat testcase.c
int i, j;
void
foo (double d)
{
i = __builtin_ilogbl (d);
j = __builtin_sinl (d);
}
$ x86_64-pc-linux-gnu-gcc -O -fno-tree-dominator-opts -fnon-call-exceptions
-fsanitize=thread -fno-tree-fre testcase.c
testcase.c: In function 'foo':
testcase.c:4:1: error: BB 3 cannot throw but has an EH edge
4 | foo (double d)
| ^~~
during GIMPLE pass: sincos
testcase.c:4:1: internal compiler error: verify_flow_info failed
0xe7c00e verify_flow_info()
/repo/gcc-trunk/gcc/cfghooks.cc:284
0x128704a execute_function_todo
/repo/gcc-trunk/gcc/passes.cc:2097
0x128755e execute_todo
/repo/gcc-trunk/gcc/passes.cc:2139
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.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug sanitizer/105235] [11/12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3
2022-04-12 4:06 [Bug sanitizer/105235] New: [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags zsojka at seznam dot cz
2022-04-12 4:07 ` [Bug sanitizer/105235] " zsojka at seznam dot cz
@ 2022-04-12 6:58 ` marxin at gcc dot gnu.org
2022-04-12 7:11 ` zsojka at seznam dot cz
` (9 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: marxin at gcc dot gnu.org @ 2022-04-12 6:58 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105235
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |aoliva at gcc dot gnu.org
Summary|[12 Regression] ICE: in |[11/12 Regression] ICE: in
|redirect_eh_edge_1, at |redirect_eh_edge_1, at
|tree-eh.cc:2323 with custom |tree-eh.cc:2323 with custom
|flags |flags since
| |r11-4519-g53dede0f04bd95c3
Ever confirmed|0 |1
Last reconfirmed| |2022-04-12
Status|UNCONFIRMED |NEW
--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
With -c -O -fno-tree-dominator-opts -fnon-call-exceptions -fexceptions
-fsanitize=thread -fno-tree-fre
it started with r11-4519-g53dede0f04bd95c3.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug sanitizer/105235] [11/12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3
2022-04-12 4:06 [Bug sanitizer/105235] New: [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags zsojka at seznam dot cz
2022-04-12 4:07 ` [Bug sanitizer/105235] " zsojka at seznam dot cz
2022-04-12 6:58 ` [Bug sanitizer/105235] [11/12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3 marxin at gcc dot gnu.org
@ 2022-04-12 7:11 ` zsojka at seznam dot cz
2022-04-12 7:20 ` marxin at gcc dot gnu.org
` (8 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: zsojka at seznam dot cz @ 2022-04-12 7:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105235
--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> ---
(In reply to Martin Liška from comment #2)
> With -c -O -fno-tree-dominator-opts -fnon-call-exceptions -fexceptions
> -fsanitize=thread -fno-tree-fre
> it started with r11-4519-g53dede0f04bd95c3.
Sorry I forgot to check with -fexception -fnon-call-exceptions for the older
releases
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug sanitizer/105235] [11/12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3
2022-04-12 4:06 [Bug sanitizer/105235] New: [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags zsojka at seznam dot cz
` (2 preceding siblings ...)
2022-04-12 7:11 ` zsojka at seznam dot cz
@ 2022-04-12 7:20 ` marxin at gcc dot gnu.org
2022-04-12 8:06 ` rguenth at gcc dot gnu.org
` (7 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: marxin at gcc dot gnu.org @ 2022-04-12 7:20 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105235
--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Zdenek Sojka from comment #3)
> (In reply to Martin Liška from comment #2)
> > With -c -O -fno-tree-dominator-opts -fnon-call-exceptions -fexceptions
> > -fsanitize=thread -fno-tree-fre
> > it started with r11-4519-g53dede0f04bd95c3.
>
> Sorry I forgot to check with -fexception -fnon-call-exceptions for the older
> releases
That's fine, I actually noticed that once I bisected that first time.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug sanitizer/105235] [11/12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3
2022-04-12 4:06 [Bug sanitizer/105235] New: [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags zsojka at seznam dot cz
` (3 preceding siblings ...)
2022-04-12 7:20 ` marxin at gcc dot gnu.org
@ 2022-04-12 8:06 ` rguenth at gcc dot gnu.org
2022-04-12 8:06 ` rguenth at gcc dot gnu.org
` (6 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-04-12 8:06 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105235
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Zdenek Sojka from comment #1)
> A slightly different testcase fails elsewhere:
>
> $ cat testcase.c
> int i, j;
>
> void
> foo (double d)
> {
> i = __builtin_ilogbl (d);
> j = __builtin_sinl (d);
> }
>
> $ x86_64-pc-linux-gnu-gcc -O -fno-tree-dominator-opts -fnon-call-exceptions
> -fsanitize=thread -fno-tree-fre testcase.c
> testcase.c: In function 'foo':
> testcase.c:4:1: error: BB 3 cannot throw but has an EH edge
> 4 | foo (double d)
> | ^~~
> during GIMPLE pass: sincos
> testcase.c:4:1: internal compiler error: verify_flow_info failed
> 0xe7c00e verify_flow_info()
> /repo/gcc-trunk/gcc/cfghooks.cc:284
> 0x128704a execute_function_todo
> /repo/gcc-trunk/gcc/passes.cc:2097
> 0x128755e execute_todo
> /repo/gcc-trunk/gcc/passes.cc:2139
> 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.
Testing a patch for this
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug sanitizer/105235] [11/12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3
2022-04-12 4:06 [Bug sanitizer/105235] New: [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags zsojka at seznam dot cz
` (4 preceding siblings ...)
2022-04-12 8:06 ` rguenth at gcc dot gnu.org
@ 2022-04-12 8:06 ` rguenth at gcc dot gnu.org
2022-04-12 8:07 ` jakub at gcc dot gnu.org
` (5 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-04-12 8:06 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105235
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
Target Milestone|--- |11.3
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug sanitizer/105235] [11/12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3
2022-04-12 4:06 [Bug sanitizer/105235] New: [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags zsojka at seznam dot cz
` (5 preceding siblings ...)
2022-04-12 8:06 ` rguenth at gcc dot gnu.org
@ 2022-04-12 8:07 ` jakub at gcc dot gnu.org
2022-04-12 8:11 ` [Bug tree-optimization/105235] " rguenth at gcc dot gnu.org
` (4 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: jakub at gcc dot gnu.org @ 2022-04-12 8:07 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105235
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This has nothing to do with the sanitizers.
// PR tree-optimization/105235
// { dg-do compile }
// { dg-options "-O -fno-tree-dominator-opts -fexceptions -fnon-call-exceptions
-fno-tree-fre" }
struct S { ~S (); };
double
foo (double d)
{
S s;
return __builtin_ilogbl (d) + __builtin_sinl (d);
}
or
// PR tree-optimization/105235
// { dg-do compile }
// { dg-options "-O -fno-tree-dominator-opts -fexceptions -fnon-call-exceptions
-fno-tree-fre" }
struct T { ~T (); };
int i, j;
void
bar (double d)
{
T t;
i = __builtin_ilogbl (d);
j = __builtin_sinl (d);
}
ICE the same way.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/105235] [11/12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3
2022-04-12 4:06 [Bug sanitizer/105235] New: [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags zsojka at seznam dot cz
` (6 preceding siblings ...)
2022-04-12 8:07 ` jakub at gcc dot gnu.org
@ 2022-04-12 8:11 ` rguenth at gcc dot gnu.org
2022-04-12 8:11 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-04-12 8:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105235
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Also seems to fix the first testcase.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/105235] [11/12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3
2022-04-12 4:06 [Bug sanitizer/105235] New: [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags zsojka at seznam dot cz
` (7 preceding siblings ...)
2022-04-12 8:11 ` [Bug tree-optimization/105235] " rguenth at gcc dot gnu.org
@ 2022-04-12 8:11 ` rguenth at gcc dot gnu.org
2022-04-12 9:48 ` cvs-commit at gcc dot gnu.org
` (2 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-04-12 8:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105235
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/105235] [11/12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3
2022-04-12 4:06 [Bug sanitizer/105235] New: [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags zsojka at seznam dot cz
` (8 preceding siblings ...)
2022-04-12 8:11 ` rguenth at gcc dot gnu.org
@ 2022-04-12 9:48 ` cvs-commit at gcc dot gnu.org
2022-04-12 10:49 ` [Bug tree-optimization/105235] [11 " cvs-commit at gcc dot gnu.org
2022-04-12 10:49 ` rguenth at gcc dot gnu.org
11 siblings, 0 replies; 13+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-04-12 9:48 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105235
--- Comment #8 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:31cccadcf2d3cc8acb7a5f36ed57ca847f7ea0ea
commit r12-8107-g31cccadcf2d3cc8acb7a5f36ed57ca847f7ea0ea
Author: Richard Biener <rguenther@suse.de>
Date: Tue Apr 12 10:07:10 2022 +0200
tree-optimization/105235 - clean EH in execute_cse_conv_1
When a FP conversion is removed we have to eventually clean EH.
2022-04-12 Richard Biener <rguenther@suse.de>
PR tree-optimization/105235
* tree-ssa-math-opts.cc (execute_cse_conv_1): Clean EH and
return whether the CFG changed.
(execute_cse_sincos_1): Adjust.
* g++.dg/opt/pr105235-1.C: New testcase.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/105235] [11 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3
2022-04-12 4:06 [Bug sanitizer/105235] New: [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags zsojka at seznam dot cz
` (9 preceding siblings ...)
2022-04-12 9:48 ` cvs-commit at gcc dot gnu.org
@ 2022-04-12 10:49 ` cvs-commit at gcc dot gnu.org
2022-04-12 10:49 ` rguenth at gcc dot gnu.org
11 siblings, 0 replies; 13+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-04-12 10:49 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105235
--- Comment #9 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:28ef9276654856b53ba45f0082e6579c365e2962
commit r11-9814-g28ef9276654856b53ba45f0082e6579c365e2962
Author: Richard Biener <rguenther@suse.de>
Date: Tue Apr 12 10:07:10 2022 +0200
tree-optimization/105235 - clean EH in execute_cse_conv_1
When a FP conversion is removed we have to eventually clean EH.
2022-04-12 Richard Biener <rguenther@suse.de>
PR tree-optimization/105235
* tree-ssa-math-opts.c (execute_cse_conv_1): Clean EH and
return whether the CFG changed.
(execute_cse_sincos_1): Adjust.
* g++.dg/opt/pr105235-1.C: New testcase.
(cherry picked from commit 31cccadcf2d3cc8acb7a5f36ed57ca847f7ea0ea)
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/105235] [11 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags since r11-4519-g53dede0f04bd95c3
2022-04-12 4:06 [Bug sanitizer/105235] New: [12 Regression] ICE: in redirect_eh_edge_1, at tree-eh.cc:2323 with custom flags zsojka at seznam dot cz
` (10 preceding siblings ...)
2022-04-12 10:49 ` [Bug tree-optimization/105235] [11 " cvs-commit at gcc dot gnu.org
@ 2022-04-12 10:49 ` rguenth at gcc dot gnu.org
11 siblings, 0 replies; 13+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-04-12 10:49 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105235
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work| |11.2.1
Known to fail| |11.2.0
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 13+ messages in thread