Implement P0892R2, explicit(bool).
authorMarek Polacek <polacek@redhat.com>
Tue, 30 Oct 2018 19:59:41 +0000 (19:59 +0000)
committerMarek Polacek <mpolacek@gcc.gnu.org>
Tue, 30 Oct 2018 19:59:41 +0000 (19:59 +0000)
commitb5ff4f5c0d61e52e27a0727ae9e011aab525ccfd
treec6e4a49a90145c7f755d5dde23b9b457c4d25a0b
parent8d42623b370f4b3f11074ae783709c2b8a7fb65a
Implement P0892R2, explicit(bool).

* c-cppbuiltin.c (c_cpp_builtins): Define __cpp_explicit_bool.

* call.c (add_template_candidate_real): Return if the declaration is
explicit and we're only looking for non-converting constructor.
* cp-tree.h (lang_decl_fn): Add has_dependent_explicit_spec_p bit.
(DECL_HAS_DEPENDENT_EXPLICIT_SPEC_P): New macro.
(cp_decl_specifier_seq): Add explicit_specifier field.
(build_explicit_specifier, store_explicit_specifier): Declare.
* decl.c (grokdeclarator): Call store_explicit_specifier.
(build_explicit_specifier): New function.
* parser.c (cp_parser_function_specifier_opt) <case RID_EXPLICIT>:
Parse C++20 explicit(bool).
* pt.c (store_explicit_specifier, lookup_explicit_specifier): New.
(tsubst_function_decl): Handle explicit(dependent-expr).

* g++.dg/cpp2a/explicit1.C: New test.
* g++.dg/cpp2a/explicit10.C: New test.
* g++.dg/cpp2a/explicit11.C: New test.
* g++.dg/cpp2a/explicit12.C: New test.
* g++.dg/cpp2a/explicit13.C: New test.
* g++.dg/cpp2a/explicit2.C: New test.
* g++.dg/cpp2a/explicit3.C: New test.
* g++.dg/cpp2a/explicit4.C: New test.
* g++.dg/cpp2a/explicit5.C: New test.
* g++.dg/cpp2a/explicit6.C: New test.
* g++.dg/cpp2a/explicit7.C: New test.
* g++.dg/cpp2a/explicit8.C: New test.
* g++.dg/cpp2a/explicit9.C: New test.

* testsuite/20_util/any/cons/explicit.cc: Adjust dg-error.
* testsuite/20_util/pair/cons/explicit_construct.cc: Likewise.
* testsuite/20_util/tuple/cons/explicit_construct.cc: Likewise.

From-SVN: r265641
26 files changed:
gcc/c-family/ChangeLog
gcc/c-family/c-cppbuiltin.c
gcc/cp/ChangeLog
gcc/cp/call.c
gcc/cp/cp-tree.h
gcc/cp/decl.c
gcc/cp/parser.c
gcc/cp/pt.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/cpp2a/explicit1.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/explicit10.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/explicit11.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/explicit12.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/explicit13.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/explicit2.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/explicit3.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/explicit4.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/explicit5.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/explicit6.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/explicit7.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/explicit8.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/explicit9.C [new file with mode: 0644]
libstdc++-v3/ChangeLog
libstdc++-v3/testsuite/20_util/any/cons/explicit.cc
libstdc++-v3/testsuite/20_util/pair/cons/explicit_construct.cc
libstdc++-v3/testsuite/20_util/tuple/cons/explicit_construct.cc