cmake HAS_LTO examples

Z3Prover/z3 cmake/compiler_lto.cmake :32 

CHECK_CXX_COMPILER_FLAG("${_lto_compiler_flag}" HAS_LTO)