Lines Matching full:after
18 * The '@'s after leading '*' in comment lines are used for self-tests:
36 /*X */ /*@2 missing spc or '*' after comment start reported unless sloppy-spc */
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
61 w = 0 /*@ hanging expr indent off by 1, or 3 for lines after '{' */
64 y,z /*@ no space after ',', reported unless sloppy-spc */
69 }u_member; /*@ no space after '}', reported unless sloppy-spc */
74 for ( ; x; y) ; /*@2 space after '(' and before ';', unless sloppy-spc */
75 for (;;n++) { /*@ missing space after ';', reported unless sloppy-spc */
77 }} /*@2 code after '}' outside expr */
81 int f (int a, /*@ space after fn before '(', reported unless sloppy-spc */
84 { int x; /*@ code after '{' opening a block */
92 2, /*@ hanging expr indent (for lines after '{') off by 1 */
99 /* */ /*@0 missing blank line after local decls */
110 if(a /*@ missing space after 'if', reported unless sloppy-spc */
112 && ! 0 /*@2 space after '!', reported unless sloppy-spc */
117 (y *=z) + /*@ missing space after '*=' reported unless sloppy-spc */
118 a %2 / /*@ missing space after '%', reported unless sloppy-spc */
120 /* */+ /*@ no space after comment, reported unless sloppy-spc */
121 s. e_member) /*@ space after '.', reported unless sloppy-spc */
127 } else /*@ missing '{' on same line after '} else' */
131 if (1) f(a, /*@ (non-brace) code after end of 'if' condition */
133 do f(c, c); /*@ (non-brace) code after 'do' */
134 while ( 2); /*@ space after '(', reported unless sloppy-spc */
139 f (3, /*@ space after fn before '(', reported unless sloppy-spc */
145 case(2): /*@ missing space after 'case', reported unless sloppy-spc */
146 default: ; /*@ code after 'default:' */
148 return( /*@ missing space after 'return', reported unless sloppy-spc */