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

2009-01-20 Thread Richard Guenther
On Tue, Jan 20, 2009 at 2:17 PM, Paolo Bonzini wrote: > >>> >>> int * >>> x(void) >>> { >>> register int *a asm("unknown_register"); /* { dg-error "invalid register" >>> } */ >>> int *v[1] = {a}; >>> return v[1]; >>> } >>> -

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

2009-01-20 Thread 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

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

2009-01-20 Thread Richard Guenther
On Tue, Jan 20, 2009 at 12:06 PM, Martin Jambor wrote: > Hi, > > I have found the testcase gcc/testsuite/gcc.dg/noncompile/920507-1.c > failing when I was testing my new SRA. The testcase is quite simple, > should error out but no longer does: > > > int

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

2009-01-20 Thread Martin Jambor
Hi, I have found the testcase gcc/testsuite/gcc.dg/noncompile/920507-1.c failing when I was testing my new SRA. The testcase is quite simple, should error out but no longer does: int * x(void) { register int *a asm("unknown_register"); /* { dg-error "