Sirraide wrote: > As I mentioned, I’m going to make a follow-up pr to this soon so we can discuss what to do with `__attribute__((assume))`/`[[clang::assume]]`. Just opened a pr for this: #84934 https://github.com/llvm/llvm-project/pull/84582