A question about SRA and out-of-bounds array accesses

[Paolo Bonzini]

>> ----------------------------------------
>> int *
>> x(void)
>> {
>>  register int *a asm("unknown_register");  /* { dg-error "invalid register" } */
>>  int *v[1] = {a};
>>  return v[1];
>> }
>> ----------------------------------------
>
> I think simply scalarizing for the above testcase is ok - the behavior
> is undefined anyway.

What about moving the error to the frontend?

Paolo