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.