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?
Cheers, -- Julien Grall
