1 // RUN: %clang_cc1 -std=c++23 -x c++ %s -verify
2
f(int x,int y)3 void f(int x, int y) {
4 [[assume(true)]];
5 [[assume(1)]];
6 [[assume(1.0)]];
7 [[assume(1 + 2 == 3)]];
8 [[assume(x ? 1 : 2)]];
9 [[assume(x && y)]];
10 [[assume(true)]] [[assume(true)]];
11
12 [[assume]]; // expected-error {{takes one argument}}
13 [[assume(]]; // expected-error {{expected expression}}
14 [[assume()]]; // expected-error {{expected expression}}
15 [[assume(2]]; // expected-error {{expected ')'}} expected-note {{to match this '('}}
16 [[assume(x = 2)]]; // expected-error {{requires parentheses}}
17 [[assume(2, 3)]]; // expected-error {{requires parentheses}} expected-warning {{has no effect}}
18 }
19