From ce0283d80d5f30015e0a5916e54786cd887d7fe2 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Fri, 20 Nov 2020 09:35:57 +0100 Subject: [PATCH] Cmake: checked whether the stack-check issue still persists with current AppleClang v12.0.0 --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index edf9fa3e3..1b3bee076 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -201,7 +201,7 @@ elseif ("${CMAKE_CXX_COMPILER_ID}" STREQUAL "AppleClang") message(WARNING "Disabling stack checks for AppleClang version 11.0.0 or higher.") # Stack checks are known to produce errors with the following Clang versions: # 11.0.0: Runtime errors (stack_not_16_byte_aligned_error) when invoking storm in release mode - # 11.0.3: Catching exceptions thrown within PRISM parser does not work (The exception just falls through) + # 11.0.3 and 12.0.0: Catching exceptions thrown within PRISM parser does not work (The exception just falls through) set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE} -fno-stack-check") endif()