-- Forwarded message --
Date: Thu, 28 Feb 2002 13:39:36 +1300 (NZDT)
From: Richard A. O'Keefe <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED], [EMAIL PROTECTED]
Subject: Re: Overzealous sign checking? (fwd)
Jon Wilson <[EMAIL PROTECTED]> wrote:
Great,
-- Forwarded message --
Date: Thu, 28 Feb 2002 13:12:03 +1300 (NZDT)
From: Richard A. O'Keefe <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
Subject: Re: Overzealous sign checking? (fwd)
unsigned short a = 1;
long b = 2;
if (a < b
-- Forwarded message --
Date: Thu, 28 Feb 2002 13:39:36 +1300 (NZDT)
From: Richard A. O'Keefe <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED], [EMAIL PROTECTED]
Subject: Re: Overzealous sign checking? (fwd)
Jon Wilson <[EMAIL PROTECTED]> wrote:
Great,
-- Forwarded message --
Date: Wed, 27 Feb 2002 15:51:36 +
From: Jon Wilson <[EMAIL PROTECTED]>
To: David Evans <[EMAIL PROTECTED]>
Cc: [EMAIL PROTECTED]
Subject: Re: Overzealous sign checking?
David Evans writes:
>
> On Wed, 27 Feb 2002, Jon Wilson wrote:
>
> >
> > Hi D
On Wed, 27 Feb 2002, Jon Wilson wrote:
>
> Hi David et al,
>
> There's been a lot of discussion between myself and my colleagues
> about the warnings generated by Splint over such things as this:*
>
> unsigned short a = 1 ;
> long b = 2 ;
>
> if ( a < b ) {
> return FALSE ;
> }
>
> b