+++ /dev/null
-/* 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;
-}