| 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}} | ||||
| 6 | return a[i]; | ||||
| 7 | } | ||||
| 8 | |||||