Two Studies in Compiler Optimisations

Re:Two Studies in Compiler Optimisations by dzaima on Thursday March 26, 2026 @07:59AM (#47529397)

> It surprises me that the compiler doesn't still take the inference from the assert and just disable emitting the code to perform the check.

That's because that's what the <assert.h> assert() must do; it's specified to do and imply nothing when assertions are disabled. (the standard literally fully defines it as `#define assert(...) ((void)0)` when NDEBUG)

Whereas `[[assume(...)]]` is a thing specifically for that "infer things from this without actually emitting any code".

[ Parent | on HN ]

Re:Two Studies in Compiler Optimisations by ralferoo on Thursday March 26, 2026 @08:07AM (#47529473)

Yeah, good point. Honestly it's been so long since I've added that to a project (it's normally hidden in some include that everything else includes) that I'd forgotten it wasn't a compiler level reserved keyword for C++ code.

[ Parent | on HN ]