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