test/nullterminatedtest/buggy_support_fmakeword.c

   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 }