google/souper — pull request #57 by rsas (2014-09-19 22:44:52+00:00)
Title: Apply UB constraints only on the relevant Phi branches

This patch fixes the unsoundness issue #13.