Go to the documentation of this file.
9 #ifndef CPROVER_UTIL_DEPRECATE_H
10 #define CPROVER_UTIL_DEPRECATE_H
12 #if __cplusplus >= 201402L
14 #define DEPRECATED(msg) [[deprecated(msg)]]
15 #elif defined(__GNUC__)
17 #define DEPRECATED(msg) __attribute__((deprecated(msg)))
18 #elif defined(_MSC_VER)
20 #define DEPRECATED(msg) __declspec(deprecated(msg))
23 #define DEPRECATED(msg)
26 #endif // CPROVER_UTIL_DEPRECATE_H