1  /* { dg-do compile } */
       2  /* { dg-options "-O0 -dA -gbtf -mco-re" } */
       3  
       4  struct F {
       5    int bar;
       6    char c;
       7    int baz;
       8  };
       9  
      10  enum {
      11    FIELD_BYTE_OFFSET = 0,
      12    FIELD_BYTE_SIZE = 1,
      13  };
      14  
      15  int test (struct F *f) {
      16    int a;
      17    unsigned x = __builtin_preserve_field_info (({ a = f->bar + f->baz; }), FIELD_BYTE_OFFSET); /* { dg-error "argument is not a field access" } */
      18  
      19    int b;
      20    unsigned y = __builtin_preserve_field_info (&(f->c), FIELD_BYTE_SIZE); /* { dg-error "argument is not a field access" } */
      21  
      22    return a + b + x + y;
      23  }