/*@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 *)
/*@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 *)