gcc-4.9/gcc/testsuite/g++.dg/warn/Wdiv-by-zero-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
26
27
28
29
30
31
32
33
34
35

// PR c++/56607
// { dg-do compile { target { { lp64 || ilp32 } || llp64 } } }
// { dg-require-effective-target c++11 }
// { dg-options "-O2 -Wdiv-by-zero" }

constexpr int sc () { return sizeof (char); }
constexpr int si () { return sizeof (int); }
constexpr int zc () { return sc () - 1; }
constexpr int zi (int d) { return si () / d - 1; }

int
f1 (void)
{
  return 1 / zc ();			// { dg-warning "division by zero" }
}

int
f2 (void)
{
  constexpr int x = zc ();
  return 1 / x;				// { dg-warning "division by zero" }
}

int
f3 (void)
{
  return 1 / zi (3);			// { dg-warning "division by zero" }
}

int
f4 (void)
{
  constexpr int x = zi (3);
  return 1 / x;				// { dg-warning "division by zero" }
}