xref: /openbsd-src/gnu/usr.bin/gcc/gcc/testsuite/gcc.c-torture/execute/strncmp-1.c (revision c87b03e512fc05ed6e0222f6fb0ae86264b1d05b)
1*c87b03e5Sespie /* Copyright (C) 2002  Free Software Foundation.
2*c87b03e5Sespie 
3*c87b03e5Sespie    Test strncmp with various combinations of pointer alignments and lengths to
4*c87b03e5Sespie    make sure any optimizations in the library are correct.
5*c87b03e5Sespie 
6*c87b03e5Sespie    Written by Michael Meissner, March 9, 2002.  */
7*c87b03e5Sespie 
8*c87b03e5Sespie #include <string.h>
9*c87b03e5Sespie #include <stddef.h>
10*c87b03e5Sespie 
11*c87b03e5Sespie #ifndef MAX_OFFSET
12*c87b03e5Sespie #define MAX_OFFSET (sizeof (long long))
13*c87b03e5Sespie #endif
14*c87b03e5Sespie 
15*c87b03e5Sespie #ifndef MAX_TEST
16*c87b03e5Sespie #define MAX_TEST (8 * sizeof (long long))
17*c87b03e5Sespie #endif
18*c87b03e5Sespie 
19*c87b03e5Sespie #ifndef MAX_EXTRA
20*c87b03e5Sespie #define MAX_EXTRA (sizeof (long long))
21*c87b03e5Sespie #endif
22*c87b03e5Sespie 
23*c87b03e5Sespie #define MAX_LENGTH (MAX_OFFSET + MAX_TEST + MAX_EXTRA)
24*c87b03e5Sespie 
25*c87b03e5Sespie static union {
26*c87b03e5Sespie   unsigned char buf[MAX_LENGTH];
27*c87b03e5Sespie   long long align_int;
28*c87b03e5Sespie   long double align_fp;
29*c87b03e5Sespie } u1, u2;
30*c87b03e5Sespie 
31*c87b03e5Sespie void
test(const unsigned char * s1,const unsigned char * s2,size_t len,int expected)32*c87b03e5Sespie test (const unsigned char *s1, const unsigned char *s2, size_t len, int expected)
33*c87b03e5Sespie {
34*c87b03e5Sespie   int value = strncmp ((char *) s1, (char *) s2, len);
35*c87b03e5Sespie 
36*c87b03e5Sespie   if (expected < 0 && value >= 0)
37*c87b03e5Sespie     abort ();
38*c87b03e5Sespie   else if (expected == 0 && value != 0)
39*c87b03e5Sespie     abort ();
40*c87b03e5Sespie   else if (expected > 0 && value <= 0)
41*c87b03e5Sespie     abort ();
42*c87b03e5Sespie }
43*c87b03e5Sespie 
main()44*c87b03e5Sespie main ()
45*c87b03e5Sespie {
46*c87b03e5Sespie   size_t off1, off2, len, i;
47*c87b03e5Sespie   unsigned char *buf1, *buf2;
48*c87b03e5Sespie   unsigned char *mod1, *mod2;
49*c87b03e5Sespie   unsigned char *p1, *p2;
50*c87b03e5Sespie 
51*c87b03e5Sespie   for (off1 = 0; off1 < MAX_OFFSET; off1++)
52*c87b03e5Sespie     for (off2 = 0; off2 < MAX_OFFSET; off2++)
53*c87b03e5Sespie       for (len = 0; len < MAX_TEST; len++)
54*c87b03e5Sespie 	{
55*c87b03e5Sespie 	  p1 = u1.buf;
56*c87b03e5Sespie 	  for (i = 0; i < off1; i++)
57*c87b03e5Sespie 	    *p1++ = '\0';
58*c87b03e5Sespie 
59*c87b03e5Sespie 	  buf1 = p1;
60*c87b03e5Sespie 	  for (i = 0; i < len; i++)
61*c87b03e5Sespie 	    *p1++ = 'a';
62*c87b03e5Sespie 
63*c87b03e5Sespie 	  mod1 = p1;
64*c87b03e5Sespie 	  for (i = 0; i < MAX_EXTRA; i++)
65*c87b03e5Sespie 	    *p1++ = 'x';
66*c87b03e5Sespie 
67*c87b03e5Sespie 	  p2 = u2.buf;
68*c87b03e5Sespie 	  for (i = 0; i < off2; i++)
69*c87b03e5Sespie 	    *p2++ = '\0';
70*c87b03e5Sespie 
71*c87b03e5Sespie 	  buf2 = p2;
72*c87b03e5Sespie 	  for (i = 0; i < len; i++)
73*c87b03e5Sespie 	    *p2++ = 'a';
74*c87b03e5Sespie 
75*c87b03e5Sespie 	  mod2 = p2;
76*c87b03e5Sespie 	  for (i = 0; i < MAX_EXTRA; i++)
77*c87b03e5Sespie 	    *p2++ = 'x';
78*c87b03e5Sespie 
79*c87b03e5Sespie 	  mod1[0] = '\0';
80*c87b03e5Sespie 	  mod2[0] = '\0';
81*c87b03e5Sespie 	  test (buf1, buf2, MAX_LENGTH, 0);
82*c87b03e5Sespie 	  test (buf1, buf2, len, 0);
83*c87b03e5Sespie 
84*c87b03e5Sespie 	  mod1[0] = 'a';
85*c87b03e5Sespie 	  mod1[1] = '\0';
86*c87b03e5Sespie 	  mod2[0] = '\0';
87*c87b03e5Sespie 	  test (buf1, buf2, MAX_LENGTH, +1);
88*c87b03e5Sespie 	  test (buf1, buf2, len, 0);
89*c87b03e5Sespie 
90*c87b03e5Sespie 	  mod1[0] = '\0';
91*c87b03e5Sespie 	  mod2[0] = 'a';
92*c87b03e5Sespie 	  mod2[1] = '\0';
93*c87b03e5Sespie 	  test (buf1, buf2, MAX_LENGTH, -1);
94*c87b03e5Sespie 	  test (buf1, buf2, len, 0);
95*c87b03e5Sespie 
96*c87b03e5Sespie 	  mod1[0] = 'b';
97*c87b03e5Sespie 	  mod1[1] = '\0';
98*c87b03e5Sespie 	  mod2[0] = 'c';
99*c87b03e5Sespie 	  mod2[1] = '\0';
100*c87b03e5Sespie 	  test (buf1, buf2, MAX_LENGTH, -1);
101*c87b03e5Sespie 	  test (buf1, buf2, len, 0);
102*c87b03e5Sespie 
103*c87b03e5Sespie 	  mod1[0] = 'c';
104*c87b03e5Sespie 	  mod1[1] = '\0';
105*c87b03e5Sespie 	  mod2[0] = 'b';
106*c87b03e5Sespie 	  mod2[1] = '\0';
107*c87b03e5Sespie 	  test (buf1, buf2, MAX_LENGTH, +1);
108*c87b03e5Sespie 	  test (buf1, buf2, len, 0);
109*c87b03e5Sespie 
110*c87b03e5Sespie 	  mod1[0] = 'b';
111*c87b03e5Sespie 	  mod1[1] = '\0';
112*c87b03e5Sespie 	  mod2[0] = (unsigned char)'\251';
113*c87b03e5Sespie 	  mod2[1] = '\0';
114*c87b03e5Sespie 	  test (buf1, buf2, MAX_LENGTH, -1);
115*c87b03e5Sespie 	  test (buf1, buf2, len, 0);
116*c87b03e5Sespie 
117*c87b03e5Sespie 	  mod1[0] = (unsigned char)'\251';
118*c87b03e5Sespie 	  mod1[1] = '\0';
119*c87b03e5Sespie 	  mod2[0] = 'b';
120*c87b03e5Sespie 	  mod2[1] = '\0';
121*c87b03e5Sespie 	  test (buf1, buf2, MAX_LENGTH, +1);
122*c87b03e5Sespie 	  test (buf1, buf2, len, 0);
123*c87b03e5Sespie 
124*c87b03e5Sespie 	  mod1[0] = (unsigned char)'\251';
125*c87b03e5Sespie 	  mod1[1] = '\0';
126*c87b03e5Sespie 	  mod2[0] = (unsigned char)'\252';
127*c87b03e5Sespie 	  mod2[1] = '\0';
128*c87b03e5Sespie 	  test (buf1, buf2, MAX_LENGTH, -1);
129*c87b03e5Sespie 	  test (buf1, buf2, len, 0);
130*c87b03e5Sespie 
131*c87b03e5Sespie 	  mod1[0] = (unsigned char)'\252';
132*c87b03e5Sespie 	  mod1[1] = '\0';
133*c87b03e5Sespie 	  mod2[0] = (unsigned char)'\251';
134*c87b03e5Sespie 	  mod2[1] = '\0';
135*c87b03e5Sespie 	  test (buf1, buf2, MAX_LENGTH, +1);
136*c87b03e5Sespie 	  test (buf1, buf2, len, 0);
137*c87b03e5Sespie 	}
138*c87b03e5Sespie 
139*c87b03e5Sespie   exit (0);
140*c87b03e5Sespie }
141