Z3Prover/z3
cmake/compiler_lto.cmake
:32
CHECK_CXX_COMPILER_FLAG("${_lto_compiler_flag}" HAS_LTO)
CHECK_CXX_COMPILER_FLAG("${_lto_compiler_flag}" HAS_LTO)
check_ipo_supported(RESULT HAS_LTO)