The problem is that the inability of SIAnnotateControlFlow to handle constants
confuses bugpoint and it doesn't emit the correct testcase for the initial
crash which I've reported in this bug...

OK if I add you to the CC list? :)