Word Pro - PCLint选项详解.lwp

Size: px

Start display at page:

Download "Word Pro - PCLint选项详解.lwp"

耕窟尹
4 years ago
Views:

2 CC PCLintSource Insight Source Insight

3 PC-lint for C/C++ (NT) Ver. 7.50v LINT /*lint option1 option2... optional commentary */ //lint option1 option2... optional commentary lint /*// -esym(534, printf, scanf, operator new) operator new operatornew #define DIVZERO(x) /*lint -save -e54 */ ((x) /0) /*lint -restore */ LINT #?* e# # -e(#) #!e# # --e(#) # -eai char/short vs. int -ean 32intlong -eas intpointer f() pointer f(3) -eau unsigned intint C eas eaneau -efile(#,<file>) -efunc(#,<func>) # Func # -elib(#) # -elibsym(#) # elib -elib(#) # 319

4 -emacro(#,symbol) Symbol # -emacro((#),symbol) Symbol # #define DIVIDE( n, m ) n / m n / m ( n / m ) -epn -eps -epu -epp -epuc -epnc -esym(#,symbol) -etd(<typediff>) Symbol # Symbol *?-e# -e714 +esym( 714,alpha ) TypeDiff C -w<lev> (0,1,2,3,4)0 -wlib(<lev>) 2 -sb# 8 -sc# sizeof(char) 1 -slc# sizeof(long char) 2 -ss# sizeof(short) 2 -si# sizeof(int) 4 -sl# sizeof(long) 4 -sll# sizeof(long long) 8 -sf# sizeof(float) 4 -sd# sizeof(double) 8 -sld# sizeof(long double) 16 -sp# sizeof(all pointers) 46 -spn# size of near ptrs 4 -spf# size of far ptrs 6 -spnd# size of near data pointer 4 -spnp# size of near prog pointer 4 419

5 -spfd# size of far data pointer 6 -spfp# size of far prog pointer 6 -spd# size of data ptrs 46 -spp# size of program ptrs 46near4far6 -smp# size of all member ptrs 4 -smpd# size of member ptr (data) 4 -smpp# size of member ptrs (prog) 4 -smpnp# size of member ptr (Near Prog) 4 -smpfp# size of member ptr (Far Prog) 4 -sw# size of wide char stdout + stdoutstderr {-+}v[oish#][mf<int>] LINT -v+v +v -v +v 0 o i lnt s h DOS tree # ID m f m <int> int f

6 /*lint ++flb */ int printf( ); /*lint --flb */ fab s.a.b s.b fai fan C C++ fas fan fba Bit fbc 0b... fbo bool, true, false fbu fcd cdecl fce #error fcp C++ +fcp C++ -fcp lin +fcp a1.c a2.c a3.c -fcp a4.c a5.cpp a1.ca2.ca3.c C++ Lint a4.ca5.cpp CC++ Lint fct Tag fcu char unsigned fdc C++ charunsigned charsigned char fdh '.h' fdi fdl long int fdr C feb fem pascal int f();int pascal f(); ffb For Block ffd float double ffn ffo fflush() fhd fhg ASCII 619

7 fhs typedef fhx fie fil fim -i fiq Large far fis 0xFFFF On Off fkp K&R ANSIC flb flc long char flf (C++) fll long long int fln #line fmd fna (C++) new[] fnc fnt (C++)class struct,union fod Lob fol Lob fpa fpc int pi ( * ( char ** ) &pi ) ++; (( char * ) pi ) ++; C pi ++ fpm fpn NULL NULL fps ANSI ANSI # frb fopen "rb" fsa fsc const char * fsh fsu unsigned ftf 719

8 ftr 8.3 ful unsigned long fva printf()fprintf() fvo void fvr fwc wchar_t fwu wchar_t unsigned +fwc fxa fxc char int fxf float float double fxs short short int fzl sizeof() long fzu sizeof() unsigned h[abffrsm/<m>/]<i>]<ht> -ha_3 <ht> 14 <I> <ht>2, <ht> 2 a <ht> 34 b <ht> 34 f F MaxLine1 r s m/<m>/ <M> # mn 2. -width(<width>,<indent>) -width(79,4) 3. -format= format4a-format4b %f 819

9 %m %n %t ErrorWarning %l %c %C +1 %(...%)... \n \t Tab \s \a ASCII 7 \q \\ ' \ ' 6 -A ANSI C/C++ -/+b / Copyright stdout -c<code> co-code.lnt -/+cpp(extension) -d<name>[=<value>] -c<code> /.ext C++ Lint +cpp(cc) cc a.cc C++ =value 1 value = -ddos -dalpha=0 -dx= #define DOS 1 #define alpha 0 #define X -D<nm>[=<val>][;<nm>[=<val>]]... +d... +D... except it locks in definitions 919

10 +ext(ext[,ext]...) +ext(lnt,cpp,c) lint alpha alpha.lntalpha.cpp alpha.c Unix -father(parent,children) -parent Child Parent -parent -function(f0,f1[,f2]...) f1 (, f2...)f0 fopen NULL -header(file) file -i<directory> -i- -i -ident(<chars>) -idlen(<n>[,opt]) n linker 8 opt xpc x external linker p preprocessor c compiler opt -incvar(name) INCLUDE name -index(flags,ixtype,type(s)) -strong ixtypetype ixtypetype typedef flags cd c ixtype d ixtype +libclass([all,angle,ansi,foreign]...) angle <> foreign #include foreign <> +libh ansi ANSI C/C

11 assert.h limits.h stddef.h ctype.h locale.h stdio.h errno.h math.h stdlib.h float.h setjmp.h string.h fstream.h signal.h strsteam.h iostream.h stdarg.h time.h all +libclass( angle, foreign ) -/+libdir(directory[,...]) +libdir(c:\compiler) #include "C:\compiler\i.h" Include -/+libh(header[,...]) -library -limit(<n>) -/+lnt(ext) -lobbase(filename) /*lint -library */ Module Library (n<64000) ext lnt Lob c1.cppc2.cpp gui.h gui.h lint -u c1.cpp -oo lint -u -lobbase(c1.lob) c2.cpp -oo c2.lob c1.lob -/+macros macros 2 -macros 2 -maxopen(<n>) -ms -md -ml -mp -od[options](filename) options f i s filename+od append <width> 1119

12 -oe(filename) -ol(filename) -oo[(filename)] -os(filename) -p[(n)] -parent(parent,children) stderr filename+oe append Help filename LOB stdout filename+os append -os Lint Lint n -/+ppw(word[,...]) +ppw(ident) PCLint#ident +pragma(name,action) -printf(#,id[,...]) -restore -/+rw(word[,...]) action name id printf# # # w far -printf( w2, wsprintf) *ms unsigned char *restrict pch; restrict pch +rw(restrict) pch -save -scanf(#,id[,...]) -sem(name,sem[,sem]...) id scanf # # -size(flags,amount) flagsa auto s static -strong(flags,type(s)) Type Flags typedef typedef Flags A i r p Return 1219

13 a c z ZeroZero 0 0L(int)0 Zero (HANDLE)0HANDLE Zero(HANDLE *)0 J e r o c z ==!=?: >>=<<= +-*/% &^ Zero X B Bolean Type Bolean if if(a)...aint intbolean if(a!= 0)... b l f Bolean Type Bb 1bit Boolean 1bit Boolean Flags Types Types -strong typedef Flags -strong(a) -strong(ac,count)-strong(ac,count) -strong(a) Count typedef -t# Tab # 8 -u unreachable int f(n) { } if (n) return n; exit(1); //lint -unreachable PCLint exit return return int 1319

14 -u<name> --u<name> -w<level> name name (0,1,2,3,4) -w0 Fatal Errors -w1 Errors Warnings Informationals -w2 -w3 -w4 -wlib(<level>) -wprintf(#,id[,...]) -wscanf(#,id[,...]) -zero[(#)] 4 -printf wide char -scanf wide char # 0 make -$ $ 7 -a#<predicate>(tokens) -d<name>()[=<value>] -#d<name>[=<value>] -#dtime=filename #predicate (tokens)true Unix #include time Include #include time VAX-11 C Include -overload(x) bit 1 bit 2 bit 4 X16 7 ANSI int n; f(&n); void f(int const *) void f(int far *) far ANSI & X 7 = bit 12 4 Overload -plus(char) -template(x) bit 1 Char+ X16 STL _bit _gobble 1bit +rw(_bit) +rw(_gobble) 1419

15 _to_brackets _to_semi ()[]{} +rw(_to_brackets) ; +rw(_to_semi) -dinterrupt=_to_brackets +rw(_to_brackets) //interrupt _to_brackets //_to_brackets interrupt interrupt Lint interrupt(3) interrupt[5,5] interrupt{x,x} Library Modules C++ Lint ANSI g.lib g.h g.h g.h g1.cg25.c lint -u g*.c -od(gproto.h) gproto.h g.h -ods glib.c /*lint -library */ #include "g.h" #include"gproto.h" Lint program lint co glib program //co lnt glib.c LOB lint -u co glib -oo(glib.lob) lint co glib.lob program 1519

16 8.2 CC++ CC++ Lint PClint +libh(asm.h) alpha Lint 552 -esym(552,alpha) asm.h //lint -strong( AJXb, Bool ) //lint -strong( AJX, BitField ) typedef int Bool; typedef unsigned BitField; struct foo { }x; unsigned a:1, b:2 ; BitField c:1, d:2, e:3; void f() { } // f 1bit Boolean // ac Boolb // de BitField // c x.a = (Bool) 1; //OK x.b = (Bool) 0; //NO X x.a = 0; //NO A x.b = 2; //OKb x.c = x.a; //OK x.e = 1; //NO A x.e = x.d; //OK //lint -index( d, Count, Temperature ) typedef float Temperature; 1619

17 typedef int Count; Temperature t[100]; //OK d Count Temperature *pt = t ; Count i; t[0] = t[1]; //NO c for( i=0 ; i<100 ; i++) t[i] = 0.0; pt[1] = 2.0; i = pt - t ; //OKiCount //NO c //OKpt - t Count Screen[25][80] /*lint -index( d, Row_Ix, Row ) -index( d, Col_Ix, Att_Char) */ typedef unsigned short Att_Char; typedef Att_Char Row[80];//Row 80 Att_Char typedef Row Screen[25]; typedef int Row_Ix; typedef int Col_Ix; windows.h WORDHANDLE //lint -strong(ajx) typedef unsigned Flags; // typedef Flags Flags1; // typedef Flags Flags2; #define FZERO (Flags) 0 #define F_E (Flags) 1 void m() { Flags1 f1 = FZERO; Flags2 fs; f2 = f1; //OK //NO AX 1719

18 } if( f1 & f2 ) f2 = f2 F_E; f2 = F_E f2; f2 = F_E f1; //NO J //OK //OK //NO 8.4 _lint Lint _lint Lint Lint #ifndef... #endif _lint 8.5 lint alpha beta -idirectory Lint alphabeta directory -i 8.6 Lint Lint +fsc +fxa +fxc +fxf +fxs +fpn -strong(ajx) -w4 9 PCLintSource Insight Source Insight Lint Search->Parse Source Links Lint Pattern ^$.*\.[a-za-z]$\w$[0-9]+$.* File,then Line Lint Pattern 9.1 Source Insight ^ ( ). [abc] [^abc] abc abc ^ [] 1819

19 * \t Tab \s Space \w TabSpace $ \ a\*b a*b 0 a b  1 [<character list>] eg. [abcde] [x-y] eg. [a-z] xy xy x<y eg. [WXYa-z0-9] 1919

新版明解Ｃ言語入門編

新版明解Ｃ言語入門編 328, 4, 110, 189, 103, 11... 318. 274 6 ; 10 ; 5? 48 & & 228! 61!= 42 ^= 66 _ 82 /= 66 /* 3 / 19 ~ 164 OR 53 OR 164 = 66 ( ) 115 ( ) 31 ^ OR 164 [] 89, 241 [] 324 + + 4, 19, 241 + + 22 ++ 67 ++ 73 += 66