This is the output of splint command. If it's complete ok else you will say me what I must post.
Here the output: Splint 3.1.2 --- 03 May 2009 RDC_BootLoader_ext.h:65:92: `#' operator is not followed by a macro argument name Preprocessing error. (Use -preproc to inhibit warning) In file included from RDC_BootProvideService_ext.h:23, from RDC_BootProvideService.h:22, from RDC_BootProvideService.c:19 RDC_BootLoader_ext.h:66:108: `#' operator is not followed by a macro argument name RDC_BootLoader_ext.h:67:106: `#' operator is not followed by a macro argument name RDC_BootLoader_ext.h:68:86: `#' operator is not followed by a macro argument name Preprocessing error for file: /home/margiodo/Scrivania/compile/RDC_BootProvideSe rvice.c *** Cannot continue. 2011/4/14 Michael Wojcik <michael.woj...@microfocus.com> > > > From: splint-discuss-boun...@cs.virginia.edu > [mailto:splint-discuss-boun...@cs.virginia.edu] On Behalf Of domenico > margiotta > > Sent: Thursday, 14 April, 2011 09:34 > > To: Discussions about the Splint annotation-assisted static analysis > project > > Subject: Re: [splint-discuss] Difference and correct use of splint > > > Thanks alot for the answer. I think I didn't find any bug. Where I > work, > > we programmed embedded software and so I think it is the cause that > > splint said me "Cannot continue". > > Without seeing the actual, complete set of Splint error messages, > there's no way for anyone on this list to help you any further. Splint > works fine on C source for embedded systems, if it's standard C. > > -- > Michael Wojcik > Principal Software Systems Developer, Micro Focus > > > This message has been scanned by MailController - portal1.mailcontroller.co.uk > _______________________________________________ > splint-discuss mailing list > splint-discuss@mail.cs.virginia.edu > http://www.cs.virginia.edu/mailman/listinfo/splint-discuss _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
