Johan schrieb: > #include <stdio.h> > int main() > { > printf("Hello splint test\n"); > > int i; This is indeed valid C99. The point is that Splint can only parse C90, which does not allow variable declarations after a statement. Roland