1*67e74705SXin Li // RUN: %clang_cc1 -triple i386-mingw32 -fms-extensions -fsyntax-only -verify %s 2*67e74705SXin Li // RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsyntax-only -verify %s 3*67e74705SXin Li 4*67e74705SXin Li int nonconst(void); 5*67e74705SXin Li int isconst(void) __attribute__((const)); 6*67e74705SXin Li int ispure(int) __attribute__((pure)); 7*67e74705SXin Li foo(int * a,int i)8*67e74705SXin Liint foo(int *a, int i) { 9*67e74705SXin Li #ifdef _MSC_VER 10*67e74705SXin Li __assume(i != 4); 11*67e74705SXin Li __assume(++i > 2); //expected-warning {{the argument to '__assume' has side effects that will be discarded}} 12*67e74705SXin Li __assume(nonconst() > 2); //expected-warning {{the argument to '__assume' has side effects that will be discarded}} 13*67e74705SXin Li __assume(isconst() > 2); 14*67e74705SXin Li __assume(ispure(i) > 2); 15*67e74705SXin Li __assume(ispure(++i) > 2); //expected-warning {{the argument to '__assume' has side effects that will be discarded}} 16*67e74705SXin Li 17*67e74705SXin Li int test = sizeof(struct{char qq[(__assume(i != 5), 7)];}); 18*67e74705SXin Li #else 19*67e74705SXin Li __builtin_assume(i != 4); 20*67e74705SXin Li __builtin_assume(++i > 2); //expected-warning {{the argument to '__builtin_assume' has side effects that will be discarded}} 21*67e74705SXin Li __builtin_assume(nonconst() > 2); //expected-warning {{the argument to '__builtin_assume' has side effects that will be discarded}} 22*67e74705SXin Li __builtin_assume(isconst() > 2); 23*67e74705SXin Li __builtin_assume(ispure(i) > 2); 24*67e74705SXin Li __builtin_assume(ispure(++i) > 2); //expected-warning {{the argument to '__builtin_assume' has side effects that will be discarded}} 25*67e74705SXin Li 26*67e74705SXin Li int test = sizeof(struct{char qq[(__builtin_assume(i != 5), 7)];}); 27*67e74705SXin Li #endif 28*67e74705SXin Li return a[i]; 29*67e74705SXin Li } 30*67e74705SXin Li 31