Technical Briefs
ROHAN help Files
check
check is a program used to find possible errors in C programs. It is not meant to duplicate or replace lint, but checks some parts of the program that lint may not check. Among the things that are detected are:
- nested comments
- non-terminated comments
- assignments in conditional contexts
- if statements with null then and no else and potentially ambiguous else statements.
To check a C program, at the ROHAN prompt type:
rohan % check filename
For each potential error, a warning is given, identifying the source file and line number where it occurs. If multiple files are being checked, the name of each file is printed as checking starts.
|
|