1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=undefined -fsanitize-undefined-trap-on-error" } */
       3  
       4  unsigned int a = 3309568;
       5  unsigned int b = -1204857327;
       6  short c = -10871;
       7  short x;
       8  int main()
       9  {
      10    x = ((short)(~a) | ~c) +  ((short)(~b) | ~c);
      11    return 0;
      12  }