On Tue, 22 Sep 2015, Tom de Vries wrote:
> Hi,
>
> Consider this test-case:
> ...
> struct ps
> {
> int *__restrict__ p;
> };
>
> f (struct ps &__restrict__ ps1)
> {
> *(ps1.p) = 1;
> }
> ...
>
> Atm (meaning after the fix for PR67666) for this test-case, we register two
> clique/base annot
Hi,
Consider this test-case:
...
struct ps
{
int *__restrict__ p;
};
f (struct ps &__restrict__ ps1)
{
*(ps1.p) = 1;
}
...
Atm (meaning after the fix for PR67666) for this test-case, we register
two clique/base annotations, one for the load of pointer ps1.p and one
for the store to that p
