Tried to fix more problmes with the Makefiles

[splint.git] / test / printflike.out

Cannot find standard library: ansi.lcd
     Check LARCH_PATH environment variable.
printflike.c:2:5: Function mprint is marked printflike, but has no elipsis
                     parameter
printflike.c:5:5: Function kprint is marked printflike, but has no elipsis
                     parameter
printflike.c:8:5: Function sprint is marked scanflike, but has no elipsis
                     parameter
printflike.c:13:15: Traditional lint comment /*PRINTFLIKE*/ used.  This is
    interpreted by LCLint in the same way as most Unix lints, but it is
    preferable to replace it with either /*@printflike@*/, /*@scanflike@*/ or
    /*@messagelike@*/.
printflike.c:16:35: Multiple special function codes:
                       printflike, messagelike (first code is ignored)
printflike.c:17:5: Function qxprint is marked messagelike, but the argument
                      before the elipsis has type int (should be char *)

Finished LCLint checking --- 6 code errors found, as expected

Cannot find standard library: ansi.lcd
     Check LARCH_PATH environment variable.
printflike.c:2:5: Function mprint is marked printflike, but has no elipsis
                     parameter
printflike.c:5:5: Function kprint is marked printflike, but has no elipsis
                     parameter
printflike.c:8:5: Function sprint is marked scanflike, but has no elipsis
                     parameter
printflike.c:16:35: Multiple special function codes:
                       printflike, messagelike (first code is ignored)
printflike.c:17:5: Function qxprint is marked messagelike, but the argument
                      before the elipsis has type int (should be char *)

Finished LCLint checking --- 5 code errors found, as expected