re PR c++/56725 (extra spaces in error message)

/cp
2013-03-28  Paolo Carlini  <paolo.carlini@oracle.com>
	    Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

	PR c++/56725
	* call.c (convert_like_real): Change series of two permerrors
	to permerror + inform (and likewise for two errors).
	(build_new_method_call_1): Likewise.
	* typeck.c (convert_for_initialization): Change additional
	warning or error to inform.

/testsuite
2013-03-28  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/56725
	* g++.dg/conversion/op4.C: Adjust.
	* g++.dg/cpp0x/rv1n.C: Likewise.
	* g++.dg/cpp0x/rv2n.C: Likewise.
	* g++.dg/cpp0x/template_deduction.C: Likewise.
	* g++.dg/expr/cond8.C: Likewise.
	* g++.dg/other/error4.C: Likewise.
	* g++.old-deja/g++.bugs/900514_03.C: Likewise.
	* g++.old-deja/g++.bugs/900519_02.C: Likewise.
	* g++.old-deja/g++.bugs/900519_03.C: Likewise.
	* g++.old-deja/g++.bugs/900520_02.C: Likewise.
	* g++.old-deja/g++.jason/conversion2.C: Likewise.
	* g++.old-deja/g++.law/cvt20.C: Likewise.
	* g++.old-deja/g++.law/cvt8.C: Likewise.
	* g++.old-deja/g++.law/init8.C: Likewise.
	* g++.old-deja/g++.mike/net12.C: Likewise.
	* g++.old-deja/g++.mike/net8.C: Likewise.
	* g++.old-deja/g++.mike/p2793.C: Likewise.
	* g++.old-deja/g++.mike/p3836.C: Likewise.
	* g++.old-deja/g++.mike/p418.C: Likewise.
	* g++.old-deja/g++.mike/p701.C: Likewise.
	* g++.old-deja/g++.mike/p807.C: Likewise.

From-SVN: r197206
This commit is contained in:
Paolo Carlini 2013-03-28 16:03:32 +00:00
parent 89ab31c157
commit 7abebba7f2
25 changed files with 95 additions and 59 deletions

View File

@ -1,3 +1,13 @@
2013-03-28 Paolo Carlini <paolo.carlini@oracle.com>
Manuel Lopez-Ibanez <manu@gcc.gnu.org>
PR c++/56725
* call.c (convert_like_real): Change series of two permerrors
to permerror + inform (and likewise for two errors).
(build_new_method_call_1): Likewise.
* typeck.c (convert_for_initialization): Change additional
warning or error to inform.
2013-03-28 Gabriel Dos Reis <gdr@integrable-solutions.net> 2013-03-28 Gabriel Dos Reis <gdr@integrable-solutions.net>
* cp-tree.h (next_aggr_init_expr_arg): Remove static specifier. * cp-tree.h (next_aggr_init_expr_arg): Remove static specifier.

View File

@ -5836,11 +5836,11 @@ convert_like_real (conversion *convs, tree expr, tree fn, int argnum,
break; break;
} }
permerror (loc, "invalid conversion from %qT to %qT", if (permerror (loc, "invalid conversion from %qT to %qT",
TREE_TYPE (expr), totype); TREE_TYPE (expr), totype)
if (fn) && fn)
permerror (DECL_SOURCE_LOCATION (fn), inform (DECL_SOURCE_LOCATION (fn),
" initializing argument %P of %qD", argnum, fn); "initializing argument %P of %qD", argnum, fn);
return cp_convert (totype, expr, complain); return cp_convert (totype, expr, complain);
} }
@ -5943,7 +5943,8 @@ convert_like_real (conversion *convs, tree expr, tree fn, int argnum,
build_user_type_conversion (totype, convs->u.expr, LOOKUP_NORMAL, build_user_type_conversion (totype, convs->u.expr, LOOKUP_NORMAL,
complain); complain);
if (fn) if (fn)
error (" initializing argument %P of %q+D", argnum, fn); inform (input_location, "initializing argument %P of %q+D",
argnum, fn);
} }
return error_mark_node; return error_mark_node;
@ -6074,7 +6075,8 @@ convert_like_real (conversion *convs, tree expr, tree fn, int argnum,
error_at (loc, "cannot bind %qT lvalue to %qT", error_at (loc, "cannot bind %qT lvalue to %qT",
TREE_TYPE (expr), totype); TREE_TYPE (expr), totype);
if (fn) if (fn)
error (" initializing argument %P of %q+D", argnum, fn); inform (input_location,
"initializing argument %P of %q+D", argnum, fn);
return error_mark_node; return error_mark_node;
} }
@ -7467,11 +7469,11 @@ build_new_method_call_1 (tree instance, tree fns, vec<tree, va_gc> **args,
if (! (complain & tf_error)) if (! (complain & tf_error))
return error_mark_node; return error_mark_node;
permerror (input_location, if (permerror (input_location,
"cannot call constructor %<%T::%D%> directly", "cannot call constructor %<%T::%D%> directly",
basetype, name); basetype, name))
permerror (input_location, " for a function-style cast, remove the " inform (input_location, "for a function-style cast, remove the "
"redundant %<::%D%>", name); "redundant %<::%D%>", name);
call = build_functional_cast (basetype, build_tree_list_vec (user_args), call = build_functional_cast (basetype, build_tree_list_vec (user_args),
complain); complain);
return call; return call;

View File

@ -7984,13 +7984,12 @@ convert_for_initialization (tree exp, tree type, tree rhs, int flags,
if (fndecl) if (fndecl)
savew = warningcount + werrorcount, savee = errorcount; savew = warningcount + werrorcount, savee = errorcount;
rhs = initialize_reference (type, rhs, flags, complain); rhs = initialize_reference (type, rhs, flags, complain);
if (fndecl)
{ if (fndecl
if (warningcount + werrorcount > savew) && (warningcount + werrorcount > savew || errorcount > savee))
warning (0, "in passing argument %P of %q+D", parmnum, fndecl); inform (input_location,
else if (errorcount > savee) "in passing argument %P of %q+D", parmnum, fndecl);
error ("in passing argument %P of %q+D", parmnum, fndecl);
}
return rhs; return rhs;
} }

View File

@ -1,7 +1,32 @@
2013-03-28 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/56725
* g++.dg/conversion/op4.C: Adjust.
* g++.dg/cpp0x/rv1n.C: Likewise.
* g++.dg/cpp0x/rv2n.C: Likewise.
* g++.dg/cpp0x/template_deduction.C: Likewise.
* g++.dg/expr/cond8.C: Likewise.
* g++.dg/other/error4.C: Likewise.
* g++.old-deja/g++.bugs/900514_03.C: Likewise.
* g++.old-deja/g++.bugs/900519_02.C: Likewise.
* g++.old-deja/g++.bugs/900519_03.C: Likewise.
* g++.old-deja/g++.bugs/900520_02.C: Likewise.
* g++.old-deja/g++.jason/conversion2.C: Likewise.
* g++.old-deja/g++.law/cvt20.C: Likewise.
* g++.old-deja/g++.law/cvt8.C: Likewise.
* g++.old-deja/g++.law/init8.C: Likewise.
* g++.old-deja/g++.mike/net12.C: Likewise.
* g++.old-deja/g++.mike/net8.C: Likewise.
* g++.old-deja/g++.mike/p2793.C: Likewise.
* g++.old-deja/g++.mike/p3836.C: Likewise.
* g++.old-deja/g++.mike/p418.C: Likewise.
* g++.old-deja/g++.mike/p701.C: Likewise.
* g++.old-deja/g++.mike/p807.C: Likewise.
2013-03-28 Tejas Belagod <tejas.belagod@arm.com> 2013-03-28 Tejas Belagod <tejas.belagod@arm.com>
PR middle-end/56694 PR middle-end/56694
* g++.dg/torture/pr56694.C: Fix test case to build on bare-metal * g++.dg/torture/pr56694.C: Fix test case to build on bare-metal
targets. targets.
2013-03-28 Marek Polacek <polacek@redhat.com> 2013-03-28 Marek Polacek <polacek@redhat.com>

View File

@ -9,7 +9,7 @@ struct X {
} }
}; };
void add_one (X & ref) { /* { dg-error "in passing argument" } */ void add_one (X & ref) { /* { dg-message "in passing argument" } */
++ ref.x; ++ ref.x;
} }

View File

@ -30,7 +30,7 @@ const volatile A cv_source();
// 1 at a time // 1 at a time
one sink_1_1( A&); // { dg-error "" } one sink_1_1( A&); // { dg-message "" }
int test1_1() int test1_1()
{ {
@ -48,7 +48,7 @@ int test1_1()
return 0; return 0;
} }
two sink_1_2(const A&); // { dg-error "" } two sink_1_2(const A&); // { dg-message "" }
int test1_2() int test1_2()
{ {
@ -63,7 +63,7 @@ int test1_2()
return 0; return 0;
} }
three sink_1_3(volatile A&); // { dg-error "" } three sink_1_3(volatile A&); // { dg-message "" }
int test1_3() int test1_3()
{ {
@ -80,7 +80,7 @@ int test1_3()
return 0; return 0;
} }
four sink_1_4(const volatile A&); // { dg-error "" } four sink_1_4(const volatile A&); // { dg-message "" }
int test1_4() int test1_4()
{ {
@ -95,7 +95,7 @@ int test1_4()
return 0; return 0;
} }
five sink_1_5( A&&); // { dg-error "" } five sink_1_5( A&&); // { dg-message "" }
int test1_5() int test1_5()
{ {
@ -113,7 +113,7 @@ int test1_5()
return 0; return 0;
} }
six sink_1_6(const A&&); // { dg-error "" } six sink_1_6(const A&&); // { dg-message "" }
int test1_6() int test1_6()
{ {
@ -130,7 +130,7 @@ int test1_6()
return 0; return 0;
} }
seven sink_1_7(volatile A&&); // { dg-error "" } seven sink_1_7(volatile A&&); // { dg-message "" }
int test1_7() int test1_7()
{ {
@ -147,7 +147,7 @@ int test1_7()
return 0; return 0;
} }
eight sink_1_8(const volatile A&&); // { dg-error "" } eight sink_1_8(const volatile A&&); // { dg-message "" }
int test1_8() int test1_8()
{ {

View File

@ -161,7 +161,7 @@ int test2_17()
} }
one sink_2_18( A&); one sink_2_18( A&);
eight sink_2_18(const volatile A&&); // { dg-error "argument" } eight sink_2_18(const volatile A&&); // { dg-message "argument" }
int test2_18() int test2_18()
{ {
@ -288,7 +288,7 @@ int test2_27()
} }
two sink_2_28(const A&); two sink_2_28(const A&);
eight sink_2_28(const volatile A&&); // { dg-error "argument" } eight sink_2_28(const volatile A&&); // { dg-message "argument" }
int test2_28() int test2_28()
{ {
@ -362,7 +362,7 @@ int test2_37()
} }
three sink_2_38(volatile A&); three sink_2_38(volatile A&);
eight sink_2_38(const volatile A&&); // { dg-error "argument" } eight sink_2_38(const volatile A&&); // { dg-message "argument" }
int test2_38() int test2_38()
{ {
@ -468,8 +468,8 @@ int test2_57()
return 0; return 0;
} }
five sink_2_58( A&&); // { dg-error "argument" } five sink_2_58( A&&); // { dg-message "argument" }
eight sink_2_58(const volatile A&&); // { dg-error "argument" } eight sink_2_58(const volatile A&&); // { dg-message "argument" }
int test2_58() int test2_58()
{ {
@ -505,8 +505,8 @@ int test2_67()
return 0; return 0;
} }
six sink_2_68(const A&&); // { dg-error "argument" } six sink_2_68(const A&&); // { dg-message "argument" }
eight sink_2_68(const volatile A&&); // { dg-error "argument" } eight sink_2_68(const volatile A&&); // { dg-message "argument" }
int test2_68() int test2_68()
{ {
@ -520,8 +520,8 @@ int test2_68()
sink_2_68(cva); // { dg-error "lvalue" } sink_2_68(cva); // { dg-error "lvalue" }
} }
seven sink_2_78(volatile A&&); // { dg-error "argument" } seven sink_2_78(volatile A&&); // { dg-message "argument" }
eight sink_2_78(const volatile A&&); // { dg-error "argument" } eight sink_2_78(const volatile A&&); // { dg-message "argument" }
int test2_78() int test2_78()
{ {

View File

@ -35,7 +35,7 @@ test1(T&&)
template <bool is_lvalue_ref, bool is_rvalue_ref, class T> template <bool is_lvalue_ref, bool is_rvalue_ref, class T>
void void
test2(const T&&) // { dg-error "argument" } test2(const T&&) // { dg-message "argument" }
{ {
sa<is_lvalue_reference<const T&&>::value == is_lvalue_ref> t1; sa<is_lvalue_reference<const T&&>::value == is_lvalue_ref> t1;
sa<is_rvalue_reference<const T&&>::value == is_rvalue_ref> t2; sa<is_rvalue_reference<const T&&>::value == is_rvalue_ref> t2;

View File

@ -3,7 +3,7 @@
struct A struct A
{ {
A(void*); // { dg-error "initializing" } A(void*); // { dg-message "initializing" }
~A(); ~A();
}; };

View File

@ -7,7 +7,7 @@
struct Wrapper {}; struct Wrapper {};
void Foo(int const &); // { dg-error "in passing" "" } void Foo(int const &); // { dg-message "in passing" "" }
void Baz () void Baz ()
{ {

View File

@ -16,7 +16,7 @@
struct t_0_st_0; struct t_0_st_0;
struct t_0_st_1 { // { dg-error "initializing" } struct t_0_st_1 { // { dg-message "initializing" }
int member; int member;
t_0_st_1 (t_0_st_0&);// { dg-message "note" } t_0_st_1 (t_0_st_0&);// { dg-message "note" }
@ -85,7 +85,7 @@ void t_1_local_init ()
struct t_2_st_0; struct t_2_st_0;
struct t_2_st_1 { // { dg-error "initializing" } struct t_2_st_1 { // { dg-message "initializing" }
int member; int member;
t_2_st_1 (t_2_st_0); // { dg-message "note" } t_2_st_1 (t_2_st_0); // { dg-message "note" }

View File

@ -10,7 +10,7 @@
extern const int cint_obj = 9; extern const int cint_obj = 9;
volatile int vint_obj = 9; volatile int vint_obj = 9;
void take_int_ref (int& arg) { } // { dg-error "" } referenced by errors below void take_int_ref (int& arg) { } // { dg-message "" } referenced by errors below
int& global_int_ref0 = cint_obj; // { dg-error "" } int& global_int_ref0 = cint_obj; // { dg-error "" }
int& global_int_ref1 = vint_obj; // { dg-error "" } int& global_int_ref1 = vint_obj; // { dg-error "" }

View File

@ -14,8 +14,8 @@
extern const int cint_obj; extern const int cint_obj;
extern volatile int vint_obj; extern volatile int vint_obj;
void take_cint_ref (const int& arg) { } // { dg-error "" } void take_cint_ref (const int& arg) { } // { dg-message "" }
void take_vint_ref (volatile int& arg) { } // { dg-error "" } void take_vint_ref (volatile int& arg) { } // { dg-message "" }
const int& global_cint_ref2 = vint_obj; // { dg-error "" } const int& global_cint_ref2 = vint_obj; // { dg-error "" }

View File

@ -9,7 +9,7 @@ typedef int u_array[];
typedef b_array &b_array_ref; typedef b_array &b_array_ref;
typedef u_array &u_array_ref; typedef u_array &u_array_ref;
void take_b_array_ref (b_array_ref arg) { } // { dg-error "" } passed to here void take_b_array_ref (b_array_ref arg) { } // { dg-message "" } passed to here
extern u_array u_array_gbl_obj; extern u_array u_array_gbl_obj;

View File

@ -1,7 +1,7 @@
// { dg-do assemble } // { dg-do assemble }
// PRMS Id: 3069 // PRMS Id: 3069
void f(int&); // { dg-error "" } referenced by error below void f(int&); // { dg-message "" } referenced by error below
void g(const int& i) { void g(const int& i) {
f(i); // { dg-error "" } discarding const f(i); // { dg-error "" } discarding const
} }

View File

@ -9,7 +9,7 @@
// Compiles fine with Sun CC 2.1 // Compiles fine with Sun CC 2.1
void f(char *& x) // { dg-error "passing argument" } void f(char *& x) // { dg-message "passing argument" }
{ {
x++; x++;
} }

View File

@ -24,7 +24,7 @@ B::operator const A&() const {
return a; return a;
} }
void f(A &a) { // { dg-error "" } in passing argument void f(A &a) { // { dg-message "" } in passing argument
printf("A at %x is %d\n", &a, a.i); printf("A at %x is %d\n", &a, a.i);
} }

View File

@ -8,7 +8,7 @@
const int ic = 1; const int ic = 1;
void f(int& arg) // { dg-error "passing argument 1" } void f(int& arg) // { dg-message "passing argument 1" }
{ {
if (arg) ; if (arg) ;
} }

View File

@ -7,7 +7,7 @@ struct Foo {
void m() const; void m() const;
}; };
void other(char &x); // { dg-error "" } reference below void other(char &x); // { dg-message "" } reference below
void void
Foo::m() const Foo::m() const

View File

@ -11,14 +11,14 @@ public:
int bar; int bar;
}; };
void func(Base&); // { dg-error "passing argument 1" } void func(Base&); // { dg-message "passing argument 1" }
void func2(const Derived& d) { void func2(const Derived& d) {
func(d); // { dg-error "invalid initialization" } func(d); // { dg-error "invalid initialization" }
} }
void void
foo (int& a) // { dg-error "in passing argument 1" } foo (int& a) // { dg-message "in passing argument 1" }
{ {
} }

View File

@ -1,6 +1,6 @@
// { dg-do assemble } // { dg-do assemble }
// prms-id: 2793 // prms-id: 2793
void f(char&) { // { dg-error "" } referenced by error below void f(char&) { // { dg-message "" } referenced by error below
f('c'); // { dg-error "" } f('c'); // { dg-error "" }
} }

View File

@ -1,7 +1,7 @@
// { dg-do assemble } // { dg-do assemble }
// prms-id: 3836 // prms-id: 3836
void f(int &i) { // { dg-error "" } ref line void f(int &i) { // { dg-message "" } ref line
i = 10; i = 10;
} }

View File

@ -11,7 +11,7 @@ public:
int bar; int bar;
}; };
void func(Base&); // { dg-error "" } referenced by error below void func(Base&); // { dg-message "" } referenced by error below
void func2(const Derived& d) { void func2(const Derived& d) {
func(d); // { dg-error "" } should be error because of const func(d); // { dg-error "" } should be error because of const

View File

@ -7,7 +7,7 @@ extern "C"
} }
void Munge(int& x) // { dg-error "passing argument 1" } void Munge(int& x) // { dg-message "passing argument 1" }
{ {
x = 2; x = 2;
} }

View File

@ -24,7 +24,7 @@ class B
}; };
int foo(B& b); // { dg-error "" } referenced below int foo(B& b); // { dg-message "" } referenced below
int main() int main()