/cp
2019-10-07 Paolo Carlini <paolo.carlini@oracle.com>
* call.c (resolve_args): Use cp_expr_loc_or_input_loc in one place.
* decl.c (grokdeclarator): Use id_loc in one place.
* decl2.c (build_anon_union_vars): Use DECL_SOURCE_LOCATION.
* parser.c (cp_parser_delete_expression): Fix the location of the
returned expression.
(cp_parser_throw_expression): Likewise.
* pt.c (determine_specialization): Use DECL_SOURCE_LOCATION.
/testsuite
2019-10-07 Paolo Carlini <paolo.carlini@oracle.com>
* g++.dg/diagnostic/not-a-function-template-1.C: New.
* g++.dg/template/crash107.C: Adjust expected location.
* g++.dg/template/dependent-expr1.C: Check locations.
* g++.dg/template/error17.C: Check location.
From-SVN: r276661
+2019-10-07 Paolo Carlini <paolo.carlini@oracle.com>
+
+ * call.c (resolve_args): Use cp_expr_loc_or_input_loc in one place.
+ * decl.c (grokdeclarator): Use id_loc in one place.
+ * decl2.c (build_anon_union_vars): Use DECL_SOURCE_LOCATION.
+ * parser.c (cp_parser_delete_expression): Fix the location of the
+ returned expression.
+ (cp_parser_throw_expression): Likewise.
+ * pt.c (determine_specialization): Use DECL_SOURCE_LOCATION.
+
2019-10-05 Jakub Jelinek <jakub@redhat.com>
PR c++/91369 - Implement P0784R7: constexpr new
else if (VOID_TYPE_P (TREE_TYPE (arg)))
{
if (complain & tf_error)
- error ("invalid use of void expression");
+ error_at (cp_expr_loc_or_input_loc (arg),
+ "invalid use of void expression");
return NULL;
}
else if (invalid_nonstatic_memfn_p (EXPR_LOCATION (arg), arg, complain))
tree tmpl = TREE_OPERAND (unqualified_id, 0);
if (variable_template_p (tmpl))
{
- error ("specialization of variable template %qD "
- "declared as function", tmpl);
+ error_at (id_loc, "specialization of variable template "
+ "%qD declared as function", tmpl);
inform (DECL_SOURCE_LOCATION (tmpl),
"variable template declared here");
return error_mark_node;
just give an error. */
if (TREE_CODE (type) != UNION_TYPE)
{
- error ("anonymous struct not inside named type");
+ error_at (DECL_SOURCE_LOCATION (TYPE_MAIN_DECL (type)),
+ "anonymous struct not inside named type");
return error_mark_node;
}
bool global_scope_p;
bool array_p;
tree expression;
+ location_t start_loc = cp_lexer_peek_token (parser->lexer)->location;
/* Look for the optional `::' operator. */
global_scope_p
if (cp_parser_non_integral_constant_expression (parser, NIC_DEL))
return error_mark_node;
- return delete_sanity (expression, NULL_TREE, array_p, global_scope_p,
- tf_warning_or_error);
+ /* Construct a location e.g.:
+ delete [ ] ptr
+ ^~~~~~~~~~~~~~
+ with caret == start at the start of the "delete" token, and
+ the end at the end of the final token we consumed. */
+ location_t combined_loc = make_location (start_loc, start_loc,
+ parser->lexer);
+ expression = delete_sanity (expression, NULL_TREE, array_p,
+ global_scope_p, tf_warning_or_error);
+ protected_set_expr_location (expression, combined_loc);
+
+ return expression;
}
/* Returns 1 if TOKEN may start a cast-expression and isn't '++', '--',
{
tree expression;
cp_token* token;
+ location_t start_loc = cp_lexer_peek_token (parser->lexer)->location;
cp_parser_require_keyword (parser, RID_THROW, RT_THROW);
token = cp_lexer_peek_token (parser->lexer);
else
expression = cp_parser_assignment_expression (parser);
- return build_throw (expression);
+ /* Construct a location e.g.:
+ throw x
+ ^~~~~~~
+ with caret == start at the start of the "throw" token, and
+ the end at the end of the final token we consumed. */
+ location_t combined_loc = make_location (start_loc, start_loc,
+ parser->lexer);
+ expression = build_throw (expression);
+ protected_set_expr_location (expression, combined_loc);
+
+ return expression;
}
/* GNU Extensions */
if (TREE_CODE (decl) == FUNCTION_DECL && !is_overloaded_fn (fns))
{
- error ("%qD is not a function template", fns);
+ error_at (DECL_SOURCE_LOCATION (decl),
+ "%qD is not a function template", fns);
return error_mark_node;
}
else if (VAR_P (decl) && !variable_template_p (fns))
error ("template-id %qD for %q+D does not match any template "
"declaration", template_id, decl);
if (header_count && header_count != template_count + 1)
- inform (input_location, "saw %d %<template<>%>, need %d for "
+ inform (DECL_SOURCE_LOCATION (decl),
+ "saw %d %<template<>%>, need %d for "
"specializing a member function template",
header_count, template_count + 1);
else
+2019-10-07 Paolo Carlini <paolo.carlini@oracle.com>
+
+ * g++.dg/diagnostic/not-a-function-template-1.C: New.
+ * g++.dg/template/crash107.C: Adjust expected location.
+ * g++.dg/template/dependent-expr1.C: Check locations.
+ * g++.dg/template/error17.C: Check location.
+
2019-10-07 Richard Sandiford <richard.sandiford@arm.com>
PR target/91994
--- /dev/null
+// { dg-do compile { target c++14 } }
+
+template<typename> int A; // { dg-message "24:variable template" }
+
+template int A<>(); // { dg-error "14:template<class>" }
+
+struct B {
+ friend int A<>(); // { dg-error "14:specialization" }
+};
template<typename FP_> struct Vec { // { dg-message "note" }
Vec& operator^=(Vec& rhs) {
union {
- struct {FP_ x,y,z;};
- }; // { dg-error "anonymous struct" }
+ struct {FP_ x,y,z;}; // { dg-error "20:anonymous struct" }
+ };
X = y*rhs.z() - z*rhs.y(); // { dg-error "not declared|no member" }
}
Vec& operator^(Vec& rhs) {
Foo (sizeof (x));
Foo (__alignof__ (I));
Foo (__alignof__ (x));
- Foo (x->~I ()); // { dg-error "" }
+ Foo (x->~I ()); // { dg-error "16:invalid" }
// Foo (typeid (I));
- Foo (delete x); // { dg-error "" }
- Foo (delete[] x); // { dg-error "" }
- Foo (throw x); // { dg-error "" }
+ Foo (delete x); // { dg-error "10:invalid" }
+ Foo (delete[] x); // { dg-error "10:invalid" }
+ Foo (throw x); // { dg-error "10:invalid" }
}
}
foo()
{
union { struct { }; }; // { dg-error "prohibits anonymous struct" "anon" }
- // { dg-error "not inside" "not inside" { target *-*-* } .-1 }
+ // { dg-error "18:anonymous struct not inside" "not inside" { target *-*-* } .-1 }
}
projects / gcc.git / commitdiff