l4/pkg/valgrind/src/valgrind-3.6.0-svn/none/tests/readline1.c

   1
   2 #include <stdio.h>
   3 #include <unistd.h>
   4 #include <string.h>
   5
   6 int rl_insert ( int, int );
   7
   8 int main ( void )
   9 {
  10    rl_insert(1, 'z');
  11
  12    return 0;
  13 }
  14
  15 int zzzstrlen ( char* str )
  16 {
  17    if (str[1] == 0) return 2; else return 10;
  18 }
  19
  20 int rl_insert ( int count, int c )
  21 {
  22    char str[2];
  23    str[1] = 0;
  24    str[0] = c;
  25    printf("HERE strlen  is %d\n", zzzstrlen(str));
  26    return 0;
  27 }