summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Transforms/Scalar/SCCP.cpp
diff options
context:
space:
mode:
authorDavid Majnemer <david.majnemer@gmail.com>2016-06-25 08:04:19 +0000
committerDavid Majnemer <david.majnemer@gmail.com>2016-06-25 08:04:19 +0000
commitd346a377375a4780c95f4d30150bdeaed1a35b65 (patch)
tree3d072a06308fde37e739c18b40e6da6d57996e42 /llvm/lib/Transforms/Scalar/SCCP.cpp
parentbb53d23ef8127b0be819b730e5094bd1d4b8e515 (diff)
downloadbcm5719-llvm-d346a377375a4780c95f4d30150bdeaed1a35b65.tar.gz
bcm5719-llvm-d346a377375a4780c95f4d30150bdeaed1a35b65.zip
[SimplifyCFG] Stop inserting calls to llvm.trap for UB
SimplifyCFG had logic to insert calls to llvm.trap for two very particular IR patterns: stores and invokes of undef/null. While InstCombine canonicalizes certain undefined behavior IR patterns to stores of undef, phase ordering means that this cannot be relied upon in general. There are much better tools than llvm.trap: UBSan and ASan. N.B. I could be argued into reverting this change if a clear argument as to why it is important that we synthesize llvm.trap for stores, I'd be hard pressed to see why it'd be useful for invokes... llvm-svn: 273778
Diffstat (limited to 'llvm/lib/Transforms/Scalar/SCCP.cpp')
-rw-r--r--llvm/lib/Transforms/Scalar/SCCP.cpp3
1 files changed, 1 insertions, 2 deletions
diff --git a/llvm/lib/Transforms/Scalar/SCCP.cpp b/llvm/lib/Transforms/Scalar/SCCP.cpp
index 91e625b7aac..264bdb6f353 100644
--- a/llvm/lib/Transforms/Scalar/SCCP.cpp
+++ b/llvm/lib/Transforms/Scalar/SCCP.cpp
@@ -1802,8 +1802,7 @@ static bool runIPSCCP(Module &M, const DataLayout &DL,
DEBUG(dbgs() << " BasicBlock Dead:" << *BB);
++NumDeadBlocks;
- NumInstRemoved +=
- changeToUnreachable(BB->getFirstNonPHI(), /*UseLLVMTrap=*/false);
+ NumInstRemoved += changeToUnreachable(BB->getFirstNonPHI());
MadeChanges = true;
OpenPOWER on IntegriCloud