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=-1.2 required=5.0 tests=BAYES_00,FROM_LOCAL_HEX, FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,a9b0810d3106d9b8 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!feeder.news-service.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: "Vinzent Hoefler" <0439279208b62c95f1880bf0f8776eeb@t-domaingrabbing.de> Newsgroups: comp.lang.ada Subject: Re: Fun with C Date: Tue, 19 Apr 2011 20:05:43 +0200 Message-ID: References: <27cf3992-4132-4483-9110-adc7a089cd4a@e8g2000vbz.googlegroups.com> <54108d8d-4e7c-4901-bd5e-819d27720d48@a11g2000pro.googlegroups.com> <4daa8fc6$0$7652$9b4e6d93@newsspool1.arcor-online.net> <37428a21-61b4-4cdf-9897-7b84252f8fce@a11g2000pro.googlegroups.com> <4dab6906$0$6893$9b4e6d93@newsspool2.arcor-online.net> <57a1fa4b-4730-41a8-be8a-82061ef9dc22@x37g2000prb.googlegroups.com> <4daca6ba$0$6773$9b4e6d93@newsspool3.arcor-online.net> <8dbc6e36-3f53-4a44-8b3e-7dcf5964b6f2@w36g2000vbi.googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit X-Trace: individual.net HvN7WvqPfKkCZS4zACVrvgBV7KgXndr/JD0M/8QdCGIjalCbQV Cancel-Lock: sha1:CJVoaDUZBq55rDx9mMbaWYUqgYw= User-Agent: Opera Mail/11.10 (Win32) Xref: g2news2.google.com comp.lang.ada:19873 Date: 2011-04-19T20:05:43+02:00 List-Id: George P. wrote: > Coming back to my project here is the JSF Coding standard rules that > we follow indeed states: > > http://www2.research.att.com/~bs/JSF-AV-rules.pdf > > AV Rule 162 > Signed and unsigned values shall not be mixed in arithmetic or > comparison operations. One question: Did you just forget to launch the appropriate checker or does nobody actually check if those rules are obeyed? Vinzent. -- A C program is like a fast dance on a newly waxed dance floor by people carrying razors. -- Waldi Ravens