summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorStanislaw Halik <sthalik@misaki.pl>2024-03-04 03:12:26 +0100
committerStanislaw Halik <sthalik@misaki.pl>2024-03-04 06:58:22 +0100
commit4b66c6d15caa594666776b297532e2e5cecd8bef (patch)
treefd97864817a75778b34cc7e6e41efddf4c7a3526
parent29d13c41b154f6f350f3fe8b60c498aaaffc9f89 (diff)
compat/prelude: workaround spurious error shown in CLion
-rw-r--r--compat/prelude.hpp5
1 files changed, 5 insertions, 0 deletions
diff --git a/compat/prelude.hpp b/compat/prelude.hpp
index 4f76fae8..0aad3dbd 100644
--- a/compat/prelude.hpp
+++ b/compat/prelude.hpp
@@ -1,4 +1,9 @@
#pragma once
+
+#if defined __clang__ && defined __CLION_IDE__ >= 20240100
+#define CORRADE_ASSUME __attribute__((assume(condition)))
+#endif
+
#include "integer-types.hpp"
#include "move.hpp"
#include <type_traits>