gcc/testsuite/gcc.dg/pr78973-2.c


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

/* PR c/78973 - warning: ‘memcpy’: specified size exceeds maximum object
   size [-Wstringop-overflow=]

   This is a companion test for the bug above that verifies that the correct
   range of the int variable is detected.

   { dg-do compile }
   { dg-require-effective-target int32plus }
   { dg-options "-O2 -Walloc-size-larger-than=4" }  */

void *p;

static void f (int n)
{
  if (n <= 4)
    p = __builtin_malloc (n);
  /* { dg-warning "argument 1 range \\\[\[0-9\]+, \[0-9\]+\\\] exceeds maximum object size 4" "ilp32" { target *-*-* } .-1 } */
}

void g (unsigned n)
{
  if (n < 5)
    n = 5;
  f (n);
}