[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