From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,9abafc402a91a18d X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news1.google.com!news.glorb.com!news2.glorb.com!wn11feed!worldnet.att.net!bgtnsc05-news.ops.worldnet.att.net.POSTED!53ab2750!not-for-mail Newsgroups: comp.lang.ada From: anon@anon.org (anon) Subject: Compiler Warnings while building the SPARK Tokeneer Reply-To: anon@anon.org (anon) References: <74074524-bae8-4426-a75e-d0681e7c670b@g20g2000vba.googlegroups.com> X-Newsreader: IBM NewsReader/2 2.0 Message-ID: Date: Fri, 05 Jun 2009 13:32:56 GMT NNTP-Posting-Host: 12.64.18.158 X-Complaints-To: abuse@worldnet.att.net X-Trace: bgtnsc05-news.ops.worldnet.att.net 1244208776 12.64.18.158 (Fri, 05 Jun 2009 13:32:56 GMT) NNTP-Posting-Date: Fri, 05 Jun 2009 13:32:56 GMT Organization: AT&T Worldnet Xref: g2news2.google.com comp.lang.ada:6305 Date: 2009-06-05T13:32:56+00:00 List-Id: In compiling Sparks 8.1.1 I saw a number of style and "pragma Unreferenced" generated warnings. I just wonder if these are the only type of warnings or if others exist that might cause problems. And for the GNAT and SPARK systems, all warnings should be treated as errors. Plus this type of programming kind of reminds me of bad side of C/C++ coding.