> On 14 Jul 2023, at 14:05, Julien Grall <jul...@xen.org> wrote: > > Hi, > > On 14/07/2023 12:49, Nicola Vetrini wrote: >> The macro 'testop' expands to a function that declares the local >> variable 'oldbit', which is written before being set, but is such a >> way that is not amenable to automatic checking. > > The code is pretty straightforward. So I am not entirely sure why Eclair is > not happy. Is it because the value is set by assembly code?
Hi Julien, Yes I agree that it’s strange, do you think that that if at line 97 we initialize oldbit to zero, it would solve the issue? @Nicola Cheers, Luca > > Cheers, > > -- > Julien Grall >
