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 using nonstd::nullopt;
T & get_value_or_abort(optionalt< T > &opt)
Similar to optionalt::value but in case of empty optional, generates an invariant failure instead of ...
nonstd::bad_optional_access bad_optional_accesst
nonstd::optional< T > optionalt
#define PRECONDITION(CONDITION)