clang/test/Sema/builtin-assume.c

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