1// RUN: %clang_cc1 -emit-llvm %s -o - | FileCheck %s
2
3void foo(int * __restrict myptr1, int * myptr2) {
4  // CHECK: noalias
5  myptr1[0] = 0;
6  myptr2[0] = 0;
7}
8