[igt-dev] [PATCH i-g-t 01/21] lib: Introduce igt_assume()

Petri Latvala
2019-01-16T11:21:04Z

igt_assume() is an assert-like macro that is used to give hints to
static analysis of code. If static analysis is not used (as detected
by STATIC_ANALYSIS_BUILD), igt_assume() expands to a no-op statement,
otherwise expands to an assert().

Signed-off-by: Petri Latvala <petri.latvala@intel.com>
Cc: Arkadiusz Hiler <arkadiusz.hiler@intel.com>
Cc: Chris Wilson <chris@chris-wilson.co.uk>
Cc: Michał Winiarski <michal.winiarski@intel.com>
---
lib/igt_core.h | 15 +++++++++++++++
1 file changed, 15 insertions(+)

diff --git a/lib/igt_core.h b/lib/igt_core.h
index 6f8c3852..82ec7973 100644
--- a/lib/igt_core.h
+++ b/lib/igt_core.h
@@ -30,6 +30,7 @@
#ifndef IGT_CORE_H
#define IGT_CORE_H

+#include <assert.h>
#include <setjmp.h>
#include <stdbool.h>
#include <stdint.h>
@@ -54,6 +55,20 @@
#endif
#endif

+/**
+ * igt_assume:
+ * @expr: Condition to test
+ *
+ * An assert-like macro to be used for tautologies to give hints to
+ * static analysis of code. No-op if STATIC_ANALYSIS_BUILD is not
+ * defined, expands to an assert() if it is.
+ */
+#if STATIC_ANALYSIS_BUILD
+#define igt_assume(e) assert(e)
+#else
+#define igt_assume(e) do {} while(0)
+#endif
+
extern const char* __igt_test_description __attribute__((weak));
extern bool __igt_plain_output;
extern char *igt_frame_dump_path;
--
2.19.1