1  /* { dg-do compile } */
       2  /* { dg-require-effective-target int32plus } */
       3  
       4  int main()
       5  {
       6    int var6 = -1267827473;
       7    do {
       8        ++var6;
       9        double s1_115[4], s2_108[4];
      10        int var8 = -161498264;
      11        do {
      12  	  ++var8;
      13  	  int var12 = 1260960076;
      14  	  for (; var12 <= 1260960080; ++var12) {
      15  	      int var13 = 1960990937;
      16  	      do {
      17  		  ++var13;
      18  		  int var14 = 2128638723;
      19  		  for (; var14 <= 2128638728; ++var14) {
      20  		      int var22 = -1141190839;
      21  		      do {
      22  			  ++var22;
      23  			  if (s2_108 > s1_115) {
      24  			      int var23 = -890798748;
      25  			      do {
      26  				  long long e_119[4];
      27  			      } while (var23 <= -890798746);
      28  			  }
      29  		      } while (var22 <= -1141190829);
      30  		  }
      31  	      } while (var13 <= 1960990946);
      32  	  }
      33        } while (var8 <= -161498254);
      34    } while (var6 <= -1267827462);
      35  }