From 52810bdfa004d027cdd319fbe13f2c9ea787f67c Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Sat, 10 Jul 2021 16:50:29 +0200 Subject: [PATCH] chore: remove dead header --- src/include/lean/compiler_hints.h | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 src/include/lean/compiler_hints.h diff --git a/src/include/lean/compiler_hints.h b/src/include/lean/compiler_hints.h deleted file mode 100644 index 05e2539082..0000000000 --- a/src/include/lean/compiler_hints.h +++ /dev/null @@ -1,17 +0,0 @@ -/* -Copyright (c) 2017 Microsoft Corporation. All rights reserved. -Released under Apache 2.0 license as described in the file LICENSE. - -Author: Gabriel Ebner -*/ -#pragma once - -#if defined(__GNUC__) || defined(__clang__) -#define LEAN_UNLIKELY(x) (__builtin_expect((x), 0)) -#define LEAN_LIKELY(x) (__builtin_expect((x), 1)) -#define LEAN_ALWAYS_INLINE __attribute__((always_inline)) -#else -#define LEAN_UNLIKELY(x) (x) -#define LEAN_LIKELY(x) (x) -#define LEAN_ALWAYS_INLINE -#endif