1/* { dg-do compile { target { ! x32 } } } */
2/* { dg-require-effective-target mempcpy } */
3/* { dg-options "-fcheck-pointer-bounds -mmpx -O2 -fdump-tree-strlen -D_GNU_SOURCE" } */
4/* { dg-final { scan-tree-dump-times "strlen" 1 "strlen" } } */
5/* { dg-final { cleanup-tree-dump "strlen" } } */
6
7#define USE_GNU
8#include "../../gcc.dg/strlenopt.h"
9
10char * test (char *str1, char *str2)
11{
12  size_t len = strlen (str2);
13  char *p = (char *)mempcpy (str1, str2, len + 1);
14  return p + len + strlen (str1);
15}
16