C Checker Reference Manual

January 1998

7.1 Introduction

	void f () {
		{
			extern void g ();
			g ( 3 );
		}
		g ( 7 );
	}

	extern int g ();

	#pragma TenDRA unify external linkage on

Another linkage problem, which is left undefined in the ISO C standard, is illustrated by the following program:

	int f () {
		extern int g ();
		return ( g () );
	}
	
	static int g ()
	{
		return ( 0 );
	}

	#pragma TenDRA linkage resolution : action

1. (internal) on

2. (internal) warning

3. (external) on

4. (external) warning

5. off

	#pragma TenDRA incompatible linkage permit

	a, b;

	int a, b;

	#pragma TenDRA implicit int type for external declaration permit

A more common feature, allowed by the ISO C standard, but considered bad style by some, is the inference of an int return type for functions defined in the form:

	f ( int n ) {
		....
	}

	#pragma TenDRA implicit int type for function return permit

	#pragma TenDRA extra int bitfield type permit

If non-int bitfields are allowed, the bitfield is treated as if it had been declared with an int type of the same signedness as the given type. The use of the type char as a bitfield type still generally causes an error, since whether a plain char is treated as signed or unsigned is implementation-dependent. The pragma:

	#pragma TenDRA character set-sign

	#pragma TenDRA extra type definition permit

	#pragma TenDRA block function static permit

	#pragma TenDRA incomplete type as object type permit

	#pragma TenDRA forward enum declaration permit

	#pragma TenDRA unknown struct/union permit

	struct {int i; int j;};

	        #pragma TenDRA external volatile_t

	#pragma TenDRA set name limit integer_constant

	int f(int a,...) {
		return 1; }
	int main() {
		int x, y;
		x=f(y ,...);
		return 1;
	}

	#pragma TenDRA ident ... permit

	struct s {int a, b; };
	void f (int n,struct s *s1,struct s *s2) {
		( n ? s1: s2)->a = 0;
	}

	#pragma TenDRA conditional lvalue allow

1. Both options of the conditional operator have compatible compound types;

2. Both options of the conditional are lvalues.

	#pragma TenDRA ignore struct/union/enum tag status

	void f () {
		struct {
			int a;
			int b;
		} x = { 3, 2 };
	}

	#pragma TenDRA initialization of struct/union (auto) permit

	#pragma TenDRA variable initialization permit

	#pragma TenDRA unknown escape permit

	#pragma TenDRA dollar as ident allow

	"abc"='3';

	"abc"[1]='3';

	#pragma TenDRA writeable string literal permit

	#pragma TenDRA unify incompatible string literal permit

	#pragma TenDRA nested comment analysis status

	#pragma TenDRA no external declaration permit

	enum e = {red, orange, yellow,};

	#pragma TenDRA extra , permit

	int f () {
		return ( 0 );
	};

	#pragma TenDRA extra ; permit

	#pragma TenDRA ++