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;
41 #endif // CPROVER_UTIL_OPTIONAL_H