1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fPIE" } */
       3  /* { dg-require-effective-target pie } */
       4  
       5  typedef struct {
       6    int unspecified : 1;
       7    int secure : 1;
       8  } MemTxAttrs;
       9  
      10  enum { MSCAllowNonSecure } tz_msc_read_pdata;
      11  
      12  int tz_msc_read_s_0;
      13  int tz_msc_check();
      14  int address_space_ldl_le();
      15  
      16  void tz_msc_read(MemTxAttrs attrs) {
      17    int as = tz_msc_read_s_0;
      18    long long data;
      19    switch (tz_msc_check()) {
      20    case MSCAllowNonSecure:
      21      attrs.secure = attrs.unspecified = 0;
      22      data = address_space_ldl_le(as, attrs);
      23    }
      24    tz_msc_read_pdata = data;
      25  }