aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/pr81908.c
blob: b1e316a527c3eea3f88c5ed06064b2b8eab863ac (plain)
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
/* PR 81908 - FAIL: gfortran.dg/alloc_comp_auto_array_2.f90 -O3 -g -m32
   { dg-do compile }
   { dg-options "-O2 -Wall" } */

#define SIZE_MAX __SIZE_MAX__
typedef __SIZE_TYPE__ size_t;

void f0 (char *d, const char *s, size_t n)
{
  if (n > 0 && n <= SIZE_MAX / 2 - 1)
    n = 0;

  __builtin_memcpy (d, s, n);
}

void f1 (char *d, const char *s, size_t n)
{
  if (n > 0 && n <= SIZE_MAX / 2)
    n = 0;

  __builtin_memcpy (d, s, n);   /* { dg-bogus "\\\[-Wstringop-overflow=]" } */
}

void f2 (char *d, const char *s, size_t n)
{
  if (n > 0 && n <= SIZE_MAX / 2 + 1)
    n = 0;

  __builtin_memcpy (d, s, n);
}

void f3 (char *d, const char *s, size_t n)
{
  if (n > 0 && n <= SIZE_MAX - 1)
    n = 0;

  __builtin_memcpy (d, s, n);   /* { dg-bogus "\\\[-Wstringop-overflow=]" } */
}

void f4 (char *d, const char *s, size_t n)
{
  if (n > 0 && n <= SIZE_MAX)
    n = 0;

  __builtin_memcpy (d, s, n);
}