On Fri, Aug 11, 2017 at 11:00 AM, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote: > Were these two issues caused by recent changes - or are they bugs in > the released version of Sparse? The bug is there in the v0.5.0 version of sparse but not trigger-able. That is until Luc submit some patch kill dead bb and dead instructions which make the bug trigger-able. There is a revert on sparse-next to temporary stop the bug, by just revert some change that Luc introduced. The change itself is fine and remain on RC5, it just make the bug trigger-able as side effect. The real fix is submitted by Luc later. > I ran the test case kill-unreachable-phi.c in my repository and did > not see an infinite loop. My repository is way behind the latest > changes in Sparse as I last synced up earlier this year so maybe I am > not seeing this issue? Try that on RC4 and you will see the dead loop. Chris -- 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