Re: Fun with C

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 4/19/11 9:34 PM, George P. wrote:

> 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.

Shamelessly pasting your original example  into the
DIY box at Gimpel Software, without triggering anything
related to MISRA, it gives:

FlexeLint for C/C++ (Unix) Vers. 9.00f, Copyright Gimpel Software 1985-2010
--- Module: diy.c (C)
      1  /* Enter your C code here - you can delete this line. */
      2
      3
      4  #include <stdio.h>
      5
      6  int main()
      7  {
      8       unsigned n = 128;
      9       int i = -2048;
     10       int r;
     11
                       _
     12       r = i / n;
diy.c  12  Warning 573:  Signed-unsigned mix with divide
diy.c  12  Info 737:  Loss of sign in promotion from int to unsigned int
diy.c  12  Info 713:  Loss of precision (assignment) (unsigned int to int)
     13
     14       printf("R = %d\n", r);
     15
     16       return 0;
     17  }