[2/2] c++: xtreme-header modules tests cleanups

Message ID 20220920195431.1527042-2-ppalka@redhat.com
State New, archived
Headers
Series [1/2] c++: modules and non-dependent auto deduction |

Commit Message

Patrick Palka Sept. 20, 2022, 7:54 p.m. UTC
  This adds some recently implemented C++20/23 library headers to the
xtreme-header tests as appropriate.  Also, it looks like we can safely
re-add <execution> and remove the NO_ASSOCIATED_LAMBDA workaround.

Tested on x86_64-pc-linux-gnu, does this look OK for trunk?

gcc/testsuite/ChangeLog:

	* g++.dg/modules/xtreme-header-2.h: Include <execution>.
	* g++.dg/modules/xtreme-header-6.h: Include <barrier>, <latch>,
	<semaphore>, <source_location> and <syncstream>.
	* g++.dg/modules/xtreme-header.h: Likewise.  Remove
	NO_ASSOCIATED_LAMBDA workaround.  Include implemented C++23
	library headers.
---
 .../g++.dg/modules/xtreme-header-2.h          |  3 +-
 .../g++.dg/modules/xtreme-header-6.h          | 10 ++--
 gcc/testsuite/g++.dg/modules/xtreme-header.h  | 60 +++++++------------
 3 files changed, 29 insertions(+), 44 deletions(-)
  

Comments

Nathan Sidwell Sept. 20, 2022, 8:02 p.m. UTC | #1
On 9/20/22 15:54, Patrick Palka wrote:
> This adds some recently implemented C++20/23 library headers to the
> xtreme-header tests as appropriate.  Also, it looks like we can safely
> re-add <execution> and remove the NO_ASSOCIATED_LAMBDA workaround.
> 
> Tested on x86_64-pc-linux-gnu, does this look OK for trunk?

cool, more bits working.  thanks!

> 
> gcc/testsuite/ChangeLog:
> 
> 	* g++.dg/modules/xtreme-header-2.h: Include <execution>.
> 	* g++.dg/modules/xtreme-header-6.h: Include <barrier>, <latch>,
> 	<semaphore>, <source_location> and <syncstream>.
> 	* g++.dg/modules/xtreme-header.h: Likewise.  Remove
> 	NO_ASSOCIATED_LAMBDA workaround.  Include implemented C++23
> 	library headers.
> ---
>   .../g++.dg/modules/xtreme-header-2.h          |  3 +-
>   .../g++.dg/modules/xtreme-header-6.h          | 10 ++--
>   gcc/testsuite/g++.dg/modules/xtreme-header.h  | 60 +++++++------------
>   3 files changed, 29 insertions(+), 44 deletions(-)
> 
> diff --git a/gcc/testsuite/g++.dg/modules/xtreme-header-2.h b/gcc/testsuite/g++.dg/modules/xtreme-header-2.h
> index ded093e533c..dfe94aa6988 100644
> --- a/gcc/testsuite/g++.dg/modules/xtreme-header-2.h
> +++ b/gcc/testsuite/g++.dg/modules/xtreme-header-2.h
> @@ -1,8 +1,7 @@
>   // Everything that transitively includes <ranges>
>   
>   #include <algorithm>
> -// FIXME: PR 97549
> -// #include <execution>
> +#include <execution>
>   #include <functional>
>   #include <future>
>   #include <memory>
> diff --git a/gcc/testsuite/g++.dg/modules/xtreme-header-6.h b/gcc/testsuite/g++.dg/modules/xtreme-header-6.h
> index 85894b2b20a..8d024b69bac 100644
> --- a/gcc/testsuite/g++.dg/modules/xtreme-header-6.h
> +++ b/gcc/testsuite/g++.dg/modules/xtreme-header-6.h
> @@ -1,22 +1,22 @@
>   // C++20 headers
>   #if __cplusplus > 201703
>   #include <version>
> +#include <barrier>
>   #include <bit>
>   #include <compare>
>   #include <concepts>
>   #if __cpp_coroutines
>   #include <coroutine>
>   #endif
> +#include <latch>
>   #include <numbers>
> +#include <semaphore>
> +#include <source_location>
>   #include <span>
>   #include <stop_token>
> +#include <syncstream>
>   #if 0
>   // Unimplemented
> -#include <barrier>
>   #include <format>
> -#include <latch>
> -#include <semaphore>
> -#include <source_location>
> -#include <syncstream>
>   #endif
>   #endif
> diff --git a/gcc/testsuite/g++.dg/modules/xtreme-header.h b/gcc/testsuite/g++.dg/modules/xtreme-header.h
> index 41302c780b5..124e2f82277 100644
> --- a/gcc/testsuite/g++.dg/modules/xtreme-header.h
> +++ b/gcc/testsuite/g++.dg/modules/xtreme-header.h
> @@ -1,17 +1,8 @@
>   // All the headers!
>   
> -#if __cplusplus > 201703L
> -// FIXME: if we include everything, something goes wrong with location
> -// information.  We used to not handle lambdas attached to global
> -// vars, and this is a convienient flag to stop including everything.
> -#define NO_ASSOCIATED_LAMBDA 1
> -#endif
> -
>   // C++ 17 and below
>   #if 1
> -#if !NO_ASSOCIATED_LAMBDA
>   #include <algorithm>
> -#endif
>   #include <any>
>   #include <array>
>   #include <atomic>
> @@ -26,19 +17,12 @@
>   #include <cwctype>
>   #include <deque>
>   #include <exception>
> -#if !NO_ASSOCIATED_LAMBDA
> -// FIXME: PR 97549
> -//#include <execution>
> -#endif
> +#include <execution>
>   #include <filesystem>
>   #include <forward_list>
>   #include <fstream>
> -#if !NO_ASSOCIATED_LAMBDA
>   #include <functional>
> -#endif
> -#if !NO_ASSOCIATED_LAMBDA
>   #include <future>
> -#endif
>   #include <initializer_list>
>   #include <iomanip>
>   #include <ios>
> @@ -49,12 +33,8 @@
>   #include <list>
>   #include <locale>
>   #include <map>
> -#if !NO_ASSOCIATED_LAMBDA
>   #include <memory>
> -#endif
> -#if !NO_ASSOCIATED_LAMBDA
>   #include <memory_resource>
> -#endif
>   #include <mutex>
>   #include <new>
>   #include <numeric>
> @@ -63,12 +43,8 @@
>   #include <queue>
>   #include <random>
>   #include <ratio>
> -#if !NO_ASSOCIATED_LAMBDA
>   #include <regex>
> -#endif
> -#if !NO_ASSOCIATED_LAMBDA
>   #include <scoped_allocator>
> -#endif
>   #include <set>
>   #include <shared_mutex>
>   #include <sstream>
> @@ -78,9 +54,7 @@
>   #include <string>
>   #include <string_view>
>   #include <system_error>
> -#if !NO_ASSOCIATED_LAMBDA
>   #include <thread>
> -#endif
>   #include <tuple>
>   #include <type_traits>
>   #include <typeindex>
> @@ -88,9 +62,7 @@
>   #include <unordered_map>
>   #include <unordered_set>
>   #include <utility>
> -#if !NO_ASSOCIATED_LAMBDA
>   #include <valarray>
> -#endif
>   #include <variant>
>   #include <vector>
>   #endif
> @@ -119,26 +91,40 @@
>   #if __cplusplus > 201703
>   #if 1
>   #include <version>
> +#include <barrier>
>   #include <bit>
>   #include <compare>
>   #include <concepts>
>   #if __cpp_coroutines
>   #include <coroutine>
>   #endif
> -#if !NO_ASSOCIATED_LAMBDA
> -#include <ranges>
> -#endif
> +#include <latch>
>   #include <numbers>
> +#include <ranges>
> +#include <semaphore>
> +#include <source_location>
>   #include <span>
>   #include <stop_token>
> +#include <syncstream>
>   #if 0
>   // Unimplemented
> -#include <barrier>
>   #include <format>
> -#include <latch>
> -#include <semaphore>
> -#include <source_location>
> -#include <syncstream>
>   #endif
>   #endif
>   #endif
> +
> +// C++23
> +#if __cplusplus > 202002L
> +#include <expected>
> +#include <spanstream>
> +#include <stacktrace>
> +#if 0
> +// Unimplemented
> +#include <flat_map>
> +#include <flat_set>
> +#include <generator>
> +#include <mdspan>
> +#include <print>
> +#endif
> +#endif
> +
  

Patch

diff --git a/gcc/testsuite/g++.dg/modules/xtreme-header-2.h b/gcc/testsuite/g++.dg/modules/xtreme-header-2.h
index ded093e533c..dfe94aa6988 100644
--- a/gcc/testsuite/g++.dg/modules/xtreme-header-2.h
+++ b/gcc/testsuite/g++.dg/modules/xtreme-header-2.h
@@ -1,8 +1,7 @@ 
 // Everything that transitively includes <ranges>
 
 #include <algorithm>
-// FIXME: PR 97549
-// #include <execution>
+#include <execution>
 #include <functional>
 #include <future>
 #include <memory>
diff --git a/gcc/testsuite/g++.dg/modules/xtreme-header-6.h b/gcc/testsuite/g++.dg/modules/xtreme-header-6.h
index 85894b2b20a..8d024b69bac 100644
--- a/gcc/testsuite/g++.dg/modules/xtreme-header-6.h
+++ b/gcc/testsuite/g++.dg/modules/xtreme-header-6.h
@@ -1,22 +1,22 @@ 
 // C++20 headers
 #if __cplusplus > 201703
 #include <version>
+#include <barrier>
 #include <bit>
 #include <compare>
 #include <concepts>
 #if __cpp_coroutines
 #include <coroutine>
 #endif
+#include <latch>
 #include <numbers>
+#include <semaphore>
+#include <source_location>
 #include <span>
 #include <stop_token>
+#include <syncstream>
 #if 0
 // Unimplemented
-#include <barrier>
 #include <format>
-#include <latch>
-#include <semaphore>
-#include <source_location>
-#include <syncstream>
 #endif
 #endif
diff --git a/gcc/testsuite/g++.dg/modules/xtreme-header.h b/gcc/testsuite/g++.dg/modules/xtreme-header.h
index 41302c780b5..124e2f82277 100644
--- a/gcc/testsuite/g++.dg/modules/xtreme-header.h
+++ b/gcc/testsuite/g++.dg/modules/xtreme-header.h
@@ -1,17 +1,8 @@ 
 // All the headers!
 
-#if __cplusplus > 201703L
-// FIXME: if we include everything, something goes wrong with location
-// information.  We used to not handle lambdas attached to global
-// vars, and this is a convienient flag to stop including everything.
-#define NO_ASSOCIATED_LAMBDA 1
-#endif
-
 // C++ 17 and below
 #if 1
-#if !NO_ASSOCIATED_LAMBDA
 #include <algorithm>
-#endif
 #include <any>
 #include <array>
 #include <atomic>
@@ -26,19 +17,12 @@ 
 #include <cwctype>
 #include <deque>
 #include <exception>
-#if !NO_ASSOCIATED_LAMBDA
-// FIXME: PR 97549
-//#include <execution>
-#endif
+#include <execution>
 #include <filesystem>
 #include <forward_list>
 #include <fstream>
-#if !NO_ASSOCIATED_LAMBDA
 #include <functional>
-#endif
-#if !NO_ASSOCIATED_LAMBDA
 #include <future>
-#endif
 #include <initializer_list>
 #include <iomanip>
 #include <ios>
@@ -49,12 +33,8 @@ 
 #include <list>
 #include <locale>
 #include <map>
-#if !NO_ASSOCIATED_LAMBDA
 #include <memory>
-#endif
-#if !NO_ASSOCIATED_LAMBDA
 #include <memory_resource>
-#endif
 #include <mutex>
 #include <new>
 #include <numeric>
@@ -63,12 +43,8 @@ 
 #include <queue>
 #include <random>
 #include <ratio>
-#if !NO_ASSOCIATED_LAMBDA
 #include <regex>
-#endif
-#if !NO_ASSOCIATED_LAMBDA
 #include <scoped_allocator>
-#endif
 #include <set>
 #include <shared_mutex>
 #include <sstream>
@@ -78,9 +54,7 @@ 
 #include <string>
 #include <string_view>
 #include <system_error>
-#if !NO_ASSOCIATED_LAMBDA
 #include <thread>
-#endif
 #include <tuple>
 #include <type_traits>
 #include <typeindex>
@@ -88,9 +62,7 @@ 
 #include <unordered_map>
 #include <unordered_set>
 #include <utility>
-#if !NO_ASSOCIATED_LAMBDA
 #include <valarray>
-#endif
 #include <variant>
 #include <vector>
 #endif
@@ -119,26 +91,40 @@ 
 #if __cplusplus > 201703
 #if 1
 #include <version>
+#include <barrier>
 #include <bit>
 #include <compare>
 #include <concepts>
 #if __cpp_coroutines
 #include <coroutine>
 #endif
-#if !NO_ASSOCIATED_LAMBDA
-#include <ranges>
-#endif
+#include <latch>
 #include <numbers>
+#include <ranges>
+#include <semaphore>
+#include <source_location>
 #include <span>
 #include <stop_token>
+#include <syncstream>
 #if 0
 // Unimplemented
-#include <barrier>
 #include <format>
-#include <latch>
-#include <semaphore>
-#include <source_location>
-#include <syncstream>
 #endif
 #endif
 #endif
+
+// C++23
+#if __cplusplus > 202002L
+#include <expected>
+#include <spanstream>
+#include <stacktrace>
+#if 0
+// Unimplemented
+#include <flat_map>
+#include <flat_set>
+#include <generator>
+#include <mdspan>
+#include <print>
+#endif
+#endif
+