--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on August 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] accessing uninitialized left-value



Hi
I started to analysis the libmodbus from the open-source-case-study from git. There is a accessing uninitialized left-value warning for line 574 of src/modbus-tcp.c
ai_hints.ai_flags |= AI_PASSIVE;


And I define it as:
#define AI_PASSIVE 0x0001
or add -slevel 500


It still had the alarm!
How could I resolve it? Thanks
Sincerely
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180812/35ca6eaf/attachment.html>