Goto skipping declarations

[Richard (Rikki) Andrew Cattermole]

On 04/05/2024 8:38 AM, Jonathan M Davis wrote:
> In any case, I expect that the compiler is just going dumb here because of
> the label for some reason, and one or more of the checks that it's supposed
> to be doing is being missed.

It is very simple code.

A reverse search over the double linked list for the goto from the label.

I looked into it fairly recently as an example of type state analysis D 
is already designed against.