max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: avoid stack overflow in debug tests (#6103)

Browse source
This commit is contained in:
Sebastian Ullrich 2024-11-17 15:54:49 +01:00 • committed by GitHub
parent 24f305c0e3
commit 405593ea28
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/include/lean/lean.h
View file

@ -37,7 +37,15 @@ extern "C" {
#if defined(__GNUC__) || defined(__clang__)
#define LEAN_UNLIKELY(x) (__builtin_expect((x), 0))
#define LEAN_LIKELY(x) (__builtin_expect((x), 1))
#ifdef NDEBUG
#define LEAN_ALWAYS_INLINE __attribute__((always_inline))
#else
// We have observed stack frame increases from forced inlining overflowing the stack in debug builds,
// let's leave the decision to the compiler in that case
#define LEAN_ALWAYS_INLINE
#endif
#else
#define LEAN_UNLIKELY(x) (x)
#define LEAN_LIKELY(x) (x)