This is an archive of the discontinued LLVM Phabricator instance.

Differential D154747

Revert "[libc++] Remove the type_traits includes from limits and new"
ClosedPublic

Authored by iana on Jul 7 2023, 2:15 PM.

Details

Reviewers
ldionne
Mordante
philnik
Bigcheese
Group Reviewers
Restricted Project
Commits
rG6c47654efd36: Revert "[libc++] Remove the type_traits includes from limits and new"
Summary

type_traits doesn't need to include __type_traits/noexcept_move_assign_container.h, so there is no include cycle from <limits> or <new>. Restore their includes of type_traits to preserve compatibility.

This reverts commit 2af6d79c7e38675a184280a2d6a92550702581f7.

Diff Detail

Event Timeline

iana created this revision.Jul 7 2023, 2:15 PM
Herald added a project: Restricted Project. · View Herald TranscriptJul 7 2023, 2:15 PM
Herald added a subscriber: ributzka. · View Herald Transcript
iana requested review of this revision.Jul 7 2023, 2:15 PM
Herald added a project: Restricted Project. · View Herald TranscriptJul 7 2023, 2:15 PM
Herald added a reviewer: Restricted Project. · View Herald Transcript
Herald added a subscriber: libcxx-commits. · View Herald Transcript
iana added a parent revision: D153216: [libc++][Modules] Add missing __fwd includes.Jul 7 2023, 2:16 PM
iana added a child revision: D144322: [libc++][Modules] Make top level modules for all C++ headers with OS/clang versions.
ldionne accepted this revision.Jul 7 2023, 2:18 PM

LGTM if CI passes. This will make LLVM 17 less breaking for users.

This revision is now accepted and ready to land.Jul 7 2023, 2:18 PM
iana edited the summary of this revision. (Show Details)Jul 7 2023, 2:52 PM
Harbormaster completed remote builds in B243860: Diff 538266.Jul 7 2023, 4:25 PM
Closed by commit rG6c47654efd36: Revert "[libc++] Remove the type_traits includes from limits and new" (authored by iana). · Explain WhyJul 7 2023, 5:53 PM
This revision was automatically updated to reflect the committed changes.
iana added a commit: rG6c47654efd36: Revert "[libc++] Remove the type_traits includes from limits and new".
iana removed a child revision: D144322: [libc++][Modules] Make top level modules for all C++ headers with OS/clang versions.Jul 12 2023, 1:55 PM
iana added a child revision: D155116: [libc++][Modules] Restore the <string> include to <__format/format_functions.h>.

Revision Contents

PathSize
libcxx/
docs/
4 lines
include/
4 lines
5 lines
test/
libcxx/
transitive_includes/
6 lines
6 lines
6 lines
6 lines
6 lines

Diff 538306

libcxx/docs/ReleaseNotes.rst

Show First 20 Lines • Show All 89 Lines • ▼ Show 20 Lines- Several incidental transitive includes have been removed from libc++. Those
includes are removed based on the language version used. Incidental transitive includes are removed based on the language version used. Incidental transitive
inclusions of the following headers have been removed: inclusions of the following headers have been removed:
- C++23: ``atomic``, ``bit``, ``cstdint``, ``cstdlib``, ``cstring``, ``initializer_list``, ``limits``, ``new``, - C++23: ``atomic``, ``bit``, ``cstdint``, ``cstdlib``, ``cstring``, ``initializer_list``, ``limits``, ``new``,
``stdexcept``, ``system_error``, ``type_traits``, ``typeinfo`` ``stdexcept``, ``system_error``, ``type_traits``, ``typeinfo``
- ``<algorithm>`` no longer includes ``<chrono>`` in any C++ version (it was previously included in C++17 and earlier). - ``<algorithm>`` no longer includes ``<chrono>`` in any C++ version (it was previously included in C++17 and earlier).
- ``<limits>`` no longer includes ``<type_traits>`` in any C++ version (it was previously included in C++20 and earlier).
- ``<new>`` no longer includes ``<exception>`` or ``<type_traits>`` in any C++ version (they were previously included in C++20 and earlier).
- ``<string>`` no longer includes ``<vector>`` in any C++ version (it was previously included in C++20 and earlier). - ``<string>`` no longer includes ``<vector>`` in any C++ version (it was previously included in C++20 and earlier).
- ``<string>``, ``<string_view>``, and ``<mutex>`` no longer include ``<functional>`` - ``<string>``, ``<string_view>``, and ``<mutex>`` no longer include ``<functional>``
in any C++ version (it was previously included in C++20 and earlier). in any C++ version (it was previously included in C++20 and earlier).
- The headers ``<experimental/algorithm>`` and ``<experimental/functional>`` have been removed, since all the contents - The headers ``<experimental/algorithm>`` and ``<experimental/functional>`` have been removed, since all the contents
have been implemented in namespace ``std`` for at least two releases. have been implemented in namespace ``std`` for at least two releases.
▲ Show 20 Lines • Show All 82 Lines • Show Last 20 Lines

libcxx/include/limits

Show First 20 Lines • Show All 817 Lines • ▼ Show 20 Linestemplate <class _Tp>
_LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::tinyness_before; _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::tinyness_before;
template <class _Tp> template <class _Tp>
_LIBCPP_CONSTEXPR const float_round_style numeric_limits<const volatile _Tp>::round_style; _LIBCPP_CONSTEXPR const float_round_style numeric_limits<const volatile _Tp>::round_style;
_LIBCPP_END_NAMESPACE_STD _LIBCPP_END_NAMESPACE_STD
_LIBCPP_POP_MACROS _LIBCPP_POP_MACROS
#if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
# include <type_traits>
#endif
#endif // _LIBCPP_LIMITS #endif // _LIBCPP_LIMITS

libcxx/include/new

Show First 20 Lines • Show All 359 Lines • ▼ Show 20 Lines
inline constexpr size_t hardware_constructive_interference_size = __GCC_CONSTRUCTIVE_SIZE; inline constexpr size_t hardware_constructive_interference_size = __GCC_CONSTRUCTIVE_SIZE;
#endif // defined(__GCC_DESTRUCTIVE_SIZE) && defined(__GCC_CONSTRUCTIVE_SIZE) #endif // defined(__GCC_DESTRUCTIVE_SIZE) && defined(__GCC_CONSTRUCTIVE_SIZE)
#endif // _LIBCPP_STD_VER >= 17 #endif // _LIBCPP_STD_VER >= 17
_LIBCPP_END_NAMESPACE_STD _LIBCPP_END_NAMESPACE_STD
#if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
# include <exception>
# include <type_traits>
#endif
#endif // _LIBCPP_NEW #endif // _LIBCPP_NEW

libcxx/test/libcxx/transitive_includes/cxx03.csv

Show First 20 Lines • Show All 452 Lines • ▼ Show 20 Lines
latch cstdint latch cstdint
latch cstring latch cstring
latch ctime latch ctime
latch iosfwd latch iosfwd
latch limits latch limits
latch ratio latch ratio
latch type_traits latch type_traits
latch version latch version
limits type_traits
limits version limits version
list algorithm list algorithm
list atomic list atomic
list compare list compare
list concepts list concepts
list cstddef list cstddef
list cstdint list cstdint
list cstdlib list cstdlib
▲ Show 20 Lines • Show All 99 Lines • ▼ Show 20 Lines
mutex stdexcept mutex stdexcept
mutex string mutex string
mutex system_error mutex system_error
mutex type_traits mutex type_traits
mutex typeinfo mutex typeinfo
mutex version mutex version
new cstddef new cstddef
new cstdlib new cstdlib
new exception
new type_traits
new version new version
numbers concepts numbers concepts
numbers type_traits numbers type_traits
numbers version numbers version
numeric climits numeric climits
numeric cmath numeric cmath
numeric concepts numeric concepts
numeric cstddef numeric cstddef
▲ Show 20 Lines • Show All 50 Lines • ▼ Show 20 Lines
ostream streambuf ostream streambuf
ostream string ostream string
ostream type_traits ostream type_traits
ostream typeinfo ostream typeinfo
ostream version ostream version
queue compare queue compare
queue concepts queue concepts
queue cstddef queue cstddef
queue cstdint
queue cstdlib queue cstdlib
queue deque queue deque
queue functional queue functional
queue initializer_list queue initializer_list
queue limits queue limits
queue type_traits queue type_traits
queue vector queue vector
queue version queue version
▲ Show 20 Lines • Show All 120 Lines • ▼ Show 20 Lines
sstream istream sstream istream
sstream ostream sstream ostream
sstream string sstream string
sstream type_traits sstream type_traits
sstream version sstream version
stack compare stack compare
stack concepts stack concepts
stack cstddef stack cstddef
stack cstdint
stack deque stack deque
stack functional stack functional
stack initializer_list stack initializer_list
stack limits stack limits
stack type_traits stack type_traits
stack version stack version
stdexcept cstdlib stdexcept cstdlib
stdexcept exception stdexcept exception
▲ Show 20 Lines • Show All 146 Lines • ▼ Show 20 Lines
utility iosfwd utility iosfwd
utility limits utility limits
utility type_traits utility type_traits
utility version utility version
valarray algorithm valarray algorithm
valarray cmath valarray cmath
valarray concepts valarray concepts
valarray cstddef valarray cstddef
valarray cstdint
valarray cstdlib valarray cstdlib
valarray cstring valarray cstring
valarray functional valarray functional
valarray initializer_list valarray initializer_list
valarray limits valarray limits
valarray new valarray new
valarray stdexcept valarray stdexcept
valarray type_traits valarray type_traits
Show All 39 Lines

libcxx/test/libcxx/transitive_includes/cxx11.csv

Show First 20 Lines • Show All 452 Lines • ▼ Show 20 Lines
latch cstdint latch cstdint
latch cstring latch cstring
latch ctime latch ctime
latch iosfwd latch iosfwd
latch limits latch limits
latch ratio latch ratio
latch type_traits latch type_traits
latch version latch version
limits type_traits
limits version limits version
list algorithm list algorithm
list atomic list atomic
list compare list compare
list concepts list concepts
list cstddef list cstddef
list cstdint list cstdint
list cstdlib list cstdlib
▲ Show 20 Lines • Show All 100 Lines • ▼ Show 20 Lines
mutex string mutex string
mutex system_error mutex system_error
mutex tuple mutex tuple
mutex type_traits mutex type_traits
mutex typeinfo mutex typeinfo
mutex version mutex version
new cstddef new cstddef
new cstdlib new cstdlib
new exception
new type_traits
new version new version
numbers concepts numbers concepts
numbers type_traits numbers type_traits
numbers version numbers version
numeric climits numeric climits
numeric cmath numeric cmath
numeric concepts numeric concepts
numeric cstddef numeric cstddef
▲ Show 20 Lines • Show All 50 Lines • ▼ Show 20 Lines
ostream streambuf ostream streambuf
ostream string ostream string
ostream type_traits ostream type_traits
ostream typeinfo ostream typeinfo
ostream version ostream version
queue compare queue compare
queue concepts queue concepts
queue cstddef queue cstddef
queue cstdint
queue cstdlib queue cstdlib
queue deque queue deque
queue functional queue functional
queue initializer_list queue initializer_list
queue limits queue limits
queue type_traits queue type_traits
queue vector queue vector
queue version queue version
▲ Show 20 Lines • Show All 120 Lines • ▼ Show 20 Lines
sstream istream sstream istream
sstream ostream sstream ostream
sstream string sstream string
sstream type_traits sstream type_traits
sstream version sstream version
stack compare stack compare
stack concepts stack concepts
stack cstddef stack cstddef
stack cstdint
stack deque stack deque
stack functional stack functional
stack initializer_list stack initializer_list
stack limits stack limits
stack type_traits stack type_traits
stack version stack version
stdexcept cstdlib stdexcept cstdlib
stdexcept exception stdexcept exception
▲ Show 20 Lines • Show All 146 Lines • ▼ Show 20 Lines
utility iosfwd utility iosfwd
utility limits utility limits
utility type_traits utility type_traits
utility version utility version
valarray algorithm valarray algorithm
valarray cmath valarray cmath
valarray concepts valarray concepts
valarray cstddef valarray cstddef
valarray cstdint
valarray cstdlib valarray cstdlib
valarray cstring valarray cstring
valarray functional valarray functional
valarray initializer_list valarray initializer_list
valarray limits valarray limits
valarray new valarray new
valarray stdexcept valarray stdexcept
valarray type_traits valarray type_traits
Show All 39 Lines

libcxx/test/libcxx/transitive_includes/cxx14.csv

Show First 20 Lines • Show All 454 Lines • ▼ Show 20 Lines
latch cstdint latch cstdint
latch cstring latch cstring
latch ctime latch ctime
latch iosfwd latch iosfwd
latch limits latch limits
latch ratio latch ratio
latch type_traits latch type_traits
latch version latch version
limits type_traits
limits version limits version
list algorithm list algorithm
list atomic list atomic
list compare list compare
list concepts list concepts
list cstddef list cstddef
list cstdint list cstdint
list cstdlib list cstdlib
▲ Show 20 Lines • Show All 100 Lines • ▼ Show 20 Lines
mutex string mutex string
mutex system_error mutex system_error
mutex tuple mutex tuple
mutex type_traits mutex type_traits
mutex typeinfo mutex typeinfo
mutex version mutex version
new cstddef new cstddef
new cstdlib new cstdlib
new exception
new type_traits
new version new version
numbers concepts numbers concepts
numbers type_traits numbers type_traits
numbers version numbers version
numeric climits numeric climits
numeric cmath numeric cmath
numeric concepts numeric concepts
numeric cstddef numeric cstddef
▲ Show 20 Lines • Show All 50 Lines • ▼ Show 20 Lines
ostream streambuf ostream streambuf
ostream string ostream string
ostream type_traits ostream type_traits
ostream typeinfo ostream typeinfo
ostream version ostream version
queue compare queue compare
queue concepts queue concepts
queue cstddef queue cstddef
queue cstdint
queue cstdlib queue cstdlib
queue deque queue deque
queue functional queue functional
queue initializer_list queue initializer_list
queue limits queue limits
queue type_traits queue type_traits
queue vector queue vector
queue version queue version
▲ Show 20 Lines • Show All 120 Lines • ▼ Show 20 Lines
sstream istream sstream istream
sstream ostream sstream ostream
sstream string sstream string
sstream type_traits sstream type_traits
sstream version sstream version
stack compare stack compare
stack concepts stack concepts
stack cstddef stack cstddef
stack cstdint
stack deque stack deque
stack functional stack functional
stack initializer_list stack initializer_list
stack limits stack limits
stack type_traits stack type_traits
stack version stack version
stdexcept cstdlib stdexcept cstdlib
stdexcept exception stdexcept exception
▲ Show 20 Lines • Show All 146 Lines • ▼ Show 20 Lines
utility iosfwd utility iosfwd
utility limits utility limits
utility type_traits utility type_traits
utility version utility version
valarray algorithm valarray algorithm
valarray cmath valarray cmath
valarray concepts valarray concepts
valarray cstddef valarray cstddef
valarray cstdint
valarray cstdlib valarray cstdlib
valarray cstring valarray cstring
valarray functional valarray functional
valarray initializer_list valarray initializer_list
valarray limits valarray limits
valarray new valarray new
valarray stdexcept valarray stdexcept
valarray type_traits valarray type_traits
Show All 39 Lines

libcxx/test/libcxx/transitive_includes/cxx17.csv

Show First 20 Lines • Show All 454 Lines • ▼ Show 20 Lines
latch cstdint latch cstdint
latch cstring latch cstring
latch ctime latch ctime
latch iosfwd latch iosfwd
latch limits latch limits
latch ratio latch ratio
latch type_traits latch type_traits
latch version latch version
limits type_traits
limits version limits version
list algorithm list algorithm
list atomic list atomic
list compare list compare
list concepts list concepts
list cstddef list cstddef
list cstdint list cstdint
list cstdlib list cstdlib
▲ Show 20 Lines • Show All 100 Lines • ▼ Show 20 Lines
mutex string mutex string
mutex system_error mutex system_error
mutex tuple mutex tuple
mutex type_traits mutex type_traits
mutex typeinfo mutex typeinfo
mutex version mutex version
new cstddef new cstddef
new cstdlib new cstdlib
new exception
new type_traits
new version new version
numbers concepts numbers concepts
numbers type_traits numbers type_traits
numbers version numbers version
numeric climits numeric climits
numeric cmath numeric cmath
numeric concepts numeric concepts
numeric cstddef numeric cstddef
▲ Show 20 Lines • Show All 50 Lines • ▼ Show 20 Lines
ostream streambuf ostream streambuf
ostream string ostream string
ostream type_traits ostream type_traits
ostream typeinfo ostream typeinfo
ostream version ostream version
queue compare queue compare
queue concepts queue concepts
queue cstddef queue cstddef
queue cstdint
queue cstdlib queue cstdlib
queue deque queue deque
queue functional queue functional
queue initializer_list queue initializer_list
queue limits queue limits
queue type_traits queue type_traits
queue vector queue vector
queue version queue version
▲ Show 20 Lines • Show All 120 Lines • ▼ Show 20 Lines
sstream istream sstream istream
sstream ostream sstream ostream
sstream string sstream string
sstream type_traits sstream type_traits
sstream version sstream version
stack compare stack compare
stack concepts stack concepts
stack cstddef stack cstddef
stack cstdint
stack deque stack deque
stack functional stack functional
stack initializer_list stack initializer_list
stack limits stack limits
stack type_traits stack type_traits
stack version stack version
stdexcept cstdlib stdexcept cstdlib
stdexcept exception stdexcept exception
▲ Show 20 Lines • Show All 146 Lines • ▼ Show 20 Lines
utility iosfwd utility iosfwd
utility limits utility limits
utility type_traits utility type_traits
utility version utility version
valarray algorithm valarray algorithm
valarray cmath valarray cmath
valarray concepts valarray concepts
valarray cstddef valarray cstddef
valarray cstdint
valarray cstdlib valarray cstdlib
valarray cstring valarray cstring
valarray functional valarray functional
valarray initializer_list valarray initializer_list
valarray limits valarray limits
valarray new valarray new
valarray stdexcept valarray stdexcept
valarray type_traits valarray type_traits
Show All 39 Lines

libcxx/test/libcxx/transitive_includes/cxx20.csv

Show First 20 Lines • Show All 460 Lines • ▼ Show 20 Lines
latch cstdint latch cstdint
latch cstring latch cstring
latch ctime latch ctime
latch iosfwd latch iosfwd
latch limits latch limits
latch ratio latch ratio
latch type_traits latch type_traits
latch version latch version
limits type_traits
limits version limits version
list algorithm list algorithm
list atomic list atomic
list compare list compare
list concepts list concepts
list cstddef list cstddef
list cstdint list cstdint
list cstdlib list cstdlib
▲ Show 20 Lines • Show All 100 Lines • ▼ Show 20 Lines
mutex string mutex string
mutex system_error mutex system_error
mutex tuple mutex tuple
mutex type_traits mutex type_traits
mutex typeinfo mutex typeinfo
mutex version mutex version
new cstddef new cstddef
new cstdlib new cstdlib
new exception
new type_traits
new version new version
numbers concepts numbers concepts
numbers type_traits numbers type_traits
numbers version numbers version
numeric climits numeric climits
numeric cmath numeric cmath
numeric concepts numeric concepts
numeric cstddef numeric cstddef
▲ Show 20 Lines • Show All 50 Lines • ▼ Show 20 Lines
ostream streambuf ostream streambuf
ostream string ostream string
ostream type_traits ostream type_traits
ostream typeinfo ostream typeinfo
ostream version ostream version
queue compare queue compare
queue concepts queue concepts
queue cstddef queue cstddef
queue cstdint
queue cstdlib queue cstdlib
queue deque queue deque
queue functional queue functional
queue initializer_list queue initializer_list
queue limits queue limits
queue type_traits queue type_traits
queue vector queue vector
queue version queue version
▲ Show 20 Lines • Show All 120 Lines • ▼ Show 20 Lines
sstream istream sstream istream
sstream ostream sstream ostream
sstream string sstream string
sstream type_traits sstream type_traits
sstream version sstream version
stack compare stack compare
stack concepts stack concepts
stack cstddef stack cstddef
stack cstdint
stack deque stack deque
stack functional stack functional
stack initializer_list stack initializer_list
stack limits stack limits
stack type_traits stack type_traits
stack version stack version
stdexcept cstdlib stdexcept cstdlib
stdexcept exception stdexcept exception
▲ Show 20 Lines • Show All 145 Lines • ▼ Show 20 Lines
utility iosfwd utility iosfwd
utility limits utility limits
utility type_traits utility type_traits
utility version utility version
valarray algorithm valarray algorithm
valarray cmath valarray cmath
valarray concepts valarray concepts
valarray cstddef valarray cstddef
valarray cstdint
valarray cstdlib valarray cstdlib
valarray cstring valarray cstring
valarray functional valarray functional
valarray initializer_list valarray initializer_list
valarray limits valarray limits
valarray new valarray new
valarray stdexcept valarray stdexcept
valarray type_traits valarray type_traits
Show All 39 Lines