> -----Original Message-----
> From: Oleg Goldshmidt [mailto:[EMAIL PROTECTED]
> Sent: Tuesday, November 18, 2003 1:22 PM
> To: Tal, Shachar
> Cc: '[EMAIL PROTECTED]'
> Subject: Re: [OT] OSS lint-type static checker?
>
>
> "Tal, Shachar" <[EMAIL PROTECTED]> writes:
>
> > > From: Oleg Goldshmidt
>
> > > Of course, another problem with VC++ is that it often does not
> > > compile perfectly legal C++ code.
> >
> > More often, the code that VC++ perfectly compiles is not perfect C++
>
> That's less of a problem in this context, isn't it? You don't care
> much that VC++ compiles what should not compile - you are
> double-checking with lint (of whatever flavour suits you). However, if
> lint gives your code a clean bill of health but your production
> compiler chokes on it, you are in trouble.
My point was that there is VC++ code that is correct but will be barked at
by gcc/g++. This will be considered "noise".
I suspect that this noise is an additive constant, that can be taken into
account and greped out of the "lint" output, but the question is how big is
that constant.
> > I'm not sure gcc will have a good signal-to-noise ratio when chewing
> > MS's flavor of C++.
>
> This depends on whether you consider the warnings that g++ in "lint
> mode" is likely to spit onto the screen "noise" or "signal". Since you
> are looking for a lint, I assumed you were going to treat it as
> "signal"... It's more or less the same "signal" as any lint will
> produce ("same" <=> "has the same purpose").
See my comment above.
> --
> Oleg Goldshmidt | [EMAIL PROTECTED]
>
Shachar.
This electronic message contains information from Verint Systems, which may
be privileged and confidential. The information is intended to be for the
use of the individual(s) or entity named above. If you are not the intended
recipient, be aware that any disclosure, copying, distribution or use of the
contents of this information is prohibited. If you have received this
electronic message in error, please notify us by replying to this email.
=================================================================
To unsubscribe, send mail to [EMAIL PROTECTED] with
the word "unsubscribe" in the message body, e.g., run the command
echo unsubscribe | mail [EMAIL PROTECTED]
