On Wed, Nov 13 2024, Vincent Mailhol <mailhol.vincent@xxxxxxxxxx> wrote:Sorry for the silly mistake in the subject. And agreed that "define" is more appropriate than "declare" when speaking of macros.
Declare a new _statically_true() macro which, by making use of theLooks sane, but $subject needs s/_static_assert/_statically_true/. And
__builtin_choose_expr() and __is_constexpr(x) combo, always produces a
constant expression.
to be completely pedantic, macros are defined, not declared.
- above examples, and a bit more:At least the second of these might be good to refer to in the commit
https://godbolt.org/z/zzqM1ajPj
- a proof that statically_true() does better constant folding than _statically_true()
https://godbolt.org/z/vK6KK4hMG
message itself.