Return to llib-port CVS log

Up to [CSRG BSD Unix] / 40BSD / cmd / lint

Annotation of 40BSD/cmd/lint/llib-port, revision 1.1

1.1     ! root        1:        /* LINTLIBRARY */
        !             2: #include <stdio.h>
        !             3:        exit(s) {;}
        !             4: long   lseek(f, o, d) long o; { return(0); }
        !             5: char   *mktemp(p) char *p; { return(p);}
        !             6: int    (*signal(c, f))() int (*f)(); { return(f); }
        !             7: char   *strcat(a, b) char *a, *b; { ; }
        !             8: int    strcmp(a, b) char *a, *b; { return(1); }
        !             9: char   *strcpy(a, b) char *a, *b; { ; }
        !            10: int    strlen(s) char *s; { return(1); }
        !            11: long   tell(f) { return((long)0); }
        !            12: long   time(t) long *t; { return(0);}
        !            13: char   *calloc(n,s) unsigned n, s; { static char c[1]; return(c); }
        !            14: char   *malloc(n) unsigned n; {static char c; return(&c);}
        !            15: char   *realloc(p, n) char *p; unsigned n; { static char c; return(&c);}
        !            16:        free(p) char *p; {;}
        !            17:        fclose(f) FILE *f; {return(0);}
        !            18:        fflush(f) FILE *f; {return(0);}
        !            19: char   *fgets( s, l, f ) char *s; FILE *f; { return(s); }
        !            20: FILE   *fopen(s,m) char *s, *m; { return(stdin); }
        !            21: FILE   *freopen(s, m, f) char *s, *m; FILE *f; { return(stdin); }
        !            22: FILE   *fdopen(fd, m) char *m; { return(stdin);}
        !            23:        /* VARARGS */
        !            24:        fprintf( f, s ) FILE *f; char *s; {;}
        !            25:        fputs(s,f) char *s; FILE *f; {;}
        !            26:        fread( p, s, n, f ) char *p; FILE *f; {return(1);}
        !            27:        /* VARARGS */
        !            28:        fscanf( f, s ) FILE *f; char *s; {return(1);}
        !            29: int    fwrite( p, s, n, f ) char *p; FILE *f; {return(0);}
        !            30:        intss(){return(1); }
        !            31:        /* VARARGS */
        !            32:        printf( s ) char *s; {;}
        !            33:        rewind(f) FILE *f; {;}
        !            34:        /* VARARGS */
        !            35:        scanf( f ) char *f; {return(1); }
        !            36:        setbuf( f, b ) FILE *f; char *b; {;}
        !            37:        /* VARARGS */
        !            38: char   *sprintf( s, f ) char *s, *f; { return(s);}
        !            39:        /* VARARGS */
        !            40:        sscanf( s, f ) char *s, *f; { return(1); }
        !            41:        ungetc( c, f ) FILE *f; {  return(c); }
        !            42:        wdleng(){return(0); }
        !            43: struct _iobuf _iob[_NFILE];
        !            44: char   _ctype_[129];

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.