aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/analyzer/pr109577.c
blob: a6af6f7019f0e4d2f18159021ef43548c2e7e0f9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
void *malloc (unsigned long);

double *
unsafe (unsigned long n)
{
  return malloc (n * sizeof (double));
}

double *
safer (unsigned long n)
{
  unsigned long nbytes;
  if (__builtin_mul_overflow (n, sizeof (double), &nbytes))
    return 0;
  return malloc (nbytes);
}