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