From 0df65305ff678bd1ad5305e69e3d73e43f0f34f0 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Tue, 5 Nov 2019 15:36:00 -0500 Subject: [PATCH] Make -fconcepts-ts imply -fconcepts. * c-opts.c (c_common_post_options): -fconcepts-ts implies -fconcepts. From-SVN: r277859 --- gcc/c-family/ChangeLog | 5 +++++ gcc/c-family/c-opts.c | 2 +- gcc/testsuite/g++.dg/concepts/fn7.C | 2 +- 3 files changed, 7 insertions(+), 2 deletions(-) diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index d95424537a9..7f402960fc3 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,8 @@ +2019-11-05 Jason Merrill + + * c-opts.c (c_common_post_options): -fconcepts-ts implies + -fconcepts. + 2019-11-04 Kamlesh Kumar * c-opts.c (c_common_post_options): Update diff --git a/gcc/c-family/c-opts.c b/gcc/c-family/c-opts.c index d4c77be5cd5..b84f05c64c7 100644 --- a/gcc/c-family/c-opts.c +++ b/gcc/c-family/c-opts.c @@ -1038,7 +1038,7 @@ c_common_post_options (const char **pfilename) to know when concepts are enabled. Note that -fconcepts-ts can be used to include additional features, although modified to work with the standard. */ - if (cxx_dialect >= cxx2a) + if (cxx_dialect >= cxx2a || flag_concepts_ts) flag_concepts = 1; else if (flag_concepts) /* For -std=c++17 -fconcepts, imply -fconcepts-ts. */ diff --git a/gcc/testsuite/g++.dg/concepts/fn7.C b/gcc/testsuite/g++.dg/concepts/fn7.C index 869cb9c9391..1994feca84b 100644 --- a/gcc/testsuite/g++.dg/concepts/fn7.C +++ b/gcc/testsuite/g++.dg/concepts/fn7.C @@ -1,5 +1,5 @@ // { dg-do link { target c++14 } } -// { dg-options "-fconcepts" } +// { dg-options "-fconcepts-ts" } void f() requires true { } -- 2.30.2