On 08/12/15 10:41, Tom de Vries wrote:
Cliques are not computed in IPA PTA and the above would require IPA.

FTR, this is a generic (not openmp-related) example, and AFAIU a more
generic form of the issue that is being raised.
...
static void __attribute__((noinline, noclone))
bar (int *a, int * b)
{
   *a = 1;
   *b = 2;
   *a = *a + 1;
}

void
foo (int *__restrict__ a, int *__restrict__ b)
{
   bar (a, b);
}
...

Filed as PR68787 - fipa-pta to interpret restrict.

Thanks,
- Tom

Reply via email to