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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM 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
Path: 
 g2news2.google.com!postnews.google.com!hg8g2000vbb.googlegroups.com!not-for-mail
From: "George P." <george.priv@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Fun with C
Date: Tue, 19 Apr 2011 12:34:34 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <18411d69-7485-4c04-b61c-f4aef55d5579@hg8g2000vbb.googlegroups.com>
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>
 <bb4c1f93-a338-4d0b-9d68-7f1c0111a1ce@l2g2000prg.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>
 <ioi9u0$n9c$1@speranza.aioe.org>
 <8dbc6e36-3f53-4a44-8b3e-7dcf5964b6f2@w36g2000vbi.googlegroups.com>
 <op.vt65vts4lzeukk@jellix.jlfencey.com>
NNTP-Posting-Host: 63.88.115.178
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1303241675 21958 127.0.0.1 (19 Apr 2011 19:34:35
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 19 Apr 2011 19:34:35 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: hg8g2000vbb.googlegroups.com; posting-host=63.88.115.178;
 posting-account=VnNb3AoAAACTpRtCcTrcjmPX7cs92k1Q
User-Agent: G2/1.0
X-HTTP-Via: 1.1 SPARKS
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.2.16)
 Gecko/20110319 Firefox/3.6.16 GTB7.1,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:19876
Date: 2011-04-19T12:34:34-07:00
List-Id: <comp.lang.ada>

On Apr 19, 2:05=A0pm, "Vinzent Hoefler"
<0439279208b62c95f1880bf0f8776...@t-domaingrabbing.de> wrote:
> 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 c=
arrying
> razors.
> =A0 =A0 -- =A0Waldi Ravens

We simply follow the styling described here. I don' know of any
checker for LM JSF. MISRA would be too strict for our needs.  It is an
imaging device with built-in AI.

G.