Home | History | Annotate | Line # | Download | only in lint1
op_colon.c revision 1.2 
      1  1.2  rillig /*	$NetBSD: op_colon.c,v 1.2 2022/01/15 14:22:03 rillig Exp $	*/
      2  1.1  rillig # 3 "op_colon.c"
      3  1.1  rillig 
      4  1.1  rillig /*
      5  1.1  rillig  * Test handling of the operator ':', as part of the '?:'.
      6  1.1  rillig  */
      7  1.1  rillig 
      8  1.1  rillig /* lint1-extra-flags: -p */
      9  1.1  rillig 
     10  1.1  rillig void sink(void *);
     11  1.1  rillig 
     12  1.1  rillig void
     13  1.1  rillig test_merge_qualifiers(_Bool cond, int *p, const int *c, volatile int *v,
     14  1.1  rillig 		      const volatile int *cv)
     15  1.1  rillig {
     16  1.1  rillig 	sink(cond ? p : p);
     17  1.2  rillig 	/* expect+1: 'pointer to const int' */
     18  1.2  rillig 	sink(cond ? p : c);
     19  1.2  rillig 	/* expect+1: 'pointer to volatile int' */
     20  1.2  rillig 	sink(cond ? p : v);
     21  1.2  rillig 	/* expect+1: 'pointer to const volatile int' */
     22  1.2  rillig 	sink(cond ? p : cv);
     23  1.2  rillig 
     24  1.2  rillig 	/* expect+1: 'pointer to const int' */
     25  1.2  rillig 	sink(cond ? c : p);
     26  1.2  rillig 	/* expect+1: 'pointer to const int' */
     27  1.2  rillig 	sink(cond ? c : c);
     28  1.2  rillig 	/* expect+1: 'pointer to const volatile int' */
     29  1.2  rillig 	sink(cond ? c : v);
     30  1.2  rillig 	/* expect+1: 'pointer to const volatile int' */
     31  1.2  rillig 	sink(cond ? c : cv);
     32  1.2  rillig 
     33  1.2  rillig 	/* expect+1: 'pointer to volatile int' */
     34  1.2  rillig 	sink(cond ? v : p);
     35  1.2  rillig 	/* expect+1: 'pointer to const volatile int' */
     36  1.2  rillig 	sink(cond ? v : c);
     37  1.2  rillig 	/* expect+1: 'pointer to volatile int' */
     38  1.2  rillig 	sink(cond ? v : v);
     39  1.2  rillig 	/* expect+1: 'pointer to const volatile int' */
     40  1.2  rillig 	sink(cond ? v : cv);
     41  1.2  rillig 
     42  1.2  rillig 	/* expect+1: 'pointer to const volatile int' */
     43  1.2  rillig 	sink(cond ? cv : p);
     44  1.2  rillig 	/* expect+1: 'pointer to const volatile int' */
     45  1.2  rillig 	sink(cond ? cv : c);
     46  1.2  rillig 	/* expect+1: 'pointer to const volatile int' */
     47  1.2  rillig 	sink(cond ? cv : v);
     48  1.2  rillig 	/* expect+1: 'pointer to const volatile int' */
     49  1.2  rillig 	sink(cond ? cv : cv);
     50  1.1  rillig }
     51