Home | History | Annotate | Line # | Download | only in lint1 
      1 /*	$NetBSD: c99_bool_strict_suppressed.c,v 1.6 2023/07/07 19:45:22 rillig Exp $	*/
      2 # 3 "c99_bool_strict_suppressed.c"
      3 
      4 /*
      5  * In strict bool mode, like everywhere else, individual errors can be
      6  * suppressed.  Suppressing a message affects lint's output as well as the
      7  * exit status.  Lint's control flow stays the same as before though.
      8  *
      9  * This can result in assertion failures later.  One such assertion has been
     10  * there since at least 1995, at the beginning of expr(), ensuring that the
     11  * expression is either non-null or an error message has been _printed_.
     12  * In 1995, it was not possible to suppress error messages, which means that
     13  * the number of printed errors equaled the number of occurred errors.
     14  *
     15  * In err.c 1.12 from 2000-07-06, the option -X was added, allowing to
     16  * suppress individual error messages.  That commit did not mention any
     17  * interaction with the assertion in expr().  The assertion was removed in
     18  * tree.c 1.305 from 2021-07-04.
     19  */
     20 
     21 /* lint1-extra-flags: -T -X 107,330,331,332,333 -X 351 */
     22 
     23 /* ARGSUSED */
     24 void
     25 test(_Bool b, int i, const char *p)
     26 {
     27 
     28 	/* suppressed+1: error: controlling expression must be bool, not 'int' [333] */
     29 	while (1)
     30 		break;
     31 
     32 	/* suppressed+1: error: operands of '=' have incompatible types '_Bool' and 'int' [107] */
     33 	b = i;
     34 
     35 	/* suppressed+1: error: operand of '!' must be bool, not 'int' [330] */
     36 	b = !i;
     37 
     38 	/* suppressed+1: error: left operand of '&&' must be bool, not 'int' [331] */
     39 	b = i && b;
     40 
     41 	/* suppressed+1: error: right operand of '&&' must be bool, not 'int' [332] */
     42 	b = b && i;
     43 }
     44