[PATCH] D84007: [ValueTracking] Add canCreateUndefOrPoison & let canCreatePoison use Operator
Juneyoung Lee via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sun Jul 19 00:07:09 PDT 2020
aqjune marked 2 inline comments as done.
aqjune added inline comments.
================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:4717
case Instruction::CallBr:
- case Instruction::Invoke:
- // Function calls can return a poison value even if args are non-poison
- // values.
- return true;
+ case Instruction::Invoke: {
+ const auto *CB = cast<CallBase>(Op);
----------------
Added noundef return attribute check here since this is a pretty small change
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D84007/new/
https://reviews.llvm.org/D84007
More information about the llvm-commits
mailing list