xref: /llvm-project/libcxx/test/std/iterators/iterator.container/empty.container.verify.cpp (revision 72f0edf3f4291d2614719a8c8af21a7a62ed5d74)
19a39d5a2SLouis Dionne //===----------------------------------------------------------------------===//
29a39d5a2SLouis Dionne //
39a39d5a2SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
49a39d5a2SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
59a39d5a2SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
69a39d5a2SLouis Dionne //
79a39d5a2SLouis Dionne //===----------------------------------------------------------------------===//
89a39d5a2SLouis Dionne 
99a39d5a2SLouis Dionne // <iterator>
109a39d5a2SLouis Dionne 
119a39d5a2SLouis Dionne // <iterator>
129a39d5a2SLouis Dionne // template <class C> constexpr auto empty(const C& c) -> decltype(c.empty());
139a39d5a2SLouis Dionne 
1431cbe0f2SLouis Dionne // UNSUPPORTED: c++03, c++11, c++14, c++17
159a39d5a2SLouis Dionne 
169a39d5a2SLouis Dionne #include <vector>
179a39d5a2SLouis Dionne #include <iterator>
189a39d5a2SLouis Dionne 
f()19*72f0edf3SLouis Dionne void f() {
209a39d5a2SLouis Dionne     std::vector<int> c;
219a39d5a2SLouis Dionne     std::empty(c); // expected-warning {{ignoring return value of function declared with 'nodiscard' attribute}}
229a39d5a2SLouis Dionne }
23