My colleagues at Trail of Bits and I wrote an LLVM RFC about constant-time coding support in Clang and LLVM! I’d love to have folks with opinions on this topic, who are interested to, comment on the RFC 💚 https://discourse.llvm.org/t/rfc-constant-time-coding-support/87781
[RFC] Constant-Time Coding Support

Constant-Time Coding Support Summary We (@kumarak, @frabert, @hbrodin, @wizardengineer, and myself of Trail of Bits) propose a Clang “constant-time selection” builtin for cryptographers to use to ensure that their compiled C and C++ code selects between values in constant time consistently across target architectures. Our builtin will selectively bypass optimizations that are beneficial for most compiled code but that can replace intended constant-time operations with variable-time jumps or bran...

LLVM Discussion Forums

@kaoudis Pre-coffee thought, but maybe the pragma should include “pretend we called -Wall for this section”

(Or my fave option, -Wall-no-really-all-the-warnings-oh-ffs 😁)

@kaoudis this is hard stuff, good luck!