// RUN: %llvmgxx -S %s -o - | grep noalias
class foo {
int member[4];
void bar(int * a);
};
void foo::bar(int * a) __restrict {
member[3] = *a;
}