C Checker Reference Manual

January 1998

9.1 Introduction

In the default mode only external declaration and definition information is written to each dump file. The amount of information output may be increased by passing the -sym[cehklsu] command line option to tchk. Any combination of the optional flags enclosed by [] may be used and the effect of each flag is described below:

• no flags external declarations, definitions only;

• c string and character literals output;

• e errors incorporated into dump output;

• e_only only errors output;

• h included headers output;

• k keywords output;

• l local variables output;

• s scopes output;

• u variable usage output.

The amount of information about an object stored in a dump file depends on the compilation mode used to produce that file. For example, if extra prototype checks are enabled (see section 3.3), the dump file contains any information inferred about a function from its traditional style definition or from applications of that function. For example, if one file contains:

	extern void f () ;
	void g ()
	{
		f ( "hello" ) ;
	}

	void f ( n ) int n ;
	{
		return ;
	}

	void f WEAK ( char * ) ;

	void f WEAK ( int ) ;