On Tue, 08 Sep 2009 22:19:15 -0500, Bill Pringlemeir wrote: >On Wed, 02 Sep 2009 22:44:14 -0500, Bill Pringlemeir wrote: > >>> Does the file have a missing brace? Your description is not enough to >>> solve the problem. It is trying to parse an expression like "++i" or >>> "i++". There is something wrong with your input (and/or >>> pre-processing). I am not quite sure why the parser wouldn't have >>> aborted in this case. It would be much easier to diagnose with a >>> reduce input file and the full command line. > >On 3 Sep 2009, tyde...@tybor.com wrote: > >> Attached is the source file. The value 9.9e9999L comes from INF_LDBL. >> I will be gone for the next 3 to 5 days without email access. >> This code has been processed by at least 10 C compilers without >> problems (I test compilers for a living). > >Thanks. It is not really a reduced code set. You have a snippet like >'+INF_LDBL' in this area of code.
I have created a reduced code set to show the problem. Attached are two files: splint.rc == .splintrc test97.c and the result file: test97.ln2 --- Fred J. Tydeman Tydeman Consulting tyde...@tybor.com Testing, numerics, programming +1 (775) 358-9748 Vice-chair of PL22.11 (ANSI "C") Sample C99+FPCE tests: http://www.tybor.com Savers sleep well, investors eat well, spenders work forever.
SPLINT.RC
Description: Binary data
TEST97.C
Description: Binary data
TEST97.LN2
Description: Binary data
_______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
