On 17/07/2023 21:40, Julien Grall wrote:
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.
Therefore, a deviation comment, is introduced to document this situation.
A similar reasoning applies to macro 'guest_testop'.
Would you be able to check if the code below (only compile tested so
far) would silence Eclair?
Hmmm.. I think my e-mail client mangled the diff. Here an unmangled
version if needed:
http://paste.debian.net/1286154/
Cheers,
--
Julien Grall