Hi I am investigating a failure in one of the tests. The generated linearized code has instructions such as: .L363: br VOID, .L366, .L439 .L366: load.32 %r413 <- 44[%arg1] br %r413, .L368, .L369 .L368: load.64 %r415 <- 0[s7813er] call.32 %r416 <- printf, %r415, $2 br .L369 .L369: phisrc.32 %phi97(rc) <- $2 br .L439 .L439: phi.32 %r557 <- %phi95(rc), VOID, %phi97(rc), VOID, VOID, VOID The test program is here: https://github.com/dibyendumajumdar/dmr_c/blob/master/tests/set1/cq2.c Regards Dibyendu -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html