--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on August 2018 ---
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>