10 #ifndef CPROVER_UTIL_OPTIONAL_H 11 #define CPROVER_UTIL_OPTIONAL_H 14 #pragma clang diagnostic push ignore "-Wall" 15 #pragma clang diagnostic push ignore "-Wpedantic" 16 #elif defined __GNUC__ 17 #pragma GCC diagnostic push ignore "-Wall" 18 #pragma GCC diagnostic push ignore "-Wpedantic" 19 #elif defined _MSC_VER 22 #include <nonstd/optional.hpp> 24 #pragma clang diagnostic pop 25 #pragma clang diagnostic pop 26 #elif defined __GNUC__ 27 #pragma GCC diagnostic pop 28 #pragma GCC diagnostic pop 29 #elif defined _MSC_VER 39 #endif // CPROVER_UTIL_OPTIONAL_H nonstd::optional< T > optionalt
nonstd::bad_optional_access bad_optional_accesst