--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on August 2018 ---
Hi, that's right and it worked, thanks At 2018-08-13 18:00:08, frama-c-discuss-request at lists.gforge.inria.fr wrote: >Send Frama-c-discuss mailing list submissions to > frama-c-discuss at lists.gforge.inria.fr > >To subscribe or unsubscribe via the World Wide Web, visit > https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss >or, via email, send a message with subject or body 'help' to > frama-c-discuss-request at lists.gforge.inria.fr > >You can reach the person managing the list at > frama-c-discuss-owner at lists.gforge.inria.fr > >When replying, please edit your Subject line so it is more specific >than "Re: Contents of Frama-c-discuss digest..." > > >Today's Topics: > > 1. Re: accessing uninitialized left-value (Virgile Prevosto) > > >---------------------------------------------------------------------- > >Message: 1 >Date: Mon, 13 Aug 2018 10:25:05 +0200 >From: Virgile Prevosto <virgile.prevosto at m4x.org> >To: Frama-C public discussion <frama-c-discuss at lists.gforge.inria.fr> >Subject: Re: [Frama-c-discuss] accessing uninitialized left-value >Message-ID: > <CA+yPOVgHt_C2=Jgwo2=KUsDMEou4Uux0O1aRSs=kF3eP+OsoaQ at mail.gmail.com> >Content-Type: text/plain; charset="utf-8" > >Hello, > > >2018-08-12 9:37 GMT+02:00 è°¢æé¾ <wlxie2000 at 163.com>: > >> 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 >> > >The problem is not AI_PASSIVE, but ai_hints.ai_flags. Remember that the >instruction is a shortcut to ai_hints.ai_flags = ai_hints.ai_flags | >AI_PASSIVE; if ai_hints.ai_flags has >not been initialized priori to this instruction, this is an issue. You >should check where ai_hints is declared and whether there is indeed a >possibility that its ai_flags field has not been initialized. > >Best regards, >-- >E tutto per oggi, a la prossima volta >Virgile >-------------- next part -------------- >An HTML attachment was scrubbed... >URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180813/44d320a7/attachment-0001.html> > >------------------------------ > >Subject: Digest Footer > >_______________________________________________ >Frama-c-discuss mailing list >Frama-c-discuss at lists.gforge.inria.fr >https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss > >------------------------------ > >End of Frama-c-discuss Digest, Vol 122, Issue 3 >*********************************************** -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180813/e541a6a6/attachment.html>