| 2 |
7u83 |
1 |
<!-- Crown Copyright (c) 1998 -->
|
|
|
2 |
<HTML>
|
|
|
3 |
<HEAD>
|
|
|
4 |
<TITLE>C Checker Reference Manual: Compilation Modes</TITLE>
|
|
|
5 |
</HEAD>
|
|
|
6 |
<BODY TEXT="#000000" BGCOLOR="#FFFFFF" LINK="#0000FF" VLINK="#400080" ALINK="#FF0000">
|
|
|
7 |
<A NAME=S123>
|
|
|
8 |
<H1>C Checker Reference Manual</H1>
|
|
|
9 |
<H3>January 1998</H3>
|
|
|
10 |
<A HREF="tdfc16.html"><IMG SRC="../images/next.gif" ALT="next section"></A>
|
|
|
11 |
<A HREF="tdfc14.html"><IMG SRC="../images/prev.gif" ALT="previous section"></A>
|
|
|
12 |
<A HREF="tdfc1.html"><IMG SRC="../images/top.gif" ALT="current document"></A>
|
|
|
13 |
<A HREF="../index.html"><IMG SRC="../images/home.gif" ALT="TenDRA home page">
|
|
|
14 |
</A>
|
|
|
15 |
<IMG SRC="../images/no_index.gif" ALT="document index"><P>
|
|
|
16 |
<HR>
|
|
|
17 |
<DL>
|
|
|
18 |
<DT><A HREF="#S124"><B>A.1 </B> - Base modes</A><DD>
|
|
|
19 |
<DT><A HREF="#S125"><B>A.2 </B> - nepc and not_ansi modes</A><DD>
|
|
|
20 |
</DL>
|
|
|
21 |
|
|
|
22 |
<HR>
|
|
|
23 |
<H1>A Compilation Modes</H1>
|
|
|
24 |
<A NAME=S124>
|
|
|
25 |
<HR><H2>A.1 Base modes</H2>
|
|
|
26 |
The Xs, Xp, Xw, Xc, Xa and Xt modes are mutually incompatible and
|
|
|
27 |
should not be used together. All other built-in mode combinations
|
|
|
28 |
are allowed and, of course, any built-in mode can be combined with
|
|
|
29 |
user-defined modes as described in section 2.2.<P>
|
|
|
30 |
Checks marked with E are enabled to produce an error and checks marked
|
|
|
31 |
with W are enabled to produce a warning. A blank entry implies that
|
|
|
32 |
the check is disabled.<P>
|
|
|
33 |
<BR><IMG SRC="table5.ps"><BR>
|
|
|
34 |
<P>
|
|
|
35 |
<A NAME=S125>
|
|
|
36 |
<HR><H2>A.2 nepc and not_ansi modes</H2>
|
|
|
37 |
These modes modify the base environment.<P>
|
|
|
38 |
The <CODE>nepc</CODE> environment switches off most of the extra portability
|
|
|
39 |
checking. It is specified by passing the -nepc option to tcc.<P>
|
|
|
40 |
Printf String Checking OFF<P>
|
|
|
41 |
Pragma Profile:<P>
|
|
|
42 |
<PRE>
|
|
|
43 |
#pragma TenDRA conversion analysis off
|
|
|
44 |
#pragma TenDRA weak prototype analysis off
|
|
|
45 |
#pragma TenDRA compatible type : char * == void * : allow
|
|
|
46 |
#pragma TenDRA function pointer as pointer allow
|
|
|
47 |
#pragma TenDRA character escape overflow allow
|
|
|
48 |
#pragma TenDRA no nline after file end allow
|
|
|
49 |
#pragma TenDRA bitfield overflow allow
|
|
|
50 |
</PRE>
|
|
|
51 |
<P>
|
|
|
52 |
The <CODE>not_ansi</CODE> environment provides support for a range
|
|
|
53 |
of non-ansi dialect features. It is specified by passing the -not_ansi
|
|
|
54 |
option to tcc.<P>
|
|
|
55 |
Pragma Profile:<P>
|
|
|
56 |
<PRE>
|
|
|
57 |
#pragma TenDRA linkage resolution : (internal) on
|
|
|
58 |
#pragma TenDRA unify external linkage on
|
|
|
59 |
#pragma TenDRA directive assert allow
|
|
|
60 |
#pragma TenDRA directive file allow
|
|
|
61 |
#pragma TenDRA directive ident allow
|
|
|
62 |
#pragma TenDRA directive unassert allow
|
|
|
63 |
#pragma TenDRA directive weak allow
|
|
|
64 |
#pragma TenDRA compatible type : char * == void * : allow
|
|
|
65 |
#pragma TenDRA conditional lvalue allow
|
|
|
66 |
#pragma TenDRA extra ; allow
|
|
|
67 |
#pragma TenDRA extra bitfield int type allow
|
|
|
68 |
#pragma TenDRA extra type definition allow
|
|
|
69 |
#pragma TenDRA ignore struct/union/enum tag on
|
|
|
70 |
#pragma TenDRA implicit int type for external declaration allow
|
|
|
71 |
#pragma TenDRA implicit int type for function return allow
|
|
|
72 |
#pragma TenDRA no external declaration allow
|
|
|
73 |
#pragma TenDRA text after directive allow
|
|
|
74 |
#pragma TenDRA unknown escape allow
|
|
|
75 |
#pragma TenDRA unknown pragma allow
|
|
|
76 |
#pragma TenDRA weak macro equality allow
|
|
|
77 |
#pragma TenDRA extra ... allow
|
|
|
78 |
#pragma TenDRA extra , allow
|
|
|
79 |
#pragma TenDRA incomplete type as object type allow
|
|
|
80 |
#pragma TenDRA dollar as ident allow
|
|
|
81 |
#pragma TenDRA variable initialization allow
|
|
|
82 |
#pragma TenDRA extra macro definition allow
|
|
|
83 |
#pragma TenDRA incompatible type qualifier allow
|
|
|
84 |
#pragma TenDRA no directive/nline after ident allow
|
|
|
85 |
#pragma TenDRA unknown directive allow
|
|
|
86 |
#pragma TenDRA no ident after # allow
|
|
|
87 |
#pragma TenDRA block function static allow
|
|
|
88 |
#pragma TenDRA unknown struct/union allow
|
|
|
89 |
</PRE>
|
|
|
90 |
<P>
|
|
|
91 |
<!-- FM pgf ignored -->
|
|
|
92 |
<HR>
|
|
|
93 |
<P><I>Part of the <A HREF="../index.html">TenDRA Web</A>.<BR>Crown
|
|
|
94 |
Copyright © 1998.</I></P>
|
|
|
95 |
</BODY>
|
|
|
96 |
</HTML>
|