diff options
| author | Alex Coplan <alex.coplan@arm.com> | 2024-01-31 14:50:55 +0000 |
|---|---|---|
| committer | Alex Coplan <alex.coplan@arm.com> | 2024-02-13 10:53:56 +0000 |
| commit | 0d810b7d133c72b7e62b294ffaaf131560ce2391 (patch) | |
| tree | 025f5e5691b7895348a42a78b47d71f311aace5e /gcc | |
| parent | af6d8d0cc1ac56eba55ef658c664236208f88169 (diff) | |
| download | gcc-0d810b7d133c72b7e62b294ffaaf131560ce2391.zip gcc-0d810b7d133c72b7e62b294ffaaf131560ce2391.tar.gz gcc-0d810b7d133c72b7e62b294ffaaf131560ce2391.tar.bz2 | |
c++: Don't advertise cxx_constexpr_string_builtins [PR113658]
When __has_feature was introduced for GCC 14, I included the feature
cxx_constexpr_string_builtins, since of the relevant string builtins
that GCC implements, it seems to support constexpr evaluation of those
builtins.
However, as the PR shows, GCC doesn't implement the full list of
builtins in the clang documentation. After enumerating the builtins,
the clang docs [1] say:
> Support for constant expression evaluation for the above builtins can
> be detected with __has_feature(cxx_constexpr_string_builtins).
and a strict reading of this would suggest we can't really support
constexpr evaluation of a builtin if we don't implement the builtin in
the first place.
So the conservatively correct thing to do seems to be to stop
advertising the feature altogether to avoid failing to build code which
assumes the presence of this feature implies the presence of all the
builtins listed in the clang documentation.
[1] : https://clang.llvm.org/docs/LanguageExtensions.html#string-builtins
gcc/cp/ChangeLog:
PR c++/113658
* cp-objcp-common.cc (cp_feature_table): Remove entry for
cxx_constexpr_string_builtins.
gcc/testsuite/ChangeLog:
PR c++/113658
* g++.dg/ext/has-feature2.C: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/cp/cp-objcp-common.cc | 1 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/ext/has-feature2.C | 14 |
2 files changed, 14 insertions, 1 deletions
diff --git a/gcc/cp/cp-objcp-common.cc b/gcc/cp/cp-objcp-common.cc index f06edf0..85dde04 100644 --- a/gcc/cp/cp-objcp-common.cc +++ b/gcc/cp/cp-objcp-common.cc @@ -110,7 +110,6 @@ static constexpr cp_feature_info cp_feature_table[] = { "cxx_alignof", cxx11 }, { "cxx_attributes", cxx11 }, { "cxx_constexpr", cxx11 }, - { "cxx_constexpr_string_builtins", cxx11 }, { "cxx_decltype", cxx11 }, { "cxx_decltype_incomplete_return_types", cxx11 }, { "cxx_default_function_template_args", cxx11 }, diff --git a/gcc/testsuite/g++.dg/ext/has-feature2.C b/gcc/testsuite/g++.dg/ext/has-feature2.C new file mode 100644 index 0000000..5f62916 --- /dev/null +++ b/gcc/testsuite/g++.dg/ext/has-feature2.C @@ -0,0 +1,14 @@ +// { dg-do compile } +// { dg-options "" } + +// PR c++/113658: we shouldn't declare support for +// cxx_constexpr_string_builtins as GCC is missing some of the builtins +// that clang implements. + +#if __has_feature (cxx_constexpr_string_builtins) +#error +#endif + +#if __has_extension (cxx_constexpr_string_builtins) +#error +#endif |