LCLint Output
LCLint 2.2 --- 25 Aug 96
usedef.c: (in function dumbfunc)
usedef.c:11,12: Value *x used before definition
An rvalue is used that may not be initialized to a
value on some execution path. (-usedef will suppress
message)
usedef.c:13,20: Passed storage x not completely
defined (*x is undefined): getVal (x)
Storage derivable from a parameter, return value or
global is not defined. Use /*@out@*/ to denote
passed or returned storage which need not be
defined. (-compdef will suppress message)
usedef.c:15,24: Passed storage x not completely
defined (*x is undefined): mysteryVal (x)
Finished LCLint checking --- 3 code errors found