Created attachment 115333 [details] [review]
Reduced test case

Here's a reduced testcase. I'm not sure how undef branch conditions are
supposed to be handled, make someone else can take a look?