From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Sun, 20 May 2018 23:49:02 +0000 (+0200)
Subject: Restrict C++17 check
X-Git-Tag: v9.1.0-rc1~1116^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5916ac62dfc7424d4e3041fb59d3476029f72f01;p=dealii.git

Restrict C++17 check
---

diff --git a/cmake/checks/check_01_cxx_features.cmake b/cmake/checks/check_01_cxx_features.cmake
index 6c4b973381..d46f34baf6 100644
--- a/cmake/checks/check_01_cxx_features.cmake
+++ b/cmake/checks/check_01_cxx_features.cmake
@@ -176,11 +176,42 @@ IF(NOT DEFINED DEAL_II_WITH_CXX17 OR DEAL_II_WITH_CXX17)
       "
       DEAL_II_HAVE_CXX17_IF_CONSTEXPR)
 
+    #
+    # Some compilers treat lambdas as constexpr functions when compiling
+    # with C++17 support even if they don't fulfill all the constexpr
+    # function requirements. Consequently, these compilers don't allow
+    # try-blocks or non-literal return types in lambdas. This is a bug.
+    #
+    CHECK_CXX_SOURCE_COMPILES(
+      "
+      #include <string>
+
+      int main()
+      {
+        auto c = []()
+        {
+          return std::string{};
+        }();
+        (void) c;
+
+        return []()
+        {
+          try
+          {}
+          catch(...)
+          {}
+          return 0;
+        }();
+      }
+      "
+      DEAL_II_NON_CONSTEXPR_LAMBDA)
+
     RESET_CMAKE_REQUIRED()
   ENDIF()
 
   IF( DEAL_II_HAVE_CXX17_ATTRIBUTES AND
-      DEAL_II_HAVE_CXX17_IF_CONSTEXPR)
+      DEAL_II_HAVE_CXX17_IF_CONSTEXPR AND
+      DEAL_II_NON_CONSTEXPR_LAMBDA)
     SET(DEAL_II_HAVE_CXX17 TRUE)
   ELSE()
     IF(NOT _user_provided_cxx_version_flag)