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