1/* Copyright (C) 2000, 2001, 2003, 2004  Free Software Foundation.
2
3   Ensure all expected transformations of builtin strlen
4   occur and perform correctly.
5
6   Written by Jakub Jelinek, 11/7/2000.
7
8   Additional tests written by Roger Sayle, 11/02/2001:
9   Ensure all builtin strlen comparisons against zero are optimized
10   and perform correctly. The multiple calls to strcpy are to prevent
11   the potentially "pure" strlen calls from being removed by CSE.
12
13   Modified by Ben Elliston, 2006-10-25:
14   The multiple calls to strcpy that Roger mentions above are
15   problematic on systems where strcpy is implemented using strlen
16   (which this test overrides to call abort).  So, rather than use
17   strcpy, we perform the identical operations using array indexing
18   and char assignments.  */
19
20extern void abort (void);
21extern __SIZE_TYPE__ strlen (const char *);
22extern char *strcpy (char *, const char *);
23
24int x = 6;
25
26void
27main_test(void)
28{
29  const char *const foo = "hello world";
30  char str[8];
31  char *ptr;
32
33  if (strlen (foo) != 11)
34    abort ();
35  if (strlen (foo + 4) != 7)
36    abort ();
37  if (strlen (foo + (x++ & 7)) != 5)
38    abort ();
39  if (x != 7)
40    abort ();
41
42  ptr = str;
43  ptr[0] = 'n'; ptr[1] = 't'; ptr[2] = 's'; ptr[3] = '\0';
44  if (strlen (ptr) == 0)
45    abort ();
46
47  ptr[0] = 'n'; ptr[1] = 't'; ptr[2] = 's'; ptr[3] = '\0';
48  if (strlen (ptr) < 1)
49    abort ();
50
51  ptr[0] = 'n'; ptr[1] = 't'; ptr[2] = 's'; ptr[3] = '\0';
52  if (strlen (ptr) <= 0)
53    abort ();
54
55  ptr[0] = 'n'; ptr[1] = 't'; ptr[2] = 's'; ptr[3] = '\0';
56  if (strlen (ptr+3) != 0)
57    abort ();
58
59  ptr[0] = 'n'; ptr[1] = 't'; ptr[2] = 's'; ptr[3] = '\0';
60  if (strlen (ptr+3) > 0)
61    abort ();
62
63  ptr[0] = 'n'; ptr[1] = 't'; ptr[2] = 's'; ptr[3] = '\0';
64  if (strlen (str+3) >= 1)
65    abort ();
66
67  /* Test at least one instance of the __builtin_ style.  We do this
68     to ensure that it works and that the prototype is correct.  */
69  if (__builtin_strlen (foo) != 11)
70    abort ();
71}
72