steakhal wrote: I think its better to just force conservative eval call these functions. Pros: we dont waste analysis time inside and we wouldnt pick up misleading constraints from within. Have you considered this? https://github.com/llvm/llvm-project/pull/177804