aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.old-deja/g++.warn/impint2.C
blob: d5fbc55541fb94719293f685a868624b8d2461e8 (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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
// { dg-do assemble  }
// { dg-options "-Wconversion" }

// Copyright (C) 2000 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 6 Mar 2000 <nathan@codesourcery.com>

// initialization to 'int' from to 'double' We expect consistent warnings
// whenever a float is implicitly truncated to int, make sure references
// don't confuse us, as Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> found out.

struct X
{
  X (int const &);
  X (int const &, int const &);
};

void foo (int const &);
void wibble (int const &);
void wibble (int const &, int const &);
void punk (int const & = 3.5f);        // { dg-warning "" } in passing
void rock ();
void rock (int const &, int  const & = 3.5f);       // { dg-warning "" } in passing

void fn ()
{
  X x2(3.5f);       // { dg-warning "" } float to int
  X x4(1, 3.5f);    // { dg-warning "" } float to int
  X x6(3.5f, 1);    // { dg-warning "" } float to int

  X y2 = 3.5f;      // { dg-warning "" } float to int

  int j2 (3.5f);    // { dg-warning "" } float to int

  int k2 = 3.5f;    // { dg-warning "" } float to int

  j2 = 3.5f;        // { dg-warning "" } float to int

  foo (3.5f);       // { dg-warning "" } float to int

  wibble (3.5f);    // { dg-warning "" } float to int
  wibble (1, 3.5f); // { dg-warning "" } float to int
  wibble (3.5f, 1); // { dg-warning "" } float to int

  punk ();          // { dg-warning "" } float to int
  rock (1);         // { dg-warning "" } float to int
}

// and make sure we really know when something's unsigned
void foo ()
{
  X x2(-1);
  X x4(1, -1);
  X x6(-1, 1);

  X y2 = -1;

  int j2 (-1);

  int k2 = -1;

  j2 = -1;

  foo (-1);

  wibble (-1);
  wibble (1, -1);
  wibble (-1, 1);

}