C Checker Reference Manual

January 1998

A.1 - Base modes
A.2 - nepc and not_ansi modes

A Compilation Modes

A.1 Base modes

The Xs, Xp, Xw, Xc, Xa and Xt modes are mutually incompatible and should not be used together. All other built-in mode combinations are allowed and, of course, any built-in mode can be combined with user-defined modes as described in section 2.2.

Checks marked with E are enabled to produce an error and checks marked with W are enabled to produce a warning. A blank entry implies that the check is disabled.

A.2 nepc and not_ansi modes

These modes modify the base environment.

The nepc environment switches off most of the extra portability checking. It is specified by passing the -nepc option to tcc.

Printf String Checking OFF

Pragma Profile:

	#pragma TenDRA conversion analysis off
	#pragma TenDRA weak prototype analysis off
	#pragma TenDRA compatible type : char * == void * : allow
	#pragma TenDRA function pointer as pointer allow
	#pragma TenDRA character escape overflow allow
	#pragma TenDRA no nline after file end allow
	#pragma TenDRA bitfield overflow allow

The not_ansi environment provides support for a range of non-ansi dialect features. It is specified by passing the -not_ansi option to tcc.

Pragma Profile:

	#pragma TenDRA linkage resolution : (internal) on
	#pragma TenDRA unify external linkage on
	#pragma TenDRA directive assert allow
	#pragma TenDRA directive file allow
	#pragma TenDRA directive ident allow
	#pragma TenDRA directive unassert allow
	#pragma TenDRA directive weak allow
	#pragma TenDRA compatible type : char * == void * : allow
	#pragma TenDRA conditional lvalue allow
	#pragma TenDRA extra ; allow
	#pragma TenDRA extra bitfield int type allow
	#pragma TenDRA extra type definition allow
	#pragma TenDRA ignore struct/union/enum tag on
	#pragma TenDRA implicit int type for external declaration allow
	#pragma TenDRA implicit int type for function return allow
	#pragma TenDRA no external declaration allow
	#pragma TenDRA text after directive allow
	#pragma TenDRA unknown escape allow
	#pragma TenDRA unknown pragma allow
	#pragma TenDRA weak macro equality allow
	#pragma TenDRA extra ... allow
	#pragma TenDRA extra , allow
	#pragma TenDRA incomplete type as object type allow
	#pragma TenDRA dollar as ident allow
	#pragma TenDRA variable initialization allow
	#pragma TenDRA extra macro definition allow
	#pragma TenDRA incompatible type qualifier allow
	#pragma TenDRA no directive/nline after ident allow
	#pragma TenDRA unknown directive allow
	#pragma TenDRA no ident after # allow
	#pragma TenDRA block function static allow
	#pragma TenDRA unknown struct/union allow