[PATCH] D19210: Teach poison value tracking that certain calls always terminate

[David Majnemer via llvm-commits]

majnemer added a subscriber: majnemer.

================
Comment at: lib/Analysis/ValueTracking.cpp:3289
@@ +3288,3 @@
+    // assumption (e.g. we will DCE readnone and readonly calls).
+    return CS.doesNotThrow() && CS.onlyReadsMemory();
+
----------------
Couldn't this just be `!I->mayHaveSideEffects()` ?


http://reviews.llvm.org/D19210