| Hal Finkel | f041733 | 2014-07-17 14:25:55 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple i386-mingw32 -fms-extensions -fsyntax-only -verify %s |
| 2 | |||||
| 3 | int foo(int *a, int i) { | ||||
| 4 | __assume(i != 4); | ||||
| 5 | __assume(++i > 2); //expected-warning {{the argument to __assume has side effects that will be discarded}} | ||||
| Hal Finkel | a8443c3 | 2014-07-17 14:49:58 +0000 | [diff] [blame^] | 6 | |
| 7 | int test = sizeof(struct{char qq[(__assume(i != 5), 7)];}); | ||||
| 8 | |||||
| Hal Finkel | f041733 | 2014-07-17 14:25:55 +0000 | [diff] [blame] | 9 | return a[i]; |
| 10 | } | ||||
| 11 | |||||