Re: [PATCH][PR67666] Handle single restrict pointer in struct in create_variable_info_for_1

[Richard Biener]

On Tue, 22 Sep 2015, Tom de Vries wrote:

> Hi,
> 
> Consider this test-case:
> 
> struct ps
> {
>   int *__restrict__ p;
> };
> 
> void
> f (struct ps &__restrict__ ps1)
> {
>   *(ps1.p) = 1;
> }
> 
> 
> Atm, the restrict on p has no effect. Now, say we add a field to the struct:
> 
> struct ps
> {
>   int *__restrict__ p;
>   int a;
> };
> 
> 
> Then the restrict on p does have the desired effect.
> 
> 
> This patch fixes the handling of structs with a single field in alias
> analysis.
> 
> Bootstrapped and reg-tested on x86_64.
> 
> OK for trunk?

Ok.

Thanks,
Richard.