https://github.com/RoboTux approved this pull request. LGTM thanks! Minor nit to the commit message: Can you be more specific in what produce the poison value (value2 -1)? I feel that improves clarity. https://github.com/llvm/llvm-project/pull/159930