gnu/dist/gcc4/gcc/testsuite/gcc.c-torture/execute/20011024-1.c

   1 /* Test whether store motion recognizes pure functions as potentially reading
   2    any memory.  */
   3
   4 typedef __SIZE_TYPE__ size_t;
   5 extern void *memcpy (void *dest, const void *src, size_t n);
   6 extern size_t strlen (const char *s);
   7 extern int strcmp (const char *s1, const char *s2) __attribute__((pure));
   8
   9 char buf[50];
  10
  11 static void foo (void)
  12 {
  13   if (memcpy (buf, "abc", 4) != buf) abort ();
  14   if (strcmp (buf, "abc")) abort ();
  15   memcpy (buf, "abcdefgh", strlen ("abcdefgh") + 1);
  16 }
  17
  18 int main (void)
  19 {
  20   foo ();
  21   return 0;
  22 }