google/souper — pull request #59 by rsas (2014-09-25 18:43:50+00:00)
Title: Apply UB constraints only on the relevant Select branches

This patch fixes the issue #55.