Loading...
Searching...
No Matches
Go to the documentation of this file.
9#ifndef CPROVER_UTIL_NODISCARD_H
10#define CPROVER_UTIL_NODISCARD_H
12#if __has_cpp_attribute(nodiscard)
14# pragma GCC diagnostic ignored "-Wc++1z-extensions"
17# define NODISCARD [[nodiscard]]
18#elif __has_cpp_attribute(gnu::warn_unused_result)
20# define NODISCARD [[gnu::warn_unused_result]]