[PATCH] D11212: [SCEV] Apply NSW and NUW flags via poison value analysis

[Bjarke Hammersholt Roune]

broune added inline comments.

================
Comment at: lib/Analysis/ValueTracking.cpp:3418-3419
@@ +3417,4 @@
+  default:
+    return false;
+  }
+}
----------------
majnemer wrote:
> I misread how `propagatesFullPoison` is supposed to work.  I think the name needs some work.
What thing would you like the name to be clearer about? I'm happy to change it. I could do isGuaranteedToYieldFullPoisonIfGivenFullPoison; it's clearer even if not as succinct. Any suggestions?


http://reviews.llvm.org/D11212