Lines Matching full:after

18  * The '@'s after '*' are used for self-tests: they mark lines containing
33 /*X */ /*@2 missing spc or '*' after comment start reported unless sloppy-spc */
43 *X*@ no spc after leading '*' in multi-line comment, reported unless sloppy-spc
44 *@0 more than two spaces after . in comment, no more reported
45 *@0 more than two spaces after ? in comment, no more reported
46 *@0 more than two spaces after ! in comment, no more reported
59 w = 0 /*@ hanging expr indent off by 1, or 3 for lines after '{' */
62 y,z /*@ no space after ',', reported unless sloppy-spc */
67 }u_member; /*@ no space after '}', reported unless sloppy-spc */
72 for ( ; x; y) ; /*@2 space after '(' and before ';', unless sloppy-spc */
73 for (;;n++) { /*@ missing space after ';', reported unless sloppy-spc */
75 }} /*@2 code after '}' outside expr */
79 int f (int a, /*@ space after fn before '(', reported unless sloppy-spc */
82 { int x; /*@ code after '{' opening a block */
90 2, /*@ hanging expr indent (for lines after '{') off by 1 */
97 /* */ /*@0 missing blank line after local decls */
108 if(a /*@ missing space after 'if', reported unless sloppy-spc */
110 && ! 0 /*@2 space after '!', reported unless sloppy-spc */
115 (y *=z) + /*@ missing space after '*=' reported unless sloppy-spc */
116 a %2 / /*@ missing space after '%', reported unless sloppy-spc */
118 /* */+ /*@ no space after comment, reported unless sloppy-spc */
119 s. e_member) /*@ space after '.', reported unless sloppy-spc */
125 } else /*@ missing '{' on same line after '} else' */
129 if (1) f(a, /*@ (non-brace) code after end of 'if' condition */
131 do f(c, c); /*@ (non-brace) code after 'do' */
132 while ( 2); /*@ space after '(', reported unless sloppy-spc */
137 f (3, /*@ space after fn before '(', reported unless sloppy-spc */
143 case(2): /*@ missing space after 'case', reported unless sloppy-spc */
144 default: ; /*@ code after 'default:' */
146 return( /*@ missing space after 'return', reported unless sloppy-spc */