gcc/testsuite/g++.old-deja/g++.law/arg7.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

// { dg-do run  }
// GROUPS passed arg-matching
// arg-matching file
// Message-Id: <9305041759.AA04913@malachite.bbn.com>
// From: Dan Franklin <dan@diamond.bbn.com>
// Subject: overloaded function resolved incorrectly
// Date: Tue, 4 May 93 13:59:18 EDT

#include <stdio.h>

// Given the following overloaded function definitions

int ovf(unsigned long, short,         short) { printf ("PASS\n"); return 0; }
int ovf(          int, short, unsigned long) { printf ("FAIL\n"); return 1; }

// and the call
//
//   ovf(unsigned long, unsigned int, unsigned int)
//
// it seems to me (and to cfront) that this should resolve to ovf #1 above,
// but g++ resolves it to ovf #2.  Resolving to ovf #1 requires two conversions
// (unsigned int => short) while resolving to ovf #2 takes two conversions
// (unsigned long => int, unsigned int => short) and a promotion
// (unsigned int => unsigned long).

int main(int, char**)
{
    unsigned long pixmap = 0;
    unsigned int x = 0;
    unsigned int y = 0;

    return ovf(pixmap, x, y);
}