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.