[Bug middle-end/116290] [12/13/14/15 regression] -fcompare-debug -gno-statement-frontiers -O2 failure with evolution-data-server-3.52.4

[jakub at gcc dot gnu.org via Gcc-bugs]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
On the reduced testcase, it started with
r12-4283-g6f966f06146be7689af471d152e18ff50c609d99

Anyway, even on the reduced testcase, slp1 difference is:
--- pr116290.c.186t.slp1        2024-08-08 15:31:49.607906949 +0200
+++ pr116290.gk.c.186t.slp1     2024-08-08 15:31:49.658906270 +0200
@@ -21,6 +21,8 @@ void camel_message_info_class_intern_ini
   sizetype _32;

   <bb 2> [local count: 118111598]:
+  # DEBUG label => label_17(D)
+  # DEBUG ii => ii_16(D)
   camel_message_info_class_intern_init_part.3_27 =
camel_message_info_class_intern_init_part;
   _28 = (sizetype) ii_16(D);
   _29 = camel_message_info_class_intern_init_part.3_27 + _28;
@@ -37,6 +39,8 @@ void camel_message_info_class_intern_ini
   # _32 = PHI <_6(13), _28(12)>
   # ii_33 = PHI <ii_23(13), ii_16(D)(12)>
   # label_34 = PHI <label_10(13), label_17(D)(12)>
+  # DEBUG label => label_34
+  # DEBUG ii => ii_33
   if (camel_message_info_class_intern_init_part.3_31 != 0B)
     goto <bb 4>; [70.00%]
   else
@@ -73,12 +77,16 @@ void camel_message_info_class_intern_ini
   camel_message_info_class_intern_init_part.1_2 =
camel_message_info_class_intern_init_part;
   _3 = _32 + 1;
   label_21 = camel_message_info_class_intern_init_part.1_2 + _3;
+  # DEBUG label => label_21
   _4 = camel_message_info_class_intern_init_part.1_2 + _32;
   *_4 = 32;

   <bb 8> [local count: 955630226]:
   # label_10 = PHI <label_34(15), label_21(7)>
+  # DEBUG label => label_10
   ii_23 = ii_33 + 1;
+  # DEBUG label => label_10
+  # DEBUG ii => ii_23
   camel_message_info_class_intern_init_part.3_5 =
camel_message_info_class_intern_init_part;
   _6 = (sizetype) ii_23;
   _7 = camel_message_info_class_intern_init_part.3_5 + _6;
while ivopts difference is:
@@ -260,7 +316,7 @@ Candidate 5:

 void camel_message_info_class_intern_init ()
 {
-  sizetype ivtmp.12;
+  sizetype ivtmp.10;
   char * label;
   int ii;
   char _1;
@@ -280,6 +336,8 @@ void camel_message_info_class_intern_ini
   sizetype _32;

   <bb 2> [local count: 118111598]:
+  # DEBUG label => label_17(D)
+  # DEBUG ii => ii_16(D)
   camel_message_info_class_intern_init_part.3_27 =
camel_message_info_class_intern_init_part;
   _28 = (sizetype) ii_16(D);
   _29 = camel_message_info_class_intern_init_part.3_27 + _28;
@@ -291,13 +349,15 @@ void camel_message_info_class_intern_ini

   <bb 12> [local count: 105119322]:
   _11 = (sizetype) ii_16(D);
-  ivtmp.12_14 = _11 + 1;
+  ivtmp.10_14 = _11 + 1;

   <bb 3> [local count: 955630224]:
   # camel_message_info_class_intern_init_part.3_31 = PHI
<camel_message_info_class_intern_init_part.3_5(13),
camel_message_info_class_intern_init_part.3_27(12)>
-  # _32 = PHI <_6(13), _28(12)>
   # label_34 = PHI <label_10(13), label_17(D)(12)>
-  # ivtmp.12_25 = PHI <ivtmp.12_24(13), ivtmp.12_14(12)>
+  # ivtmp.10_25 = PHI <ivtmp.10_24(13), ivtmp.10_14(12)>
+  _32 = ivtmp.10_25 + 18446744073709551615;
+  # DEBUG label => label_34
+  # DEBUG ii => (int) (((unsigned int) ii_16(D) - (unsigned int) ((sizetype)
ii_16(D) + 1)) + (unsigned int) ivtmp.10_25)
   if (camel_message_info_class_intern_init_part.3_31 != 0B)
     goto <bb 4>; [70.00%]
   else
@@ -332,18 +392,22 @@ void camel_message_info_class_intern_ini

   <bb 7> [local count: 668941161]:
   camel_message_info_class_intern_init_part.1_2 =
camel_message_info_class_intern_init_part;
-  _3 = _32 + 1;
+  _3 = ivtmp.10_25;
   label_21 = camel_message_info_class_intern_init_part.1_2 + _3;
+  # DEBUG label => label_21
   _4 = camel_message_info_class_intern_init_part.1_2 + _32;
   *_4 = 32;

   <bb 8> [local count: 955630226]:
   # label_10 = PHI <label_34(15), label_21(7)>
+  # DEBUG label => label_10
+  # DEBUG label => label_10
+  # DEBUG ii => (int) ((((unsigned int) ii_16(D) - (unsigned int) ((sizetype)
ii_16(D) + 1)) + (unsigned int) ivtmp.10_25) + 1)
   camel_message_info_class_intern_init_part.3_5 =
camel_message_info_class_intern_init_part;
-  _6 = ivtmp.12_25;
+  _6 = ivtmp.10_25;
   _7 = camel_message_info_class_intern_init_part.3_5 + _6;
   _8 = *_7;
-  ivtmp.12_24 = ivtmp.12_25 + 1;
+  ivtmp.10_24 = ivtmp.10_25 + 1;
   if (_8 != 0)
     goto <bb 13>; [89.00%]
   else