2003-12-26 Guilhem Lavaux <guilhem@kaffe.org>
[official-gcc.git] / gcc / testsuite / gcc.c-torture / execute / string-opt-11.c
blob0aa186299df261f3db289b8bd2a488c56dd627fc
1 /* Copyright (C) 2000 Free Software Foundation.
3 Ensure all expected transformations of builtin strspn occur and
4 perform correctly.
6 Written by Kaveh R. Ghazi, 11/27/2000. */
8 extern void abort (void);
9 typedef __SIZE_TYPE__ size_t;
10 extern size_t strspn (const char *, const char *);
11 extern char *strcpy (char *, const char *);
13 int main ()
15 const char *const s1 = "hello world";
16 char dst[64], *d2;
18 if (strspn (s1, "hello") != 5)
19 abort();
20 if (strspn (s1+4, "hello") != 1)
21 abort();
22 if (strspn (s1, "z") != 0)
23 abort();
24 if (strspn (s1, "hello world") != 11)
25 abort();
26 if (strspn (s1, "") != 0)
27 abort();
28 strcpy (dst, s1);
29 if (strspn (dst, "") != 0)
30 abort();
31 strcpy (dst, s1); d2 = dst;
32 if (strspn (++d2, "") != 0 || d2 != dst+1)
33 abort();
34 strcpy (dst, s1); d2 = dst;
35 if (strspn (++d2+5, "") != 0 || d2 != dst+1)
36 abort();
37 if (strspn ("", s1) != 0)
38 abort();
39 strcpy (dst, s1);
40 if (strspn ("", dst) != 0)
41 abort();
42 strcpy (dst, s1); d2 = dst;
43 if (strspn ("", ++d2) != 0 || d2 != dst+1)
44 abort();
45 strcpy (dst, s1); d2 = dst;
46 if (strspn ("", ++d2+5) != 0 || d2 != dst+1)
47 abort();
49 /* Test at least one instance of the __builtin_ style. We do this
50 to ensure that it works and that the prototype is correct. */
51 if (__builtin_strspn (s1, "hello") != 5)
52 abort();
54 return 0;
57 #ifdef __OPTIMIZE__
58 /* When optimizing, all the above cases should be transformed into
59 something else. So any remaining calls to the original function
60 should abort. */
61 __attribute__ ((noinline))
62 static size_t
63 strspn (const char *s1, const char *s2)
65 abort();
67 #endif