| // P2573R2 = delete("should have a reason"); |
| // { dg-do compile { target c++11 } } |
| // { dg-options "" } |
| |
| void foo () = delete ("reason"); // { dg-warning "'delete' reason only available with" "" { target c++23_down } } |
| // { dg-message "declared here" "" { target *-*-* } .-1 } |
| struct S { |
| void bar () = delete ("another reason"); // { dg-warning "'delete' reason only available with" "" { target c++23_down } } |
| }; // { dg-message "declared here" "" { target *-*-* } .-1 } |
| int baz (int) = delete ("yet another reason"); // { dg-warning "'delete' reason only available with" "" { target c++23_down } } |
| int baz (int); // { dg-message "declared here" } |
| template <typename T> |
| void qux (T) = delete ("some other reason"); // { dg-warning "'delete' reason only available with" "" { target c++23_down } } |
| // { dg-message "declared here" "" { target *-*-* } .-1 } |
| template <typename T> |
| struct U { |
| U () = delete ("my reasons"); // { dg-warning "'delete' reason only available with" "" { target c++23_down } } |
| U (int); // { dg-message "declared here" "" { target *-*-* } .-1 } |
| ~U () = delete ("your reasons"); // { dg-warning "'delete' reason only available with" "" { target c++23_down } } |
| }; // { dg-message "declared here" "" { target *-*-* } .-1 } |
| template <> |
| void qux (long long) = delete; // { dg-message "declared here" } |
| template <typename T> |
| void corge (T) = delete; // { dg-message "declared here" } |
| template <> |
| void corge (double) = delete ("their reasons"); // { dg-warning "'delete' reason only available with" "" { target c++23_down } } |
| // { dg-message "declared here" "" { target *-*-* } .-1 } |
| |
| void |
| test (U<int> &x) |
| { |
| foo (); // { dg-error "use of deleted function 'void foo\\\(\\\)': reason" } |
| S{}.bar (); // { dg-error "use of deleted function 'void S::bar\\\(\\\)': another reason" } |
| baz (0); // { dg-error "use of deleted function 'int baz\\\(int\\\)': yet another reason" } |
| qux (0L); // { dg-error "use of deleted function 'void qux\\\(T\\\) \\\[with T = long int\\\]': some other reason" } |
| qux (0LL); // { dg-error "use of deleted function 'void qux\\\(T\\\) \\\[with T = long long int\\\]'" } |
| U<long> u; // { dg-error "use of deleted function 'U<T>::U\\\(\\\) \\\[with T = long int\\\]': my reasons" } |
| // { dg-error "use of deleted function 'U<T>::~U\\\(\\\) \\\[with T = long int\\\]': your reasons" "" { target *-*-* } .-1 } |
| corge (0); // { dg-error "use of deleted function 'void corge\\\(T\\\) \\\[with T = int\\\]'" } |
| corge (0.0); // { dg-error "use of deleted function 'void corge\\\(T\\\) \\\[with T = double\\\]': their reasons" } |
| } |
