[llvm] [ValueTracking] Handle range attributes in isGuaranteedNotToBeUndefOrPoison (PR #88199)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Tue Apr 9 17:01:08 PDT 2024


https://github.com/nikic requested changes to this pull request.

This change doesn't make sense. If the argument is `noundef range` then the argument indeed cannot be poison, as a poison value (including one produced by the range annotation) would result in immediate UB.

https://github.com/llvm/llvm-project/pull/88199


More information about the llvm-commits mailing list