tree 0156fc7175c438b6a19c8206fb269a139fc0cb71
parent 93d324720d8a76442e72a022d4a1b05b79989a4a
author Ian Zerny <zerny@google.com> 1707399073 +0100
committer Ian Zerny <zerny@google.com> 1707401830 +0000

[KeepAnno] Support extraction of check removed/optimized-out

Bug: b/323815449
Change-Id: I0fbf3cf1ed2def82391b10338002a06cdf730a6d