[splint-discuss] tab, no warnings but gcc doesn't compile, search splint-discuss

[Liran Orevi]

Hello,

1)Is there a way to tell Splint to count the TAB char as more than one char?
currently the horizontal numbers don't match with those of my editor.

2)I have an example that shows no warnings by Splint, yet doesn't compile using GCC version 4.0.3,
how can this be?

below is the code, 1.c compiles and 2.c doesn't compile.

3)Is there a good way to search splint-discuss?

Many thanks,
Liran

*******************************************************************************

liran at best-computer3:~/Learn/Source/4$ cat 1.c
#include
#include

static int add1(int int1, int int2);

int
main(){



int int1=5;
int int2=3;
printf("%d",add1(int1,int2));
return (EXIT_SUCCESS);
}

int
add1(int int1, int int2){
return(int1 + int2);
}

liran at best-computer3:~/Learn/Source/4$ splint 1.c
Splint 3.1.2 --- 02 Aug 2007

Finished checking --- no warnings
liran at best-computer3:~/Learn/Source/4$ gcc 1.c
liran at best-computer3:~/Learn/Source/4$
liran at best-computer3:~/Learn/Source/4$ cat 2.c
#include
#include

int
main(){

static int add1(int int1, int int2);

int int1=5;
int int2=3;
printf("%d",add1(int1,int2));
return (EXIT_SUCCESS);
}

int
add1(int int1, int int2){
return(int1 + int2);
}

liran at best-computer3:~/Learn/Source/4$ splint 2.c
Splint 3.1.2 --- 02 Aug 2007

Finished checking --- no warnings
liran at best-computer3:~/Learn/Source/4$ gcc 2.c
2.c: In function ‘main’:
2.c:7: error: invalid storage class for function ‘add1’


_________________________________________________________________
Make every IM count. Download Windows Live Messenger and join the i’m Initiative now. It’s free. 
http://im.live.com/messenger/im/home/?source=TAGWL_June07