HomePhabricator

[SimplifyCFG] FoldValueComparisonIntoPredecessors(): drop reachable errneous…

Authored by lebedev.ri on Jan 7 2021, 7:04 AM.

Description

[SimplifyCFG] FoldValueComparisonIntoPredecessors(): drop reachable errneous assert

I have added it in d15d81c because it *seemed* correct, was holding
for all the tests so far, and was validating the fix added in the same
commit, but as David Major is pointing out (with a reproducer),
the assertion isn't really correct after all. So remove it.

Note that the d15d81c still fine.

Details