]>
Commit | Line | Data |
---|---|---|
4e4880b7 | 1 | |
2 | //lclint work arround | |
3 | ||
4 | /*@nullterminated@*/ char * strcpy (char * tmp1, /*@nullterminated@*/ | |
5 | char * tmp); | |
6 | /*@nullterminated@*/ char * LCLstrcpy (char * tmp1, /*@nullterminated@*/ | |
7 | char * tmp); | |
8 | ||
9 | #define strcpy LCLstrcpy | |
10 | /*@nullterminated@*/ char * NotdefinedLCLstrcpy (int * tmp1, | |
11 | /*@nullterminated@*/ char * tmp); | |
12 | ||
13 | ||
14 | // char *my_malloc(int); | |
15 | ||
16 | // /*@null@*/ /*@nullterminated@*/char *fmakeword() { | |
17 | // char *word; | |
18 | // | |
19 | // word = my_malloc(1); | |
20 | // word = "df"; | |
21 | // return word; | |
22 | //} | |
23 | ||
24 | ||
25 | /*@nullterminated@*/ char * test1 (char * p1) | |
26 | { | |
27 | // p1 = NotdefinedLCLstrcpy (p1, "bob"); | |
28 | p1 = LCLstrcpy (p1, "bob"); | |
29 | return p1; | |
30 | } |