majnemer added inline comments. ================ Comment at: lib/Analysis/ValueTracking.cpp:3418-3419 @@ +3417,4 @@ + default: + return false; + } +} ---------------- I misread how `propagatesFullPoison` is supposed to work. I think the name needs some work. http://reviews.llvm.org/D11212