Darren Kenny wrote: > I can see that LLVM has a __builtin_assume() though, but that's about > the closest I could find.
We avoid clang's __builtin_assume, because it triggers the generation of wrong code. See <https://lists.gnu.org/archive/html/bug-gnulib/2020-09/msg00014.html>. Bruno
