OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix PR middle-end/102764

Browse Source 
This is a regression present on the mainline in the form of -fcompare-debug
failure at -O3 on a compiler-generated testcase.  Fixed by disregarding a
debug statement in the last position of a basic block to reset the current
location for the outgoing edges.

gcc/
	PR middle-end/102764
	* cfgexpand.c (expand_gimple_basic_block): Disregard a final debug
	statement to reset the current location for the outgoing edges.

gcc/testsuite/
	* gcc.dg/pr102764.c: New test.
This commit is contained in:
Eric Botcazou 2021-10-20 10:42:56 +02:00
parent 8fe93cc664
commit 972ee845f5
2 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/cfgexpand.c
View File

@ -6090,7 +6090,7 @@ expand_gimple_basic_block (basic_block bb, bool disable_tail_calls)
/* Expand implicit goto and convert goto_locus. */
FOR_EACH_EDGE (e, ei, bb->succs)
{
if (e->goto_locus != UNKNOWN_LOCATION || !stmt)
if (e->goto_locus != UNKNOWN_LOCATION || !stmt || is_gimple_debug (stmt))
set_curr_insn_location (e->goto_locus);
if ((e->flags & EDGE_FALLTHRU) && e->dest != bb->next_bb)
{

14
gcc/testsuite/gcc.dg/pr102764.c Normal file
View File

@ -0,0 +1,14 @@
/* PR middle-end/102764 */
/* Reported by Chengnian Sun <cnsun@uwaterloo.ca> */
/* { dg-do compile } */
/* { dg-options "-O3 -fcompare-debug" } */
volatile int a;
void main (void)
{
for (int i = 0; i < 1000; i++)
if (i % 17)
a++;
}