Re: [PATCH] x86: Function missing integer return value

[Paolo Bonzini]

On 5/5/22 15:37, Maciej S. Szmigiero wrote:
> > This statement is not reachable, so the patch is adding unneeded dead
> > code only.
>
> Maybe some static checker isn't smart enough to figure this out.

The static checker really should be improved.  This is a while(true), 
not the halting problem. :)

Paolo