1  /* { dg-do run } */
       2  /* { dg-require-effective-target int32plus } */
       3  /* { dg-options "-O -fno-tree-ccp -fno-tree-fre -fno-tree-copy-prop -fwrapv" } */
       4  
       5  static inline int
       6  test5 (int x)
       7  {
       8    int y = 0x80000000;
       9    return x + y;
      10  }
      11  
      12  int
      13  main ()
      14  {
      15    if (test5 (0x80000000) != 0)
      16      __builtin_abort ();
      17    return 0;
      18  }