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