2018-06-18 18:42:11 +02:00
|
|
|
// -*- C++ -*- Libstdc++ version details header.
|
|
|
|
|
|
2020-01-01 12:51:42 +01:00
|
|
|
// Copyright (C) 2018-2020 Free Software Foundation, Inc.
|
2018-06-18 18:42:11 +02:00
|
|
|
//
|
|
|
|
|
// This file is part of the GNU ISO C++ Library. This library is free
|
|
|
|
|
// software; you can redistribute it and/or modify it under the
|
|
|
|
|
// terms of the GNU General Public License as published by the
|
|
|
|
|
// Free Software Foundation; either version 3, or (at your option)
|
|
|
|
|
// any later version.
|
|
|
|
|
|
|
|
|
|
// This library is distributed in the hope that it will be useful,
|
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
// GNU General Public License for more details.
|
|
|
|
|
|
|
|
|
|
// Under Section 7 of GPL version 3, you are granted additional
|
|
|
|
|
// permissions described in the GCC Runtime Library Exception, version
|
|
|
|
|
// 3.1, as published by the Free Software Foundation.
|
|
|
|
|
|
|
|
|
|
// You should have received a copy of the GNU General Public License and
|
|
|
|
|
// a copy of the GCC Runtime Library Exception along with this program;
|
|
|
|
|
// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
|
|
|
|
// <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
/** @file version
|
|
|
|
|
* This is a Standard C++ Library file. You should @c \#include this file
|
|
|
|
|
* in your programs, rather than any of the @a *.h implementation files.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#ifndef _GLIBCXX_VERSION_INCLUDED
|
|
|
|
|
#define _GLIBCXX_VERSION_INCLUDED
|
|
|
|
|
|
|
|
|
|
#pragma GCC system_header
|
|
|
|
|
|
|
|
|
|
#include <bits/c++config.h>
|
|
|
|
|
|
|
|
|
|
// c++03
|
2019-11-05 16:56:57 +01:00
|
|
|
#if _GLIBCXX_HOSTED
|
|
|
|
|
# define __cpp_lib_incomplete_container_elements 201505
|
|
|
|
|
#endif
|
2018-06-18 18:42:11 +02:00
|
|
|
|
|
|
|
|
#if !defined(__STRICT_ANSI__)
|
|
|
|
|
// gnu++03
|
2019-01-15 13:01:12 +01:00
|
|
|
# define __cpp_lib_uncaught_exceptions 201411L
|
2018-06-18 18:42:11 +02:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if __cplusplus >= 201103L
|
|
|
|
|
// c++11
|
|
|
|
|
#define __cpp_lib_is_null_pointer 201309
|
|
|
|
|
#define __cpp_lib_result_of_sfinae 201210
|
2019-11-05 16:56:57 +01:00
|
|
|
|
|
|
|
|
#if _GLIBCXX_HOSTED
|
|
|
|
|
# define __cpp_lib_allocator_is_always_equal 201411
|
|
|
|
|
# define __cpp_lib_allocator_traits_is_always_equal 201411
|
|
|
|
|
# define __cpp_lib_shared_ptr_arrays 201611L
|
|
|
|
|
#endif
|
2018-06-18 18:42:11 +02:00
|
|
|
|
|
|
|
|
#if !defined(__STRICT_ANSI__)
|
|
|
|
|
// gnu++11
|
|
|
|
|
# define __cpp_lib_is_swappable 201603
|
|
|
|
|
# define __cpp_lib_void_t 201411
|
2019-11-05 16:56:57 +01:00
|
|
|
# if _GLIBCXX_HOSTED
|
|
|
|
|
# define __cpp_lib_enable_shared_from_this 201603
|
|
|
|
|
# endif
|
2018-06-18 18:42:11 +02:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
// For C++11 and later we support ISO/IEC 29124 Mathematical Special Functions
|
|
|
|
|
#define __STDCPP_MATH_SPEC_FUNCS__ 201003L
|
|
|
|
|
|
|
|
|
|
#if __cplusplus >= 201402L
|
|
|
|
|
// c++14
|
|
|
|
|
#define __cpp_lib_integral_constant_callable 201304
|
|
|
|
|
#define __cpp_lib_is_final 201402L
|
|
|
|
|
#define __cpp_lib_transformation_trait_aliases 201304
|
2019-11-05 16:56:57 +01:00
|
|
|
|
|
|
|
|
#if _GLIBCXX_HOSTED
|
|
|
|
|
# define __cpp_lib_chrono_udls 201304
|
|
|
|
|
# define __cpp_lib_complex_udls 201309
|
|
|
|
|
# define __cpp_lib_exchange_function 201304
|
|
|
|
|
# define __cpp_lib_generic_associative_lookup 201304
|
|
|
|
|
# define __cpp_lib_integer_sequence 201304
|
|
|
|
|
# define __cpp_lib_make_reverse_iterator 201402
|
|
|
|
|
# define __cpp_lib_make_unique 201304
|
|
|
|
|
# ifndef _GLIBCXX_DEBUG // PR libstdc++/70303
|
|
|
|
|
# define __cpp_lib_null_iterators 201304L
|
|
|
|
|
# endif
|
|
|
|
|
# define __cpp_lib_quoted_string_io 201304
|
|
|
|
|
# define __cpp_lib_robust_nonmodifying_seq_ops 201304
|
|
|
|
|
# ifdef _GLIBCXX_HAS_GTHREADS
|
|
|
|
|
# define __cpp_lib_shared_timed_mutex 201402
|
|
|
|
|
# endif
|
|
|
|
|
# define __cpp_lib_string_udls 201304
|
|
|
|
|
# define __cpp_lib_transparent_operators 201510
|
|
|
|
|
# define __cpp_lib_tuple_element_t 201402L
|
|
|
|
|
# define __cpp_lib_tuples_by_type 201304
|
|
|
|
|
#endif
|
2018-06-18 18:42:11 +02:00
|
|
|
|
|
|
|
|
#if __cplusplus >= 201703L
|
|
|
|
|
// c++17
|
|
|
|
|
#define __cpp_lib_addressof_constexpr 201603
|
|
|
|
|
#define __cpp_lib_atomic_is_always_lock_free 201603
|
|
|
|
|
#define __cpp_lib_bool_constant 201505
|
|
|
|
|
#define __cpp_lib_byte 201603
|
2018-08-01 00:31:14 +02:00
|
|
|
#ifdef _GLIBCXX_HAVE_BUILTIN_HAS_UNIQ_OBJ_REP
|
|
|
|
|
# define __cpp_lib_has_unique_object_representations 201606
|
|
|
|
|
#endif
|
|
|
|
|
#ifdef _GLIBCXX_HAVE_BUILTIN_IS_AGGREGATE
|
|
|
|
|
# define __cpp_lib_is_aggregate 201703
|
|
|
|
|
#endif
|
2018-06-18 18:42:11 +02:00
|
|
|
#define __cpp_lib_is_invocable 201703
|
|
|
|
|
#define __cpp_lib_is_swappable 201603
|
2018-08-01 00:31:14 +02:00
|
|
|
#ifdef _GLIBCXX_HAVE_BUILTIN_LAUNDER
|
|
|
|
|
# define __cpp_lib_launder 201606
|
|
|
|
|
#endif
|
2018-06-18 18:42:11 +02:00
|
|
|
#define __cpp_lib_logical_traits 201510
|
2019-11-05 16:56:57 +01:00
|
|
|
#define __cpp_lib_type_trait_variable_templates 201510L
|
|
|
|
|
#define __cpp_lib_uncaught_exceptions 201411L
|
|
|
|
|
#define __cpp_lib_void_t 201411
|
|
|
|
|
|
|
|
|
|
#if _GLIBCXX_HOSTED
|
|
|
|
|
#define __cpp_lib_any 201606L
|
|
|
|
|
#define __cpp_lib_apply 201603
|
|
|
|
|
#define __cpp_lib_array_constexpr 201803
|
|
|
|
|
#define __cpp_lib_as_const 201510
|
|
|
|
|
#define __cpp_lib_boyer_moore_searcher 201603
|
|
|
|
|
#define __cpp_lib_chrono 201611
|
|
|
|
|
#define __cpp_lib_clamp 201603
|
|
|
|
|
#define __cpp_lib_constexpr_char_traits 201611
|
|
|
|
|
#define __cpp_lib_enable_shared_from_this 201603
|
|
|
|
|
#define __cpp_lib_filesystem 201703
|
|
|
|
|
#define __cpp_lib_gcd 201606
|
|
|
|
|
#define __cpp_lib_gcd_lcm 201606
|
|
|
|
|
#define __cpp_lib_hypot 201603
|
|
|
|
|
#define __cpp_lib_invoke 201411L
|
|
|
|
|
#define __cpp_lib_lcm 201606
|
2018-06-18 18:42:11 +02:00
|
|
|
#define __cpp_lib_make_from_tuple 201606
|
|
|
|
|
#define __cpp_lib_map_insertion 201411
|
|
|
|
|
#define __cpp_lib_map_try_emplace 201411
|
|
|
|
|
#define __cpp_lib_math_special_functions 201603L
|
2018-11-18 00:35:44 +01:00
|
|
|
#ifdef _GLIBCXX_HAS_GTHREADS
|
|
|
|
|
# define __cpp_lib_memory_resource 201603
|
|
|
|
|
#else
|
|
|
|
|
# define __cpp_lib_memory_resource 1
|
|
|
|
|
#endif
|
2018-06-18 18:42:11 +02:00
|
|
|
#define __cpp_lib_node_extract 201606
|
|
|
|
|
#define __cpp_lib_nonmember_container_access 201411
|
|
|
|
|
#define __cpp_lib_not_fn 201603
|
2019-01-15 13:01:12 +01:00
|
|
|
#define __cpp_lib_optional 201606L
|
|
|
|
|
#define __cpp_lib_raw_memory_algorithms 201606L
|
2018-06-18 18:42:11 +02:00
|
|
|
#define __cpp_lib_sample 201603
|
2018-08-01 00:31:14 +02:00
|
|
|
#ifdef _GLIBCXX_HAS_GTHREADS
|
|
|
|
|
# define __cpp_lib_scoped_lock 201703
|
|
|
|
|
# define __cpp_lib_shared_mutex 201505
|
|
|
|
|
#endif
|
2018-06-18 18:42:11 +02:00
|
|
|
#define __cpp_lib_shared_ptr_weak_type 201606
|
2019-09-10 05:38:58 +02:00
|
|
|
#define __cpp_lib_string_view 201803
|
2019-06-12 16:52:02 +02:00
|
|
|
// #define __cpp_lib_to_chars 201611L
|
2018-06-18 18:42:11 +02:00
|
|
|
#define __cpp_lib_unordered_map_insertion 201411
|
|
|
|
|
#define __cpp_lib_unordered_map_try_emplace 201411
|
2019-01-15 13:01:12 +01:00
|
|
|
#define __cpp_lib_variant 201606L
|
2019-03-22 00:48:49 +01:00
|
|
|
#define __cpp_lib_parallel_algorithm 201603L
|
2019-11-05 16:56:57 +01:00
|
|
|
#endif
|
2018-06-18 18:42:11 +02:00
|
|
|
|
|
|
|
|
#if __cplusplus > 201703L
|
|
|
|
|
// c++2a
|
2019-07-11 21:43:25 +02:00
|
|
|
#define __cpp_lib_atomic_ref 201806L
|
2020-01-11 01:11:54 +01:00
|
|
|
#define __cpp_lib_atomic_value_initialization 201911L
|
2019-10-30 17:57:13 +01:00
|
|
|
#define __cpp_lib_bitops 201907L
|
2019-03-06 16:31:06 +01:00
|
|
|
#define __cpp_lib_bounded_array_traits 201902L
|
2019-10-11 17:53:52 +02:00
|
|
|
#if __cpp_concepts
|
|
|
|
|
# define __cpp_lib_concepts 201806L
|
|
|
|
|
#endif
|
2019-02-13 23:13:45 +01:00
|
|
|
#if __cpp_impl_destroying_delete
|
|
|
|
|
# define __cpp_lib_destroying_delete 201806L
|
|
|
|
|
#endif
|
2019-07-26 15:30:42 +02:00
|
|
|
#define __cpp_lib_endian 201907L
|
2019-01-11 17:01:23 +01:00
|
|
|
#ifdef _GLIBCXX_HAVE_BUILTIN_IS_CONSTANT_EVALUATED
|
|
|
|
|
# define __cpp_lib_is_constant_evaluated 201811L
|
|
|
|
|
#endif
|
2019-11-05 16:56:57 +01:00
|
|
|
|
|
|
|
|
#if _GLIBCXX_HOSTED
|
|
|
|
|
#define __cpp_lib_bind_front 201907L
|
|
|
|
|
#define __cpp_lib_constexpr_algorithms 201806L
|
2019-12-10 17:15:59 +01:00
|
|
|
#define __cpp_lib_constexpr_complex 201711L
|
2019-11-05 16:56:57 +01:00
|
|
|
#define __cpp_lib_constexpr_dynamic_alloc 201907L
|
|
|
|
|
#define __cpp_lib_constexpr_invoke 201907L
|
2020-02-15 10:02:30 +01:00
|
|
|
#define __cpp_lib_erase_if 202002L
|
2019-11-05 16:56:57 +01:00
|
|
|
#define __cpp_lib_interpolate 201902L
|
2019-11-16 00:44:47 +01:00
|
|
|
#ifdef _GLIBCXX_HAS_GTHREADS
|
|
|
|
|
# define __cpp_lib_jthread 201907L
|
|
|
|
|
#endif
|
2018-07-20 13:24:38 +02:00
|
|
|
#define __cpp_lib_list_remove_return_type 201806L
|
2019-07-31 18:40:39 +02:00
|
|
|
#define __cpp_lib_math_constants 201907L
|
2019-09-05 15:48:33 +02:00
|
|
|
#define __cpp_lib_span 201902L
|
2020-01-06 13:06:41 +01:00
|
|
|
#if __cpp_impl_three_way_comparison >= 201907L && __cpp_lib_concepts
|
Implement C++20 operator<=>.
There are three major pieces to this support: scalar operator<=>,
synthesis of comparison operators, and rewritten/reversed overload
resolution (e.g. a < b becomes 0 > b <=> a).
Unlike other defaulted functions, where we use synthesized_method_walk to
semi-simulate what the definition of the function will be like, this patch
determines the characteristics of a comparison operator by trying to define
it.
My handling of non-dependent rewritten operators in templates can still use
some work: build_min_non_dep_op_overload can't understand the rewrites and
crashes, so I'm avoiding it for now by clearing *overload. This means we'll
do name lookup again at instantiation time, which can incorrectly mean a
different result. I'll poke at this more in stage 3.
I'm leaving out a fourth section ("strong structural equality") even though
I've implemented it, because it seems likely to change radically tomorrow.
Thanks to Tim van Deurzen and Jakub for implementing lexing of the <=>
operator, and Jonathan for the initial <compare> header.
gcc/cp/
* cp-tree.h (struct lang_decl_fn): Add maybe_deleted bitfield.
(DECL_MAYBE_DELETED): New.
(enum special_function_kind): Add sfk_comparison.
(LOOKUP_REWRITTEN, LOOKUP_REVERSED): New.
* call.c (struct z_candidate): Add rewritten and reversed methods.
(add_builtin_candidate): Handle SPACESHIP_EXPR.
(add_builtin_candidates): Likewise.
(add_candidates): Don't add a reversed candidate if the parms are
the same.
(add_operator_candidates): Split out from build_new_op_1. Handle
rewritten and reversed candidates.
(add_candidate): Swap conversions of reversed candidate.
(build_new_op_1): Swap them back. Build a second operation for
rewritten candidates.
(extract_call_expr): Handle rewritten calls.
(same_fn_or_template): New.
(joust): Handle rewritten and reversed candidates.
* class.c (add_implicitly_declared_members): Add implicit op==.
(classtype_has_op, classtype_has_defaulted_op): New.
* constexpr.c (cxx_eval_binary_expression): Handle SPACESHIP_EXPR.
(cxx_eval_constant_expression, potential_constant_expression_1):
Likewise.
* cp-gimplify.c (genericize_spaceship): New.
(cp_genericize_r): Use it.
* cp-objcp-common.c (cp_common_init_ts): Handle SPACESHIP_EXPR.
* decl.c (finish_function): Handle deleted function.
* decl2.c (grokfield): SET_DECL_FRIEND_CONTEXT on defaulted friend.
(mark_used): Check DECL_MAYBE_DELETED. Remove assumption that
defaulted functions are non-static members.
* error.c (dump_expr): Handle SPACESHIP_EXPR.
* method.c (type_has_trivial_fn): False for sfk_comparison.
(enum comp_cat_tag, struct comp_cat_info_t): New types.
(comp_cat_cache): New array variable.
(lookup_comparison_result, lookup_comparison_category)
(is_cat, cat_tag_for, spaceship_comp_cat)
(spaceship_type, genericize_spaceship)
(common_comparison_type, early_check_defaulted_comparison)
(comp_info, build_comparison_op): New.
(synthesize_method): Handle sfk_comparison. Handle deleted.
(get_defaulted_eh_spec, maybe_explain_implicit_delete)
(explain_implicit_non_constexpr, implicitly_declare_fn)
(defaulted_late_check, defaultable_fn_check): Handle sfk_comparison.
* name-lookup.c (get_std_name_hint): Add comparison categories.
* tree.c (special_function_p): Add sfk_comparison.
* typeck.c (cp_build_binary_op): Handle SPACESHIP_EXPR.
2019-11-05 Tim van Deurzen <tim@kompiler.org>
Add new tree code for the spaceship operator.
gcc/cp/
* cp-tree.def: Add new tree code.
* operators.def: New binary operator.
* parser.c: Add new token and tree code.
libcpp/
* cpplib.h: Add spaceship operator for C++.
* lex.c: Implement conditional lexing of spaceship operator for C++20.
2019-11-05 Jonathan Wakely <jwakely@redhat.com>
libstdc++-v3/
* libsupc++/compare: New header.
* libsupc++/Makefile.am (std_HEADERS): Add compare.
* include/std/version: Define __cpp_lib_three_way_comparison.
* include/std/functional: #include <compare>.
From-SVN: r277865
2019-11-06 00:56:18 +01:00
|
|
|
# define __cpp_lib_three_way_comparison 201711L
|
|
|
|
|
#endif
|
2019-08-08 12:18:53 +02:00
|
|
|
#define __cpp_lib_to_array 201907L
|
2019-11-05 16:56:57 +01:00
|
|
|
#endif
|
2018-06-18 18:42:11 +02:00
|
|
|
#endif // C++2a
|
|
|
|
|
#endif // C++17
|
|
|
|
|
#endif // C++14
|
|
|
|
|
#endif // C++11
|
|
|
|
|
|
|
|
|
|
#endif // _GLIBCXX_VERSION_INCLUDED
|