1  /* { dg-do run } */
       2  /* { dg-require-effective-target int32plus } */
       3  
       4  short var_9 = 19581;
       5  unsigned char var_33 = 21;
       6  long long int var_55 = 286697804684061197LL;
       7  long long int var_59 = -1962393262513510540LL;
       8  long long int var_71 = 4731868609112929952LL;
       9  long long int var_773 = -4784633456247777769LL;
      10  short var_776 = 5894;
      11  long long int var_1321 = 7573221950916697355LL;
      12  unsigned char uc = 217;
      13  
      14  void foo()
      15  {
      16    if (var_55)
      17      var_71 = 0;
      18    if (var_9 != ~(0 < uc))
      19      var_773 = 0;
      20    else
      21      var_776 = 1 / ~var_9 * -1;
      22    if (var_33)
      23      var_59 = ~var_9 & 10393;
      24    var_1321 = ~var_9;
      25  }
      26  int main()
      27  {
      28    foo();
      29    if (var_59 != 8320)
      30      __builtin_abort ();
      31    return 0;
      32  }