PR 19893 & array_ref bug

[Joseph S. Myers]

On Wed, 16 Mar 2005, Steve Ellcey wrote:

> But as Joseph pointed out we don't implement attributes on array
> arguments so I get a warning when I try to use the __restrict__
> attribute on the array arguments.  Without the __restrict__ attribute I
> am sure we would not do any vectorization and then what is the point of
> the test?

The C99 syntax for array arguments with qualifiers to be applied to the 
pointers to which they decay

  void f(int a[restrict], int b[restrict]);

is implemented.  What isn't implemented is (a) attributes inside [] along 
with any qualifiers, to apply attributes to the pointer rather than to the 
array, (b) attributes on the parameter declarations that should apply to 
the array instead of to the pointer (instead they'll just apply to the 
pointer to which the array decays).

-- 
Joseph S. Myers               http://www.srcf.ucam.org/~jsm28/gcc/
    jsm@polyomino.org.uk (personal mail)
    joseph@codesourcery.com (CodeSourcery mail)
    jsm28@gcc.gnu.org (Bugzilla assignments and CCs)