eopXD added a comment. May you explain a bit how the test case shows `SE.forgetValue()` is preserving debug invariance. Thank you. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D129636/new/ https://reviews.llvm.org/D129636