Lines Matching full:reported
19 * they mark lines containing a single issue that should be reported.
20 * Normally it should be reported while handling the given line,
25 /* this line is between 81 and 100 chars long, to be reported with -strict-len */
35 /*@0 intra-line comment indent off by 1, reported unless sloppy-cmt */
36 /*X */ /*@2 missing spc or '*' after comment start reported unless sloppy-spc */
37 /* X*/ /*@ missing space before comment end , reported unless sloppy-spc */
40 …*@ above multi-line comment start indent off by 1, reported unless sloppy-cmt; this comment line i…
46 *X*@ no spc after leading '*' in multi-line comment, reported unless sloppy-spc
47 *@0 more than two spaces after . in comment, no more reported
48 *@0 more than two spaces after ? in comment, no more reported
49 *@0 more than two spaces after ! in comment, no more reported
56 #define X (1 + 1) /*@0 extra space in body, reported unless sloppy-spc */
57 #define Y 1 /*@ extra space before body, reported unless sloppy-spc */ \
59 typedef struct { /*@0 extra space in code, reported unless sloppy-spc */
60 enum { /*@1 extra space in intra-line comment, no more reported */
64 y,z /*@ no space after ',', reported unless sloppy-spc */
65 } e_member ; /*@ space before ';', reported unless sloppy-spc */
68 struct{} s; /*@ no space before '{', reported unless sloppy-spc */
69 }u_member; /*@ no space after '}', reported unless sloppy-spc */
73 for (; ; ) ; /*@ space before ')', reported unless sloppy-spc */
75 for (;;n++) { /*@ missing space after ';', reported unless sloppy-spc */
81 int f (int a, /*@ space after fn before '(', reported unless sloppy-spc */
91 1* 1, /*@ no space etc. before '*', reported unless sloppy-spc */
106 … abc == /*@ .. so reported also with sloppy-hang; this line is too long by 6 or 26 chars */ 456
110 if(a /*@ missing space after 'if', reported unless sloppy-spc */
112 && ! 0 /*@2 space after '!', reported unless sloppy-spc */
114 (x<<= 1) + /*@ missing space before '<<=' reported unless sloppy-spc */
115 (xx+= 2) + /*@ missing space before '+=', reported unless sloppy-spc */
116 (a^ 1) + /*@ missing space before '^', reported unless sloppy-spc */
117 (y *=z) + /*@ missing space after '*=' reported unless sloppy-spc */
118 a %2 / /*@ missing space after '%', reported unless sloppy-spc */
119 1 +/* */ /*@ no space before comment, reported unless sloppy-spc */
120 /* */+ /*@ no space after comment, reported unless sloppy-spc */
121 s. e_member) /*@ space after '.', reported unless sloppy-spc */
124 if (a ++) /*@ space before postfix '++', reported unless sloppy-spc */
126 c; /*@0 single stmt in braces, reported on 1-stmt */
129 d; /*@0 single stmt in braces, reported on 1-stmt */
134 while ( 2); /*@ space after '(', reported unless sloppy-spc */
137 do{ /*@ missing space before '{', reported unless sloppy-spc */
139 f (3, /*@ space after fn before '(', reported unless sloppy-spc */
142 while (a+ 0); /*@2 missing space before '+', reported unless sloppy-spc */
143 switch (b ) { /*@ space before ')', reported unless sloppy-spc */
145 case(2): /*@ missing space after 'case', reported unless sloppy-spc */
148 return( /*@ missing space after 'return', reported unless sloppy-spc */