diff options
author | Matt Turner <mattst88@gmail.com> | 2014-09-30 16:24:39 -0700 |
---|---|---|
committer | Matt Turner <mattst88@gmail.com> | 2014-10-23 16:20:07 -0700 |
commit | 2695891088d5b910edd9ec4d3ad81f0e3469205c (patch) | |
tree | a22f1620f273283aa39cff284d601c479598cd8b /src/util | |
parent | bbe93161e7781c303de7d83bc601601f675b56f9 (diff) |
util: Add assume() macro.
Reviewed-by: Ian Romanick <ian.d.romanick@intel.com>
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/macros.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/util/macros.h b/src/util/macros.h index 40ebf02da84..ff37a7d63e6 100644 --- a/src/util/macros.h +++ b/src/util/macros.h @@ -75,6 +75,20 @@ do { \ #define unreachable(str) #endif +/** + * Assume macro. Useful for expressing our assumptions to the compiler, + * typically for purposes of silencing warnings. + */ +#ifdef HAVE___BUILTIN_UNREACHABLE +#define assume(expr) ((expr) ? ((void) 0) \ + : (assert(!"assumption failed"), \ + __builtin_unreachable())) +#elif _MSC_VER >= 1200 +#define assume(expr) __assume(expr) +#else +#define assume(expr) assert(expr) +#endif + #ifdef HAVE_FUNC_ATTRIBUTE_FLATTEN #define FLATTEN __attribute__((__flatten__)) #else |