Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.c-torture/execute/strlen-7.c @ 145:1830386684a0
gcc-9.2.0
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 11:34:05 +0900 |
parents | |
children |
line wrap: on
line source
/* Test to verify that a strlen() call with a pointer to a dynamic type doesn't make assumptions based on the static type of the original pointer. See g++.dg/init/strlen.C for the corresponding C++ test. */ struct A { int i; char a[1]; void (*p)(); }; struct B { char a[sizeof (struct A) - __builtin_offsetof (struct A, a)]; }; __attribute__ ((noipa)) void init (char *d, const char *s) { __builtin_strcpy (d, s); } struct B b; __attribute__ ((noipa)) void test_dynamic_type (struct A *p) { /* The following call is undefined because it writes past the end of the p->a subobject, but the corresponding GIMPLE considers it valid and there's apparently no way to distinguish invalid cases from ones like it that might be valid. If/when GIMPLE changes to make this possible this test can be removed. */ char *q = (char*)__builtin_memcpy (p->a, &b, sizeof b); init (q, "foobar"); if (6 != __builtin_strlen (q)) __builtin_abort(); } int main (void) { struct A *p = (struct A*)__builtin_malloc (sizeof *p); test_dynamic_type (p); return 0; }