================ ---------------- Hardcode84 wrote: If previous version wasn't checking it either it's probably fine. We may add `strict` option to function/pass to threat it conservatively, but it's up to you. https://github.com/llvm/llvm-project/pull/179284