/* Verify that we have source locations for
   -Wanalyzer-use-of-uninitialized-value warnings involving folded
   memory ops.  */

#include <string.h>

int test_memmove_within_uninit (void)
{
  char s[5]; /* { dg-message "region created on stack here" } */
  memmove(s, s + 1, 2); /* { dg-warning "use of uninitialized value" } */
  return 0;
}

int test_memcpy_from_uninit (void)
{
  char a1[5];
  char a2[5]; /* { dg-message "region created on stack here" } */
  return (memcpy(a1, a2, 5) == a1); /* { dg-warning "use of uninitialized value" } */
}