1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  
       4  typedef struct
       5  {
       6    int tag, y;
       7  } Object;
       8  
       9  void Err_Handler () __attribute__ ((__noreturn__));
      10  void Wrong_Type (Object, int);
      11  
      12  int
      13  P_Error (int argc, Object * argv)
      14  {
      15      if (((argv[1]).tag >> 1) != 11)
      16        Wrong_Type (argv[1], 11);
      17    Err_Handler (argv[0], argv[1], argc - 2, argv + 2);
      18  }