Sirraide wrote: > > GCC does checks assumption in constant evaluation. I think we should too. > > I’ll look into it in that case. Alright, this should be done now. https://github.com/llvm/llvm-project/pull/81014