aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.c-torture/execute/memchr-1.c
blob: ec37632299251cb842beb1fcd27b0d6664b5142c (plain)
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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
/* PR tree-optimization/86711 - wrong folding of memchr

   Verify that memchr() of arrays initialized with string literals
   where the nul doesn't fit in the array doesn't find the nul.  */
typedef __SIZE_TYPE__  size_t;
typedef __WCHAR_TYPE__ wchar_t;

extern void* memchr (const void*, int, size_t);

#define A(expr)							\
  ((expr)							\
   ? (void)0							\
   : (__builtin_printf ("assertion failed on line %i: %s\n",	\
			__LINE__, #expr),			\
      __builtin_abort ()))

static const char c = '1';
static const char s1[1] = "1";
static const char s4[4] = "1234";

static const char s4_2[2][4] = { "1234", "5678" };
static const char s5_3[3][5] = { "12345", "6789", "01234" };

volatile int v0 = 0;
volatile int v1 = 1;
volatile int v2 = 2;
volatile int v3 = 3;
volatile int v4 = 3;

void test_narrow (void)
{
  int i0 = 0;
  int i1 = i0 + 1;
  int i2 = i1 + 1;
  int i3 = i2 + 1;
  int i4 = i3 + 1;

  A (memchr ("" + 1, 0, 0) == 0);

  A (memchr (&c, 0, sizeof c) == 0);
  A (memchr (&c + 1, 0, sizeof c - 1) == 0);
  A (memchr (&c + i1, 0, sizeof c - i1) == 0);
  A (memchr (&c + v1, 0, sizeof c - v1) == 0);

  A (memchr (s1, 0, sizeof s1) == 0);
  A (memchr (s1 + 1, 0, sizeof s1 - 1) == 0);
  A (memchr (s1 + i1, 0, sizeof s1 - i1) == 0);
  A (memchr (s1 + v1, 0, sizeof s1 - v1) == 0);

  A (memchr (&s1, 0, sizeof s1) == 0);
  A (memchr (&s1 + 1, 0, sizeof s1 - 1) == 0);
  A (memchr (&s1 + i1, 0, sizeof s1 - i1) == 0);
  A (memchr (&s1 + v1, 0, sizeof s1 - v1) == 0);

  A (memchr (&s1[0], 0, sizeof s1) == 0);
  A (memchr (&s1[0] + 1, 0, sizeof s1 - 1) == 0);
  A (memchr (&s1[0] + i1, 0, sizeof s1 - i1) == 0);
  A (memchr (&s1[0] + v1, 0, sizeof s1 - v1) == 0);

  A (memchr (&s1[i0], 0, sizeof s1) == 0);
  A (memchr (&s1[i0] + 1, 0, sizeof s1 - 1) == 0);
  A (memchr (&s1[i0] + i1, 0, sizeof s1 - i1) == 0);
  A (memchr (&s1[i0] + v1, 0, sizeof s1 - v1) == 0);

  A (memchr (&s1[v0], 0, sizeof s1) == 0);
  A (memchr (&s1[v0] + 1, 0, sizeof s1 - 1) == 0);
  A (memchr (&s1[v0] + i1, 0, sizeof s1 - i1) == 0);
  A (memchr (&s1[v0] + v1, 0, sizeof s1 - v1) == 0);


  A (memchr (s4 + i0, 0, sizeof s4 - i0) == 0);
  A (memchr (s4 + i1, 0, sizeof s4 - i1) == 0);
  A (memchr (s4 + i2, 0, sizeof s4 - i2) == 0);
  A (memchr (s4 + i3, 0, sizeof s4 - i3) == 0);
  A (memchr (s4 + i4, 0, sizeof s4 - i4) == 0);

  A (memchr (s4 + v0, 0, sizeof s4 - v0) == 0);
  A (memchr (s4 + v1, 0, sizeof s4 - v1) == 0);
  A (memchr (s4 + v2, 0, sizeof s4 - v2) == 0);
  A (memchr (s4 + v3, 0, sizeof s4 - v3) == 0);
  A (memchr (s4 + v4, 0, sizeof s4 - v4) == 0);


  A (memchr (s4_2, 0, sizeof s4_2) == 0);

  A (memchr (s4_2[0], 0, sizeof s4_2[0]) == 0);
  A (memchr (s4_2[1], 0, sizeof s4_2[1]) == 0);

  A (memchr (s4_2[0] + 1, 0, sizeof s4_2[0] - 1) == 0);
  A (memchr (s4_2[1] + 2, 0, sizeof s4_2[1] - 2) == 0);
  A (memchr (s4_2[1] + 3, 0, sizeof s4_2[1] - 3) == 0);

  A (memchr (s4_2[v0], 0, sizeof s4_2[v0]) == 0);
  A (memchr (s4_2[v0] + 1, 0, sizeof s4_2[v0] - 1) == 0);


  /* The following calls must find the nul.  */
  A (memchr ("", 0, 1) != 0);
  A (memchr (s5_3, 0, sizeof s5_3) == &s5_3[1][4]);

  A (memchr (&s5_3[0][0] + i0, 0, sizeof s5_3 - i0) == &s5_3[1][4]);
  A (memchr (&s5_3[0][0] + i1, 0, sizeof s5_3 - i1) == &s5_3[1][4]);
  A (memchr (&s5_3[0][0] + i2, 0, sizeof s5_3 - i2) == &s5_3[1][4]);
  A (memchr (&s5_3[0][0] + i4, 0, sizeof s5_3 - i4) == &s5_3[1][4]);

  A (memchr (&s5_3[1][i0], 0, sizeof s5_3[1] - i0) == &s5_3[1][4]);
}

static const wchar_t wc = L'1';
static const wchar_t ws1[] = L"1";
static const wchar_t ws4[] = L"\x00123456\x12005678\x12340078\x12345600";

void test_wide (void)
{
  int i0 = 0;
  int i1 = i0 + 1;
  int i2 = i1 + 1;
  int i3 = i2 + 1;
  int i4 = i3 + 1;

  A (memchr (L"" + 1, 0, 0) == 0);
  A (memchr (&wc + 1, 0, 0) == 0);
  A (memchr (L"\x12345678", 0, sizeof (wchar_t)) == 0);

  const size_t nb = sizeof ws4;
  const size_t nwb = sizeof (wchar_t);

  const char *pws1 = (const char*)ws1;
  const char *pws4 = (const char*)ws4;

#if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
  A (memchr (ws1, 0, sizeof ws1) == pws1 + 1);

  A (memchr (&ws4[0], 0, nb) == pws4 + 3);
  A (memchr (&ws4[1], 0, nb - 1 * nwb) == pws4 + 1 * nwb + 2);
  A (memchr (&ws4[2], 0, nb - 2 * nwb) == pws4 + 2 * nwb + 1);
  A (memchr (&ws4[3], 0, nb - 3 * nwb) == pws4 + 3 * nwb + 0);
#else
  A (memchr (ws1, 0, sizeof ws1) == pws1 + 0);

  A (memchr (&ws4[0], 0, nb) == pws4 + 0);
  A (memchr (&ws4[1], 0, nb - 1 * nwb) == pws4 + 1 * nwb + 0);
  A (memchr (&ws4[2], 0, nb - 2 * nwb) == pws4 + 2 * nwb + 1);
  A (memchr (&ws4[3], 0, nb - 3 * nwb) == pws4 + 3 * nwb + 2);
#endif
}


int main ()
{
  test_narrow ();
  test_wide ();
}