[Bug tree-optimization/108076] [10/11/12/13 Regression] GCC with -O3 produces code which fails to link
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108076 --- Comment #6 from CVS Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:b4fddbe9592e9feb37ce567d90af822b75995531 commit r13-4630-gb4fddbe9592e9feb37ce567d90af822b75995531 Author: Richard Biener Date: Mon Dec 12 17:52:46 2022 +0100 tree-optimization/108076 - if-conversion and forced labels When doing if-conversion we simply throw away labels without checking whether they are possibly targets of non-local gotos or have their address taken. The following rectifies this and refuses to if-convert such loops. PR tree-optimization/108076 * tree-if-conv.cc (if_convertible_loop_p_1): Reject blocks with non-local or forced labels that we later remove labels from. * gcc.dg/torture/pr108076.c: New testcase.
[Bug tree-optimization/108076] [10/11/12/13 Regression] GCC with -O3 produces code which fails to link
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108076 Richard Biener changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org Status|NEW |ASSIGNED --- Comment #5 from Richard Biener --- I will have a look.
[Bug tree-optimization/108076] [10/11/12/13 Regression] GCC with -O3 produces code which fails to link
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108076
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #4 from Jakub Jelinek ---
Reduced testcase:
static void *j;
int v;
__attribute__((__leaf__)) int atoi (const char *);
int
main ()
{
j = &
&
atoi ("42");
lab1:
lab2:
if (v)
goto *j;
}
which fails to link with -O2 starting with
r12-4240-g2b8453c401b699ed93c085d0413ab4b5030bcdb8
and with -O2 -ftree-vectorize starting with
r10-7522-g75efe9cb1f8938a713ce540dc3b27bc2afcd3fae
[Bug tree-optimization/108076] [10/11/12/13 Regression] GCC with -O3 produces code which fails to link
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108076 Andrew Pinski changed: What|Removed |Added Last reconfirmed||2022-12-12 Known to work||9.1.0, 9.2.0, 9.4.0, 9.5.0 Status|UNCONFIRMED |NEW Target Milestone|--- |10.5 Ever confirmed|0 |1 Known to fail||10.1.0 --- Comment #3 from Andrew Pinski --- Confirmed.
[Bug tree-optimization/108076] [10/11/12/13 Regression] GCC with -O3 produces code which fails to link
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108076 Alexander Monakov changed: What|Removed |Added CC||amonakov at gcc dot gnu.org Summary|GCC with -O3 produces code |[10/11/12/13 Regression] |which fails to link |GCC with -O3 produces code ||which fails to link Known to work||8.5.0 Component|c |tree-optimization Keywords||link-failure --- Comment #2 from Alexander Monakov --- GIMPLE if-conversion seems to delete BBs with address-taken labels; works with -fno-tree-loop-if-convert
