Home | History | Annotate | Line # | Download | only in lint1
expr.c revision 1.1
      1  1.1  rillig /*	$NetBSD: expr.c,v 1.1 2024/06/08 09:09:20 rillig Exp $	*/
      2  1.1  rillig # 3 "expr.c"
      3  1.1  rillig 
      4  1.1  rillig /*
      5  1.1  rillig  * Miscellaneous tests for expressions.
      6  1.1  rillig  */
      7  1.1  rillig 
      8  1.1  rillig /* lint1-extra-flags: -X 351 */
      9  1.1  rillig 
     10  1.1  rillig struct bit_fields {
     11  1.1  rillig 	unsigned u32: 32;
     12  1.1  rillig };
     13  1.1  rillig 
     14  1.1  rillig unsigned long
     15  1.1  rillig expr_cond_cvt(unsigned long ul)
     16  1.1  rillig {
     17  1.1  rillig 	struct bit_fields bits = { 0 };
     18  1.1  rillig 	// Combining 'unsigned:32' and 'unsigned long' in the ':' operator
     19  1.1  rillig 	// results in 'unsigned long'.
     20  1.1  rillig 	return bits.u32 < ul ? bits.u32 : ul;
     21  1.1  rillig }
     22  1.1  rillig 
     23  1.1  rillig // Before tree.c 1.76 from 2014-04-17, lint crashed with an internal error,
     24  1.1  rillig // due to an uninitialized right operand of a tree node.
     25  1.1  rillig void
     26  1.1  rillig crash_in_assignment(void)
     27  1.1  rillig {
     28  1.1  rillig 	/* expect+1: warning: 'x' set but not used in function 'crash_in_assignment' [191] */
     29  1.1  rillig 	double x = 1;
     30  1.1  rillig 	int foo = 0;
     31  1.1  rillig 	if (foo)
     32  1.1  rillig 		x = 1;
     33  1.1  rillig }
     34