1 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsyntax-only -verify %s 2 3 void *nonconst(void); 4 test1(int * a,int * b)5void test1(int *a, int *b) { 6 __builtin_assume_separate_storage(a, b); 7 // Separate storage assumptions evaluate their arguments unconditionally, like 8 // assume_aligned but *unlike* assume. Check that we don't warn on it. 9 __builtin_assume_separate_storage(a, nonconst()); 10 __builtin_assume_separate_storage(nonconst(), a); 11 __builtin_assume_separate_storage(a, 3); // expected-error {{incompatible integer to pointer conversion}} 12 __builtin_assume_separate_storage(3, a); // expected-error {{incompatible integer to pointer conversion}} 13 } 14