lclint-interest message 153

From Thu Sep 18 13:08:14 1997
From: Matteo Vaccari 
Subject: mixing signed & unsigned arithmetic
Date: Thu, 18 Sep 1997 11:31:44 +0200 (MET DST)
X-Mailer: ELM [version 2.4 PL25]
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit

Hi all,

I wonder why lclint says the following program contains no errors:


int main() {
  unsigned u = 2;
  int i = -2;

  printf("i/u == %d, u/i == %d\n", i/u, u/i);
  return 0;

The results of executing the above are not what I would expect.  
Yes, _now_ I know that I shouldn't mix unsigned and signed
arithmetics, but I think a warning from lclint would be useful.

(The above concern comes from an ad from Gimpel Software,  They sell a lint program.  See their web pages for
their "bug of the month" series.)

Dave, thanks for being back on Lclint!


Previous Message Next Message Archive Summary LCLint Home Page David Evans
University of Virginia, Computer Science