[Bug debug/83419] [8 Regression] -fcompare-debug failure (length)

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83419

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2017-12-14
                 CC|                            |jakub at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This goes away with -gno-statement-frontiers.
The bug is there already during gimplification:

--- pr83419.c.004t.gimple       2017-12-14 10:59:42.640759216 +0100
+++ pr83419.c.gk.004t.gimple    2017-12-14 10:59:42.760757522 +0100
@@ -1,13 +1,19 @@
 bar ()
 [pr83419.c:4:1] {
+  [pr83419.c:5:3] # DEBUG BEGIN_STMT
   [pr83419.c:5:7] a.0_1 = a;
-  [pr83419.c:5:6] if (a.0_1 != 0) goto <D.1897>; else goto <D.1899>;
-  <D.1899>:
+  [pr83419.c:5:6] if (a.0_1 != 0) goto <D.1897>; else goto <D.1900>;
+  <D.1900>:
   [pr83419.c:5:14] b.1_2 = b;
   [pr83419.c:5:9] if (b.1_2 == 1) goto <D.1897>; else goto <D.1898>;
   <D.1897>:
+  [pr83419.c:6:5] # DEBUG BEGIN_STMT
   [pr83419.c:6:5] foo ();
+  [pr83419.c:6:5] goto <D.1899>;
   <D.1898>:
+  [pr83419.c:8:5] # DEBUG BEGIN_STMT
+  <D.1899>:
+  [pr83419.c:9:3] # DEBUG BEGIN_STMT
   [pr83419.c:9:3] foo (1, 0);
 }

see the extra label and goto if -g.  While it is mostly optimized away
afterwards, it affects goto_locus on an edge.  Alex, will leave this to you.