diff options
| author | Kaveh R. Ghazi <ghazi@caip.rutgers.edu> | 2000-12-03 03:46:03 +0000 |
|---|---|---|
| committer | Kaveh Ghazi <ghazi@gcc.gnu.org> | 2000-12-03 03:46:03 +0000 |
| commit | d118937d79ce5f32fcc7b09acb932e559a2c16e9 (patch) | |
| tree | 24241ef620273494e9e408df936e6f35081239e8 /gcc/testsuite/gcc.c-torture/execute/string-opt-10.c | |
| parent | ca8034a0ea78638a2c9cdc54b13274fcb78fdfa4 (diff) | |
| download | gcc-d118937d79ce5f32fcc7b09acb932e559a2c16e9.zip gcc-d118937d79ce5f32fcc7b09acb932e559a2c16e9.tar.gz gcc-d118937d79ce5f32fcc7b09acb932e559a2c16e9.tar.bz2 | |
builtins.c (expand_builtin_strcat, [...]): New functions.
* builtins.c (expand_builtin_strcat, expand_builtin_strncat,
expand_builtin_strspn, expand_builtin_strcspn): New functions.
(expand_builtin): Handle BUILT_IN_STRCAT, BUILT_IN_STRNCAT,
BUILT_IN_STRSPN and BUILT_IN_STRCSPN.
* builtins.def (BUILT_IN_STRCAT, BUILT_IN_STRNCAT,
BUILT_IN_STRSPN, BUILT_IN_STRCSPN): New entries.
* c-common.c (c_common_nodes_and_builtins): Declare builtin
strcat, strncat, strspn and strcspn.
(string_ftype_string_cstring): Renamed from `string_ftype_ptr_ptr'.
* extend.texi (strcat, strcspn, strncat, strspn): Document new
builtins.
testsuite:
* gcc.c-torture/execute/string-opt-9.c: New test.
* gcc.c-torture/execute/string-opt-10.c: Likewise.
* gcc.c-torture/execute/string-opt-11.c: Likewise.
* gcc.c-torture/execute/string-opt-12.c: Likewise.
From-SVN: r37964
Diffstat (limited to 'gcc/testsuite/gcc.c-torture/execute/string-opt-10.c')
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/string-opt-10.c | 78 |
1 files changed, 78 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/string-opt-10.c b/gcc/testsuite/gcc.c-torture/execute/string-opt-10.c new file mode 100644 index 0000000..3949bb8 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/string-opt-10.c @@ -0,0 +1,78 @@ +/* Copyright (C) 2000 Free Software Foundation. + + Ensure all expected transformations of builtin strncat occur and + perform correctly. + + Written by Kaveh R. Ghazi, 11/27/2000. */ + +extern void abort (void); +typedef __SIZE_TYPE__ size_t; +extern char *strncat (char *, const char *, size_t); +extern char *strcpy (char *, const char *); +extern char *strcmp (const char *, const char *); +int x = 123; + +int main () +{ + const char *const s1 = "hello world"; + const char *const s2 = ""; + char dst[64], *d2; + + strcpy (dst, s1); + if (strncat (dst, "", 100) != dst || strcmp (dst, s1)) + abort(); + strcpy (dst, s1); + if (strncat (dst, s2, 100) != dst || strcmp (dst, s1)) + abort(); + strcpy (dst, s1); d2 = dst; + if (strncat (++d2, s2, 100) != dst+1 || d2 != dst+1 || strcmp (dst, s1)) + abort(); + strcpy (dst, s1); d2 = dst; + if (strncat (++d2+5, s2, 100) != dst+6 || d2 != dst+1 || strcmp (dst, s1)) + abort(); + strcpy (dst, s1); d2 = dst; + if (strncat (++d2+5, s1+11, 100) != dst+6 || d2 != dst+1 || strcmp (dst, s1)) + abort(); + strcpy (dst, s1); d2 = dst; + if (strncat (++d2+5, s1, 0) != dst+6 || d2 != dst+1 || strcmp (dst, s1)) + abort(); + strcpy (dst, s1); d2 = dst; + if (strncat (++d2+5, "", ++x) != dst+6 || d2 != dst+1 || x != 124 + || strcmp (dst, s1)) + abort(); + + strcpy (dst, s1); + if (strncat (dst, "foo", 3) != dst || strcmp (dst, "hello worldfoo")) + abort(); + strcpy (dst, s1); + if (strncat (dst, "foo", 100) != dst || strcmp (dst, "hello worldfoo")) + abort(); + strcpy (dst, s1); + if (strncat (dst, s1, 100) != dst || strcmp (dst, "hello worldhello world")) + abort(); + strcpy (dst, s1); d2 = dst; + if (strncat (++d2, s1, 100) != dst+1 || d2 != dst+1 + || strcmp (dst, "hello worldhello world")) + abort(); + strcpy (dst, s1); d2 = dst; + if (strncat (++d2+5, s1, 100) != dst+6 || d2 != dst+1 + || strcmp (dst, "hello worldhello world")) + abort(); + strcpy (dst, s1); d2 = dst; + if (strncat (++d2+5, s1+5, 100) != dst+6 || d2 != dst+1 + || strcmp (dst, "hello world world")) + abort(); + + return 0; +} + +#ifdef __OPTIMIZE__ +/* When optimizing, all the above cases should be transformed into + something else. So any remaining calls to the original function + should abort. */ +static char * +strncat (char *s1, const char *s2, size_t n) +{ + abort(); +} +#endif |