| // P1774R8 - Portable assumptions |
| // { dg-do compile { target c++11 } } |
| |
| [[assume (true)]] void f1 (); // { dg-error "'assume' attribute ignored" } |
| typedef int intx [[assume (true)]]; // { dg-error "'assume' attribute ignored" } |
| [[assume (true)]]; // { dg-warning "attribute ignored" } |
| |
| void |
| foo () |
| { |
| int i; |
| [[assume]]; // { dg-error "wrong number of arguments specified for 'assume' attribute" } |
| // { dg-message "expected 1, found 0" "" { target *-*-* } .-1 } |
| [[assume ()]]; // { dg-error "parentheses must be omitted if 'assume' attribute argument list is empty" } |
| // { dg-error "wrong number of arguments specified for 'assume' attribute" "" { target *-*-* } .-1 } |
| // { dg-message "expected 1, found 0" "" { target *-*-* } .-2 } |
| [[assume (true, true)]]; // { dg-error "wrong number of arguments specified for 'assume' attribute" } |
| // { dg-message "expected 1, found 2" "" { target *-*-* } .-1 } |
| [[assume (true)]] i = 1; // { dg-warning "'assume' attribute not followed by ';'" } |
| [[assume (throw 1)]]; // { dg-error "expected primary-expression before 'throw'" } |
| [[assume (i = 1)]]; // { dg-error "expected '\\\)' before '=' token" } |
| } |
| |
| constexpr int |
| f2 (int x) |
| { |
| #if __cpp_constexpr >= 201304L |
| [[assume (x == 42)]]; // { dg-error "failed 'assume' attribute assumption" "" { target c++14 } } |
| #endif // { dg-message "the comparison reduces to '\\\(44 == 42\\\)'" "" { target c++14 } .-1 } |
| return x; |
| } |
| |
| constexpr int a = f2 (44); |
| |
| int |
| f3 (int x) |
| { |
| __asm ("" : "+r" (x)); |
| return x; |
| } |
| |
| constexpr int |
| f4 (int x) |
| { |
| #if __cpp_constexpr >= 201304L |
| [[assume (f3 (42) == 42)]]; |
| #endif |
| return x; |
| } |
| |
| static_assert (f4 (42) == 42, ""); |
| |
| struct S {}; |
| |
| int |
| f5 () |
| { |
| S s; |
| [[assume (s)]]; // { dg-error "could not convert 's' from 'S' to 'bool'" } |
| return 0; |
| } |
| |
| template <typename T> |
| int |
| f6 () |
| { |
| T t; |
| [[assume (t)]]; // { dg-error "could not convert 't' from 'S' to 'bool'" } |
| return 0; |
| } |
| |
| int z = f6 <S> (); |
| |
| constexpr int |
| f7 (int x, int y, int z, int w) |
| { |
| #if __cpp_constexpr >= 201304L |
| [[assume (x == 42 && y == 43 && z == 44 && w == 45)]]; // { dg-error "failed 'assume' attribute assumption" "" { target c++14 } } |
| #endif // { dg-message "the comparison reduces to '\\\(45 == 44\\\)'" "" { target c++14 } .-1 } |
| return x; |
| } |
| |
| constexpr int w = f7 (42, 43, 45, 44); |