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