[splint-discuss] imp-type - Implicit type not recognized(?)

[Benjamin Herwig]

Hello list!

I just splinted the following code using splint 3.1.2:

   int main(void) {
       static a;
       a = 123;
       return a;
   }

I set the mode-selector to standard and tried + and - imp-type.
So the cmd-line looked this way:

   $splint -standard -imp-type code.c

(And I also tried $splint -standard +imp-type Listing_8-2.c ... but
that's redundant.)

Why doesn't splint complain about a's implicit int-type?

I would be very glad if you could tell me more or hint me to any fault.
Did I set the imptype-flag the wrong way?

Thanks a lot in advance!

Yours
Benjamin


-- 
Benjamin Herwig        Tel.:  0561 - 703 400 40
Naumburger Str. 13      Mobil: 0175 - 762 38 44
34127 Kassel                      PGP: ABCDD3DD
-+-+-+-+ http://www.benjamin-herwig.de +-+-+-+-
-+-+-+-+ http://www.sg-kassel.gi-ev.de +-+-+-+-