Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.c-torture/execute/20011024-1.c @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* Test whether store motion recognizes pure functions as potentially reading any memory. */ typedef __SIZE_TYPE__ size_t; extern void *memcpy (void *dest, const void *src, size_t n); extern size_t strlen (const char *s); extern int strcmp (const char *s1, const char *s2) __attribute__((pure)); char buf[50]; static void foo (void) { if (memcpy (buf, "abc", 4) != buf) abort (); if (strcmp (buf, "abc")) abort (); memcpy (buf, "abcdefgh", strlen ("abcdefgh") + 1); } int main (void) { foo (); return 0; }