+2018-12-06 David Malcolm <dmalcolm@redhat.com>
+
+ PR c++/85110
+ * call.c (conversion_null_warnings): Try to use the location of
+ the expression for the warnings. Add notes showing the parameter
+ of the function decl, where available.
+ (get_fndecl_argument_location): For implicitly-declared functions,
+ use the fndecl location rather than that of the param.
+ (maybe_inform_about_fndecl_for_bogus_argument_init): New function.
+ (convert_like_real): Use it in various places to avoid repetition.
+ (complain_about_bad_argument): Likewise.
+ * cp-tree.h (maybe_inform_about_fndecl_for_bogus_argument_init):
+ New declaration.
+ * decl2.c (check_default_args): Put all diagnostics for the fndecl
+ into a diagnostic group. Use the location of the parameter when
+ complaining about parameters with missing default arguments in
+ preference to that of the fndecl. Attempt to record the location
+ of the first parameter with a default argument and emit a note
+ for the first parameter that's missing one.
+ * typeck.c (convert_arguments): When complaining about parameters
+ with incomplete types, attempt to use the location of the
+ argument. Where available, add a note showing the pertinent
+ parameter in the fndecl.
+ (convert_for_assignment): When complaining about bad conversions
+ at function calls, use the location of the unstripped argument.
+ (convert_for_initialization): When checking for bogus references,
+ add an auto_diagnostic_group, and update the note to use the
+ location of the pertinent parameter, rather than just the callee.
+
2018-12-06 Paolo Carlini <paolo.carlini@oracle.com>
* decl2.c (grokbitfield): Use DECL_SOURCE_LOCATION in error message;
if (null_node_p (expr) && TREE_CODE (totype) != BOOLEAN_TYPE
&& ARITHMETIC_TYPE_P (totype))
{
- location_t loc =
- expansion_point_location_if_in_system_header (input_location);
-
+ location_t loc = EXPR_LOC_OR_LOC (expr, input_location);
+ loc = expansion_point_location_if_in_system_header (loc);
if (fn)
- warning_at (loc, OPT_Wconversion_null,
- "passing NULL to non-pointer argument %P of %qD",
- argnum, fn);
+ {
+ auto_diagnostic_group d;
+ if (warning_at (loc, OPT_Wconversion_null,
+ "passing NULL to non-pointer argument %P of %qD",
+ argnum, fn))
+ inform (get_fndecl_argument_location (fn, argnum),
+ " declared here");
+ }
else
warning_at (loc, OPT_Wconversion_null,
"converting to non-pointer type %qT from NULL", totype);
else if (TREE_CODE (TREE_TYPE (expr)) == BOOLEAN_TYPE
&& TYPE_PTR_P (totype))
{
+ location_t loc = EXPR_LOC_OR_LOC (expr, input_location);
if (fn)
- warning_at (input_location, OPT_Wconversion_null,
- "converting %<false%> to pointer type for argument %P "
- "of %qD", argnum, fn);
+ {
+ auto_diagnostic_group d;
+ if (warning_at (loc, OPT_Wconversion_null,
+ "converting %<false%> to pointer type for argument "
+ "%P of %qD", argnum, fn))
+ inform (get_fndecl_argument_location (fn, argnum),
+ " declared here");
+ }
else
- warning_at (input_location, OPT_Wconversion_null,
+ warning_at (loc, OPT_Wconversion_null,
"converting %<false%> to pointer type %qT", totype);
}
/* Handle zero as null pointer warnings for cases other
location_t
get_fndecl_argument_location (tree fndecl, int argnum)
{
+ /* The locations of implicitly-declared functions are likely to be
+ more meaningful than those of their parameters. */
+ if (DECL_ARTIFICIAL (fndecl))
+ return DECL_SOURCE_LOCATION (fndecl);
+
int i;
tree param;
return DECL_SOURCE_LOCATION (param);
}
+/* If FNDECL is non-NULL, issue a note highlighting ARGNUM
+ within its declaration (or the fndecl itself if something went
+ wrong). */
+
+void
+maybe_inform_about_fndecl_for_bogus_argument_init (tree fn, int argnum)
+{
+ if (fn)
+ inform (get_fndecl_argument_location (fn, argnum),
+ " initializing argument %P of %qD", argnum, fn);
+}
+
/* Perform the conversions in CONVS on the expression EXPR. FN and
ARGNUM are used for diagnostics. ARGNUM is zero based, -1
indicates the `this' argument of a method. INNER is nonzero when
complain);
else
expr = cp_convert (totype, expr, complain);
- if (complained && fn)
- inform (DECL_SOURCE_LOCATION (fn),
- " initializing argument %P of %qD", argnum, fn);
+ if (complained)
+ maybe_inform_about_fndecl_for_bogus_argument_init (fn, argnum);
return expr;
}
else if (t->kind == ck_user || !t->bad_p)
"invalid conversion from %qH to %qI",
TREE_TYPE (expr), totype);
}
- if (complained && fn)
- inform (get_fndecl_argument_location (fn, argnum),
- " initializing argument %P of %qD", argnum, fn);
+ if (complained)
+ maybe_inform_about_fndecl_for_bogus_argument_init (fn, argnum);
return cp_convert (totype, expr, complain);
}
? LOOKUP_IMPLICIT : LOOKUP_NORMAL);
build_user_type_conversion (totype, convs->u.expr, flags, complain);
gcc_assert (seen_error ());
- if (fn)
- inform (DECL_SOURCE_LOCATION (fn),
- " initializing argument %P of %qD", argnum, fn);
+ maybe_inform_about_fndecl_for_bogus_argument_init (fn, argnum);
}
return error_mark_node;
{
auto_diagnostic_group d;
maybe_print_user_conv_context (convs);
- if (fn)
- inform (DECL_SOURCE_LOCATION (fn),
- " initializing argument %P of %qD", argnum, fn);
+ maybe_inform_about_fndecl_for_bogus_argument_init (fn, argnum);
}
return error_mark_node;
}
{
auto_diagnostic_group d;
maybe_print_user_conv_context (convs);
- if (fn)
- inform (DECL_SOURCE_LOCATION (fn),
- " initializing argument %P of %qD", argnum, fn);
+ maybe_inform_about_fndecl_for_bogus_argument_init (fn, argnum);
}
return build_cplus_new (totype, expr, complain);
else
gcc_unreachable ();
maybe_print_user_conv_context (convs);
- if (fn)
- inform (DECL_SOURCE_LOCATION (fn),
- " initializing argument %P of %qD", argnum, fn);
+ maybe_inform_about_fndecl_for_bogus_argument_init (fn, argnum);
+
return error_mark_node;
}
error_at (&richloc,
"cannot convert %qH to %qI",
from_type, to_type);
- inform (get_fndecl_argument_location (fndecl, parmnum),
- " initializing argument %P of %qD", parmnum, fndecl);
+ maybe_inform_about_fndecl_for_bogus_argument_init (fndecl,
+ parmnum);
}
/* Subroutine of build_new_method_call_1, for where there are no viable
extern void complain_about_bad_argument (location_t arg_loc,
tree from_type, tree to_type,
tree fndecl, int parmnum);
+extern void maybe_inform_about_fndecl_for_bogus_argument_init (tree, int);
/* A class for recording information about access failures (e.g. private
{
tree arg = TYPE_ARG_TYPES (TREE_TYPE (x));
bool saw_def = false;
+ bool noted_first_def = false;
+ int idx_of_first_default_arg = 0;
+ location_t loc_of_first_default_arg = UNKNOWN_LOCATION;
int i = 0 - (TREE_CODE (TREE_TYPE (x)) == METHOD_TYPE);
+ tree fndecl = STRIP_TEMPLATE (x);
+ auto_diagnostic_group d;
for (; arg && arg != void_list_node; arg = TREE_CHAIN (arg), ++i)
{
if (TREE_PURPOSE (arg))
- saw_def = true;
+ {
+ if (!saw_def)
+ {
+ saw_def = true;
+ idx_of_first_default_arg = i;
+ location_t loc = get_fndecl_argument_location (fndecl, i);
+ if (loc != DECL_SOURCE_LOCATION (x))
+ loc_of_first_default_arg = loc;
+ }
+ }
else if (saw_def && !PACK_EXPANSION_P (TREE_VALUE (arg)))
{
- error ("default argument missing for parameter %P of %q+#D", i, x);
+ error_at (get_fndecl_argument_location (fndecl, i),
+ "default argument missing for parameter %P of %q#D", i, x);
+ if (loc_of_first_default_arg != UNKNOWN_LOCATION
+ && !noted_first_def)
+ {
+ inform (loc_of_first_default_arg,
+ "...following parameter %P which has a default argument",
+ idx_of_first_default_arg);
+ noted_first_def = true;
+ }
TREE_PURPOSE (arg) = error_mark_node;
}
}
{
if (complain & tf_error)
{
+ location_t loc = EXPR_LOC_OR_LOC (val, input_location);
if (fndecl)
- error ("parameter %P of %qD has incomplete type %qT",
- i, fndecl, type);
+ {
+ auto_diagnostic_group d;
+ error_at (loc,
+ "parameter %P of %qD has incomplete type %qT",
+ i, fndecl, type);
+ inform (get_fndecl_argument_location (fndecl, i),
+ " declared here");
+ }
else
- error ("parameter %P has incomplete type %qT", i, type);
+ error_at (loc, "parameter %P has incomplete type %qT", i,
+ type);
}
parmval = error_mark_node;
}
tree rhstype;
enum tree_code coder;
+ location_t rhs_loc = EXPR_LOC_OR_LOC (rhs, input_location);
+
/* Strip NON_LVALUE_EXPRs since we aren't using as an lvalue. */
if (TREE_CODE (rhs) == NON_LVALUE_EXPR)
rhs = TREE_OPERAND (rhs, 0);
parmnum, complain, flags);
}
else if (fndecl)
- complain_about_bad_argument (cp_expr_location (rhs),
+ complain_about_bad_argument (rhs_loc,
rhstype, type,
fndecl, parmnum);
else
if (codel == REFERENCE_TYPE)
{
+ auto_diagnostic_group d;
/* This should eventually happen in convert_arguments. */
int savew = 0, savee = 0;
if (fndecl
&& (warningcount + werrorcount > savew || errorcount > savee))
- inform (DECL_SOURCE_LOCATION (fndecl),
+ inform (get_fndecl_argument_location (fndecl, parmnum),
"in passing argument %P of %qD", parmnum, fndecl);
-
return rhs;
}
+2018-12-06 David Malcolm <dmalcolm@redhat.com>
+
+ PR c++/85110
+ * g++.dg/diagnostic/missing-default-args.C: New test.
+ * g++.dg/diagnostic/param-type-mismatch-3.C: New test.
+ * g++.dg/diagnostic/param-type-mismatch.C: Add tests for invalid
+ references and incomplete types.
+ * g++.dg/warn/Wconversion-null-4.C: New test.
+
2018-12-06 Jakub Jelinek <jakub@redhat.com>
PR target/87598
--- /dev/null
+// { dg-options "-fdiagnostics-show-caret" }
+
+/* Function. */
+
+void test_1 (int a, int b = 42, int c, int d); // { dg-line test_1 }
+
+// { dg-error "default argument missing for parameter 3 of " "" { target *-*-* } test_1 }
+/* { dg-begin-multiline-output "" }
+ void test_1 (int a, int b = 42, int c, int d);
+ ~~~~^
+ { dg-end-multiline-output "" } */
+// { dg-message "...following parameter 2 which has a default argument" "" { target *-*-* } test_1 }
+/* { dg-begin-multiline-output "" }
+ void test_1 (int a, int b = 42, int c, int d);
+ ~~~~^~~~~~
+ { dg-end-multiline-output "" } */
+// { dg-error "default argument missing for parameter 4 of " "" { target *-*-* } test_1 }
+/* { dg-begin-multiline-output "" }
+ void test_1 (int a, int b = 42, int c, int d);
+ ~~~~^
+ { dg-end-multiline-output "" } */
+
+
+/* Non-static member fn. */
+
+struct test_2
+{
+ void member_2 (int a, int b = 42, int c); // { dg-line test_2 }
+};
+// { dg-error "default argument missing for parameter 3 of " "" { target *-*-* } test_2 }
+/* { dg-begin-multiline-output "" }
+ void member_2 (int a, int b = 42, int c);
+ ~~~~^
+ { dg-end-multiline-output "" } */
+// { dg-message "...following parameter 2 which has a default argument" "" { target *-*-* } test_2 }
+/* { dg-begin-multiline-output "" }
+ void member_2 (int a, int b = 42, int c);
+ ~~~~^~~~~~
+ { dg-end-multiline-output "" } */
+
+
+/* Static member fn. */
+
+struct test_3
+{
+ static void member_3 (int a, int b = 42, int c); // { dg-line test_3 }
+};
+// { dg-error "default argument missing for parameter 3 of " "" { target *-*-* } test_3 }
+/* { dg-begin-multiline-output "" }
+ static void member_3 (int a, int b = 42, int c);
+ ~~~~^
+ { dg-end-multiline-output "" } */
+// { dg-message "...following parameter 2 which has a default argument" "" { target *-*-* } test_3 }
+/* { dg-begin-multiline-output "" }
+ static void member_3 (int a, int b = 42, int c);
+ ~~~~^~~~~~
+ { dg-end-multiline-output "" } */
+
+
+/* Template. */
+
+template <typename Type>
+void test_4 (int a, int b = 42, int c); // { dg-line test_4 }
+// { dg-error "default argument missing for parameter 3 of " "" { target *-*-* } test_4 }
+/* { dg-begin-multiline-output "" }
+ void test_4 (int a, int b = 42, int c);
+ ~~~~^
+ { dg-end-multiline-output "" } */
+// { dg-message "...following parameter 2 which has a default argument" "" { target *-*-* } test_4 }
+/* { dg-begin-multiline-output "" }
+ void test_4 (int a, int b = 42, int c);
+ ~~~~^~~~~~
+ { dg-end-multiline-output "" } */
--- /dev/null
+// { dg-do compile { target c++14 } }
+// { dg-options "-fdiagnostics-show-caret" }
+
+void f2(int, char (*)(int), int) { } // { dg-line f2 }
+
+void test_1 ()
+{
+ auto glambda = [](auto a) { return a; }; // { dg-line candidate }
+ int (*fp)(int) = glambda;
+ f2(1, glambda, 3); // { dg-error "invalid user-defined conversion" }
+ /* { dg-begin-multiline-output "" }
+ f2(1, glambda, 3);
+ ^~~~~~~
+ { dg-end-multiline-output "" } */
+ // { dg-message "candidate is: " "" { target *-*-* } candidate }
+ /* { dg-begin-multiline-output "" }
+ auto glambda = [](auto a) { return a; };
+ ^
+ { dg-end-multiline-output "" } */
+ // { dg-message "no known conversion from " "" { target *-*-* } candidate }
+ // { dg-message "initializing argument 2 of " "" { target *-*-* } f2 }
+ /* { dg-begin-multiline-output "" }
+ void f2(int, char (*)(int), int) { }
+ ^~~~~~~~~~~~~
+ { dg-end-multiline-output "" } */
+}
{ dg-end-multiline-output "" } */
}
+/* Bad reference. */
+
+struct s12;
+
+extern int callee_12 (int one, s12 &second, float three); // { dg-line callee_12 }
+
+int test_12 (int first, int second, float third)
+{
+ return callee_12 (first, second, third); // { dg-error "invalid initialization of reference of " }
+ /* { dg-begin-multiline-output "" }
+ return callee_12 (first, second, third);
+ ^~~~~~
+ { dg-end-multiline-output "" } */
+ // { dg-message "in passing argument 2 of " "" { target *-*-* } callee_12 }
+ /* { dg-begin-multiline-output "" }
+ extern int callee_12 (int one, s12 &second, float three);
+ ~~~~~^~~~~~
+ { dg-end-multiline-output "" } */
+}
+
+/* Incomplete type. */
+
+struct s13;
+
+extern int callee_13 (int one, s13 second, float three); // { dg-line callee_13 }
+
+int test_13 (int first, int second, float third)
+{
+ return callee_13 (first, second, third); // { dg-error "has incomplete type" }
+ /* { dg-begin-multiline-output "" }
+ return callee_13 (first, second, third);
+ ^~~~~~
+ { dg-end-multiline-output "" } */
+ // { dg-message "declared here" "" { target *-*-* } callee_13 }
+ /* { dg-begin-multiline-output "" }
+ extern int callee_13 (int one, s13 second, float three);
+ ~~~~^~~~~~
+ { dg-end-multiline-output "" } */
+}
+
+
// TODO: template callsite
--- /dev/null
+// { dg-do compile }
+// { dg-options "-Wconversion-null -fdiagnostics-show-caret" }
+
+#include <stddef.h>
+
+void callee_1 (int, int, int) {} // { dg-message "declared here" }
+
+void caller_1 (void)
+{
+ callee_1 (0, NULL, 2); // { dg-warning "passing NULL to non-pointer argument 2 of" }
+ /* { dg-begin-multiline-output "" }
+ callee_1 (0, NULL, 2);
+ ^~~~
+ { dg-end-multiline-output "" } */
+ /* { dg-begin-multiline-output "" }
+ void callee_1 (int, int, int) {}
+ ^~~
+ { dg-end-multiline-output "" } */
+}
+
+void callee_2 (int, void *, int) {} // { dg-message "declared here" "" { target { ! c++11 } } }
+// { dg-message "initializing argument 2 of " "" { target c++11 } .-1 }
+
+void caller_2 (void)
+{
+ callee_2 (0, false, 2); // { dg-warning "converting 'false' to pointer type for argument 2 of " "" { target { ! c++11 } } }
+ // { dg-error "cannot convert" "" { target c++11 } .-1 }
+
+ /* { dg-begin-multiline-output "" }
+ callee_2 (0, false, 2);
+ ^~~~~
+ { dg-end-multiline-output "" { target { ! c++11 } } } */
+ /* { dg-begin-multiline-output "" }
+ callee_2 (0, false, 2);
+ ^~~~~
+ |
+ bool
+ { dg-end-multiline-output "" { target c++11 } } */
+ /* { dg-begin-multiline-output "" }
+ void callee_2 (int, void *, int) {}
+ ^~~~~~
+ { dg-end-multiline-output "" } */
+}
projects / gcc.git / commitdiff