gcc/testsuite/c-c++-common/analyzer/overlapping-buffers-pr113998.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

/* Verify we don't ICE on -Wanalyzer-overlapping-buffers on
   execution paths where the size is constant zero, but the
   optimizer didn't see that.  */

typedef __SIZE_TYPE__ size_t;

extern char a[];
size_t n;

size_t  __attribute__((noinline))
get_hidden_zero ()
{
  return 0;
}

void
test_pr113998 ()
{
  size_t n = get_hidden_zero ();
  __builtin_strncpy (a, a, n); /* { dg-warning "overlapping buffers passed as arguments to" } */
}