Training courses

Kernel and Embedded Linux

Bootlin training courses

Embedded Linux, kernel,
Yocto Project, Buildroot, real-time,
graphics, boot time, debugging...

Bootlin logo

Elixir Cross Referencer

Open Menu /tests/usr.bin/xlint/lint1/op_colon.c 
  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
/*	$NetBSD: op_colon.c,v 1.7 2023/03/28 14:44:35 rillig Exp $	*/
# 3 "op_colon.c"

/*
 * Test handling of the operator ':', as part of the '?:'.
 */

/* lint1-extra-flags: -p -X 351 */

struct canary {
	int member;
};

void
sink(struct canary);

void
test_merge_qualifiers(_Bool cond, int *p, const int *c, volatile int *v,
		      const volatile int *cv)
{
	/* expect+1: ... 'pointer to int' ... */
	sink(cond ? p : p);
	/* expect+1: ... 'pointer to const int' ... */
	sink(cond ? p : c);
	/* expect+1: ... 'pointer to volatile int' ... */
	sink(cond ? p : v);
	/* expect+1: ... 'pointer to const volatile int' ... */
	sink(cond ? p : cv);

	/* expect+1: ... 'pointer to const int' ... */
	sink(cond ? c : p);
	/* expect+1: ... 'pointer to const int' ... */
	sink(cond ? c : c);
	/* expect+1: ... 'pointer to const volatile int' ... */
	sink(cond ? c : v);
	/* expect+1: ... 'pointer to const volatile int' ... */
	sink(cond ? c : cv);

	/* expect+1: ... 'pointer to volatile int' ... */
	sink(cond ? v : p);
	/* expect+1: ... 'pointer to const volatile int' ... */
	sink(cond ? v : c);
	/* expect+1: ... 'pointer to volatile int' ... */
	sink(cond ? v : v);
	/* expect+1: ... 'pointer to const volatile int' ... */
	sink(cond ? v : cv);

	/* expect+1: ... 'pointer to const volatile int' ... */
	sink(cond ? cv : p);
	/* expect+1: ... 'pointer to const volatile int' ... */
	sink(cond ? cv : c);
	/* expect+1: ... 'pointer to const volatile int' ... */
	sink(cond ? cv : v);
	/* expect+1: ... 'pointer to const volatile int' ... */
	sink(cond ? cv : cv);
}

/* null pointer constant + other pointer */
void
c99_6_5_15_p6(_Bool cond, const volatile double *cv_dp)
{
	/* expect+2: ... 'pointer to const volatile double' ... */
	/* expect+2: ... 'pointer to const volatile double' ... */
	sink(cond ? cv_dp : (void *)0);
	sink(cond ? (void *)0 : cv_dp);
}

void
c99_6_5_15_p8(
    _Bool cond,
    const void *c_vp,
    void *vp,
    const int *c_ip,
    volatile int *v_ip,
    int *ip,
    const char *c_cp
)
{
	/* expect+2: ... 'pointer to const void' ... */
	/* expect+2: ... 'pointer to const void' ... */
	sink(cond ? c_vp : c_ip);
	sink(cond ? c_ip : c_vp);

	/* expect+2: ... 'pointer to volatile int' ... */
	/* expect+2: ... 'pointer to volatile int' ... */
	sink(cond ? v_ip : 0);
	sink(cond ? 0 : v_ip);

	/* expect+2: ... 'pointer to const volatile int' ... */
	/* expect+2: ... 'pointer to const volatile int' ... */
	sink(cond ? c_ip : v_ip);
	sink(cond ? v_ip : c_ip);

	/* expect+2: ... 'pointer to const void' ... */
	/* expect+2: ... 'pointer to const void' ... */
	sink(cond ? vp : c_cp);
	sink(cond ? c_cp : vp);

	/* expect+2: ... 'pointer to const int' ... */
	/* expect+2: ... 'pointer to const int' ... */
	sink(cond ? ip : c_ip);
	sink(cond ? c_ip : ip);

	/* expect+2: ... 'pointer to void' ... */
	/* expect+2: ... 'pointer to void' ... */
	sink(cond ? vp : ip);
	sink(cond ? ip : vp);
}