| bc17f5fd |
1 | 2019-03-06 Jason Merrill <jason@redhat.com> |
| 2 | |
| 3 | PR c++/89381 - implicit copy and using-declaration. |
| 4 | * class.c (classtype_has_move_assign_or_move_ctor_p): Don't consider |
| 5 | op= brought in by a using-declaration. |
| 6 | |
| aa49bda0 |
7 | 2019-03-06 Jakub Jelinek <jakub@redhat.com> |
| 8 | |
| 9 | PR c++/87148 |
| 10 | * init.c (build_value_init_noctor): Ignore flexible array members. |
| 11 | |
| 02daf5d2 |
12 | 2019-03-06 Jason Merrill <jason@redhat.com> |
| 13 | |
| 14 | PR c++/89576 - if constexpr of lambda capture. |
| 15 | * semantics.c (maybe_convert_cond): Do convert a non-dependent |
| 16 | condition in a template. |
| 17 | * typeck.c (condition_conversion): Handle being called in a |
| 18 | template. |
| 19 | |
| 55d0cc00 |
20 | 2019-03-06 Marek Polacek <polacek@redhat.com> |
| 21 | |
| 22 | PR c++/87378 - bogus -Wredundant-move warning. |
| 23 | * typeck.c (maybe_warn_pessimizing_move): See if the maybe-rvalue |
| 24 | overload resolution would actually succeed. |
| 25 | |
| cd5a9ed1 |
26 | 2019-03-05 Jason Merrill <jason@redhat.com> |
| 27 | |
| 28 | * class.c (is_really_empty_class): Add ignore_vptr parm. |
| 29 | (trivial_default_constructor_is_constexpr): Pass it. |
| 30 | * call.c (build_over_call): Pass it. |
| 31 | * constexpr.c (cxx_eval_constant_expression): Pass it instead of |
| 32 | checking TYPE_POLYMORPHIC_P. |
| 33 | (cxx_eval_component_reference, potential_constant_expression_1): |
| 34 | Pass it. |
| 35 | * cp-gimplify.c (simple_empty_class_p): Pass it. |
| 36 | * init.c (expand_aggr_init_1): Pass it. |
| 37 | |
| 1751c288 |
38 | 2019-03-04 Paolo Carlini <paolo.carlini@oracle.com> |
| 39 | |
| 40 | PR c++/84605 |
| 41 | * parser.c (cp_parser_class_head): Reject TYPE_BEING_DEFINED too. |
| 42 | |
| 10599713 |
43 | 2019-03-04 Jakub Jelinek <jakub@redhat.com> |
| 44 | |
| 45 | PR c++/71446 |
| 46 | * call.c (field_in_pset): New function. |
| 47 | (build_aggr_conv): Handle CONSTRUCTOR_IS_DESIGNATED_INIT correctly. |
| 48 | |
| 73e3d2ee |
49 | 2019-03-02 Jakub Jelinek <jakub@redhat.com> |
| 50 | |
| 51 | PR c++/71446 |
| 52 | * cp-tree.h (CONSTRUCTOR_IS_DESIGNATED_INIT): Define. |
| 53 | * parser.c (cp_parser_braced_list): Adjust cp_parser_initializer_list |
| 54 | caller, set CONSTRUCTOR_IS_DESIGNATED_INIT. |
| 55 | (cp_parser_initializer_list): Add designated parameter, set *designated |
| 56 | to a bool whether any designators were parsed. |
| 57 | * decl.c (reshape_init): Copy over CONSTRUCTOR_IS_DESIGNATED_INIT if |
| 58 | needed. |
| 59 | * pt.c (tsubst_copy_and_build): Likewise. |
| 60 | * call.c (implicit_conversion): If CONSTRUCTOR_IS_DESIGNATED_INIT, |
| 61 | don't call build_list_conv, nor build_complex_conv, nor attempt to |
| 62 | convert a single element initializer to scalar. |
| 63 | |
| f409a882 |
64 | 2019-03-01 Marek Polacek <polacek@redhat.com> |
| 65 | |
| ae8e3cb6 |
66 | PR c++/89537 - missing location for error with non-static member fn. |
| 67 | * call.c (resolve_args): Use EXPR_LOCATION. |
| 68 | * typeck.c (build_class_member_access_expr): Use input_location. |
| 69 | |
| f409a882 |
70 | PR c++/89532 - ICE with incomplete type in decltype. |
| 71 | * semantics.c (finish_compound_literal): Return error_mark_node |
| 72 | if digest_init_flags returns error_mark_node. |
| 73 | |
| b279a142 |
74 | 2019-03-01 Jakub Jelinek <jakub@redhat.com> |
| 75 | |
| 76 | Implement P1002R1, Try-catch blocks in constexpr functions |
| 77 | PR c++/89513 |
| 78 | * parser.c (cp_parser_ctor_initializer_opt_and_function_body): |
| 79 | Diagnose constexpr ctor or function with function-try-block with |
| 80 | pedwarn for c++17 and earlier. Formatting fix. |
| 81 | (cp_parser_try_block): Use pedwarn instead of error and only for |
| 82 | c++17 and earlier when try block appears in constexpr function. |
| 83 | * constexpr.c (build_constexpr_constructor_member_initializers): |
| 84 | Handle TRY_BLOCK here instead of erroring on it. |
| 85 | |
| c7110ca7 |
86 | 2019-02-28 Jason Merrill <jason@redhat.com> |
| 87 | |
| bb019931 |
88 | PR c++/88183 - ICE with .* fold-expression. |
| 89 | * pt.c (fold_expression) [DOTSTAR_EXPR]: Remove special handling. |
| 90 | |
| 9b4cf3ba |
91 | PR c++/86969 - ICE with constexpr if and recursive generic lambdas. |
| 92 | * class.c, lambda.c, pt.c: Revert earlier change. |
| 93 | * lambda.c (add_capture): Don't special-case capture of dependent |
| 94 | VLA. |
| 95 | |
| c7110ca7 |
96 | * name-lookup.c (print_binding_level): Print this_entity. |
| 97 | |
| 90c2137c |
98 | 2019-02-27 Marek Polacek <polacek@redhat.com> |
| 99 | |
| 100 | PR c++/88857 - ICE with value-initialization of argument in template. |
| 101 | * call.c (convert_like_real): Don't call build_value_init in template. |
| 102 | |
| 9ecd4044 |
103 | 2019-02-27 Jason Merrill <jason@redhat.com> |
| 104 | |
| 105 | PR c++/86969 - ICE with constexpr if and recursive generic lambdas. |
| 106 | * semantics.c (process_outer_var_ref): Do capture dependent vars. |
| 107 | * class.c (finish_struct): Only add TAG_DEFN if T is in |
| 108 | current_function_decl. |
| 109 | * lambda.c (vla_capture_type): Force the capture type out into the |
| 110 | lambda's enclosing function. |
| 111 | (add_capture): Pass in the lambda. |
| 112 | * pt.c (tsubst_lambda_expr): complete_type a VLA capture type. |
| 113 | |
| 7304edd1 |
114 | 2019-02-27 Marek Polacek <polacek@redhat.com> |
| 115 | |
| 116 | PR c++/89511 - ICE with using-declaration and unscoped enumerator. |
| 117 | * parser.c (cp_parser_using_declaration): For an unscoped enum |
| 118 | only use its context if it's not a function declaration. |
| 119 | |
| c9f30cbb |
120 | 2019-02-27 Paolo Carlini <paolo.carlini@oracle.com> |
| 121 | |
| 122 | PR c++/89488 |
| 123 | * method.c (process_subob_fn): When maybe_instantiate_noexcept |
| 124 | returns false don't call merge_exception_specifiers. |
| 125 | |
| 126 | 2019-02-27 Paolo Carlini <paolo.carlini@oracle.com> |
| 127 | |
| 128 | PR c++/88987 |
| 129 | * parser.c (cp_parser_noexcept_specification_opt): Return NULL_TREE |
| 130 | for a non-constant parsed expression. |
| 131 | |
| a165fd90 |
132 | 2019-02-26 Jakub Jelinek <jakub@redhat.com> |
| 133 | |
| 134 | PR c++/89481 |
| 135 | * constexpr.c (cxx_eval_store_expression): When changing active union |
| 136 | member, set no_zero_init. |
| 137 | |
| c005651d |
138 | 2019-02-23 Marek Polacek <polacek@redhat.com> |
| 139 | |
| 140 | PR c++/88294 - ICE with non-constant noexcept-specifier. |
| 141 | * pt.c (maybe_instantiate_noexcept): Set up the list of local |
| 142 | specializations. Set current_class_{ptr,ref}. |
| 143 | |
| 689cc9b6 |
144 | 2019-02-22 David Malcolm <dmalcolm@redhat.com> |
| 145 | |
| 146 | PR c++/89390 |
| 147 | * parser.c (cp_parser_unqualified_id): Capture and use locations |
| 148 | for destructors. |
| 149 | |
| e7652833 |
150 | 2019-02-22 Marek Polacek <polacek@redhat.com> |
| 151 | |
| 152 | PR c++/89420 - ICE with CAST_EXPR in explicit-specifier. |
| 153 | * decl.c (build_explicit_specifier): Don't check |
| 154 | processing_template_decl. Call instantiation_dependent_expression_p |
| 155 | instead of value_dependent_expression_p. Call |
| 156 | instantiate_non_dependent_expr_sfinae before |
| 157 | build_converted_constant_expr instead of calling |
| 158 | instantiate_non_dependent_expr after it. Add |
| 159 | processing_template_decl_sentinel. |
| 160 | |
| 51391c1d |
161 | 2019-02-22 Thomas Schwinge <thomas@codesourcery.com> |
| 162 | |
| 163 | * parser.c (cp_parser_oacc_simple_clause): Remove parser formal |
| 164 | parameter, move loc formal parameter to the front. Adjust all |
| 165 | users. |
| 166 | (cp_parser_oacc_shape_clause): Add loc formal parameter. Adjust |
| 167 | all users. |
| 168 | |
| b6700c1a |
169 | 2019-02-21 Jason Merrill <jason@redhat.com> |
| 170 | |
| 532cca3f |
171 | PR c++/87685 - generic lambda 'this' capture error. |
| 172 | * lambda.c (lambda_expr_this_capture): Change add_capture_p to int. |
| 173 | (maybe_generic_this_capture): Pass -1. |
| 174 | |
| a7ea8f96 |
175 | PR c++/88394 - ICE with VLA init-capture. |
| 176 | * lambda.c (is_normal_capture_proxy): Check DECL_CAPTURED_VARIABLE. |
| 177 | |
| e2d4b8be |
178 | PR c++/88869 - C++17 ICE with CTAD and explicit specialization. |
| 179 | * pt.c (do_class_deduction): Don't include explicit specialization |
| 180 | args in outer_args. |
| 181 | |
| b6700c1a |
182 | PR c++/89422 - ICE with -g and lambda in default arg in template. |
| 183 | * pt.c (tsubst_function_decl): SET_DECL_FRIEND_CONTEXT sooner. |
| 184 | |
| 147a31b6 |
185 | 2019-02-21 Jason Merrill <jason@redhat.com> |
| 186 | |
| 187 | PR c++/88419 - C++17 ICE with class template arg deduction. |
| 188 | * pt.c (make_template_placeholder): Set TYPE_CANONICAL after |
| 189 | CLASS_PLACEHOLDER_TEMPLATE. |
| 190 | |
| 02d7a132 |
191 | 2019-02-21 Jakub Jelinek <jakub@redhat.com> |
| 192 | |
| 193 | PR c++/89285 |
| 194 | * constexpr.c (struct constexpr_fundef): Add parms and result members. |
| 195 | (retrieve_constexpr_fundef): Adjust for the above change. |
| 196 | (register_constexpr_fundef): Save constexpr body with copy_fn, |
| 197 | temporarily set DECL_CONTEXT on DECL_RESULT before that. |
| 198 | (get_fundef_copy): Change FUN argument to FUNDEF with |
| 199 | constexpr_fundef * type, grab body and parms/result out of |
| 200 | constexpr_fundef struct and temporarily change it for copy_fn calls |
| 201 | too. |
| 202 | (cxx_eval_builtin_function_call): For __builtin_FUNCTION temporarily |
| 203 | adjust current_function_decl from ctx->call context. Test |
| 204 | !potential_constant_expression instead of !is_constant_expression. |
| 205 | (cxx_bind_parameters_in_call): Grab parameters from new_call. Undo |
| 206 | convert_for_arg_passing changes for TREE_ADDRESSABLE type passing. |
| 207 | (cxx_eval_call_expression): Adjust get_fundef_copy caller. |
| 208 | (cxx_eval_conditional_expression): For IF_STMT, allow then or else |
| 209 | operands to be NULL. |
| 210 | (label_matches): Handle BREAK_STMT and CONTINUE_STMT. |
| 211 | (cxx_eval_loop_expr): Add support for FOR_STMT, WHILE_STMT and DO_STMT. |
| 212 | (cxx_eval_switch_expr): Add support for SWITCH_STMT. |
| 213 | (cxx_eval_constant_expression): Handle IF_STMT, FOR_STMT, WHILE_STMT, |
| 214 | DO_STMT, CONTINUE_STMT, SWITCH_STMT, BREAK_STMT and CONTINUE_STMT. |
| 215 | For SIZEOF_EXPR, recurse on the result of fold_sizeof_expr. Ignore |
| 216 | DECL_EXPR with USING_DECL operand. |
| 217 | * lambda.c (maybe_add_lambda_conv_op): Build thisarg using |
| 218 | build_int_cst to make it a valid constant expression. |
| 219 | |
| dcd8f919 |
220 | 2019-02-20 Jason Merrill <jason@redhat.com> |
| 221 | |
| 222 | PR c++/88690 - C++17 ICE with empty base in aggregate. |
| 223 | * typeck2.c (process_init_constructor_record): Skip trivial |
| 224 | initialization of an empty base. |
| 225 | |
| 309e5f71 |
226 | 2019-02-21 Richard Biener <rguenther@suse.de> |
| 227 | |
| 228 | PR middle-end/89392 |
| 229 | * vtable-class-hierarchy.c (vtv_generate_init_routine): Do not |
| 230 | make symtab process new functions here. |
| 231 | |
| 4e60ed29 |
232 | 2019-02-20 Jason Merrill <jason@redhat.com> |
| 233 | |
| 234 | PR c++/87921 - wrong error with inline static data member. |
| 235 | * decl2.c (finish_static_data_member_decl): Don't set DECL_IN_AGGR_P |
| 236 | for a non-template inline variable. Do nothing for an |
| 237 | already-instantiated variable. |
| 238 | (c_parse_final_cleanups): Check DECL_IN_AGGR_P without |
| 239 | DECL_INLINE_VAR_P. |
| 240 | * decl.c (check_initializer): Likewise. |
| 241 | (make_rtl_for_nonlocal_decl): Likewise. |
| 242 | * pt.c (instantiate_decl): Likewise. |
| 243 | * typeck2.c (store_init_value): Likewise. |
| 244 | |
| b47245f1 |
245 | 2019-02-20 Jakub Jelinek <jakub@redhat.com> |
| 246 | |
| 0c3f2aa9 |
247 | PR c++/89403 |
| 248 | * decl2.c (c_parse_final_cleanups): Move TREE_ASM_WRITTEN setting |
| 249 | for flag_syntax_only from here... |
| 250 | * semantics.c (expand_or_defer_fn_1): ... here. |
| 251 | |
| 02dc6028 |
252 | PR c++/89405 |
| 253 | * decl.c (maybe_commonize_var): When clearing TREE_PUBLIC and |
| 254 | DECL_COMMON, set DECL_INTERFACE_KNOWN. |
| 255 | |
| b47245f1 |
256 | PR c++/89336 |
| 257 | * constexpr.c (cxx_eval_store_expression): Diagnose changing of active |
| 258 | union member for -std=c++17 and earlier. |
| 259 | |
| af48cea2 |
260 | 2019-02-19 Jason Merrill <jason@redhat.com> |
| 261 | |
| 262 | PR c++/87513 - 'sorry' mangling PMF template-id. |
| 263 | * mangle.c (write_expression): Handle SCOPE_REF to BASELINK. |
| 264 | |
| fd8a4665 |
265 | 2019-02-19 Jason Merrill <jason@redhat.com> |
| 266 | |
| 267 | PR c++/88380 - wrong-code with flexible array and NSDMI. |
| 268 | * typeck2.c (process_init_constructor_record): Skip flexarrays. |
| 269 | |
| 53ceddc9 |
270 | 2019-02-20 will wray <wjwray@gmail.com> |
| 271 | |
| 272 | PR c++/88572 - wrong handling of braces on scalar init. |
| 273 | * decl.c (reshape_init_r): Allow braces around scalar initializer |
| 274 | within aggregate init. Reject double braced-init of scalar |
| 275 | variable. |
| 276 | |
| ab0fbe16 |
277 | 2019-02-20 Paolo Carlini <paolo.carlini@oracle.com> |
| 278 | |
| 279 | PR c++/84536 |
| 280 | * pt.c (tsubst_init): Diagnose an initializer expanding to an |
| 281 | empty list of expressions; tweak wrt dependent types. |
| 282 | (regenerate_decl_from_template): For VAR_DECLs call tsubst_init |
| 283 | instead of tsubst_expr. |
| 284 | |
| ce7f22f1 |
285 | 2019-02-19 Jason Merrill <jason@redhat.com> |
| 286 | |
| 287 | PR c++/88368 - wrong 'use of deleted function' |
| 288 | * method.c (walk_field_subobs): Remember errors from get_nsdmi. |
| 289 | (get_defaulted_eh_spec): Call push_tinst_level. |
| 290 | * pt.c (maybe_instantiate_noexcept): Keep error_mark_node. |
| 291 | * typeck2.c (merge_exception_specifiers): Handle error_mark_node. |
| 292 | |
| d572a4c3 |
293 | 2019-02-19 Chung-Lin Tang <cltang@codesourcery.com> |
| 294 | |
| 295 | PR c/87924 |
| 296 | * parser.c (cp_parser_oacc_clause_wait): Add representation of wait |
| 297 | clause without argument as 'wait (GOMP_ASYNC_NOVAL)', adjust comments. |
| 298 | |
| 31358ed0 |
299 | 2019-02-19 Jakub Jelinek <jakub@redhat.com> |
| 300 | |
| 5ebe5c44 |
301 | PR c++/89387 |
| 302 | * lambda.c (maybe_generic_this_capture): Don't check |
| 303 | DECL_NONSTATIC_MEMBER_FUNCTION_P on USING_DECLs. |
| 304 | |
| fcea8c4d |
305 | PR c++/89391 |
| 306 | * typeck.c (build_reinterpret_cast_1): Don't handle void to |
| 307 | && conversion go through build_target_expr_with_type. |
| 308 | |
| 31358ed0 |
309 | PR c++/89390 |
| 310 | * error.c (qualified_name_lookup_error): Only call |
| 311 | suggest_alternative_in_scoped_enum if name is IDENTIFIER_NODE. |
| 312 | |
| 25694c85 |
313 | 2019-02-19 Tom Honermann <tom@honermann.net> |
| 314 | |
| 315 | * name-lookup.c (get_std_name_hint): Added u8string as a name hint. |
| 316 | |
| a1e1b603 |
317 | 2019-02-18 Jason Merrill <jason@redhat.com> |
| 318 | |
| 6aaacaf1 |
319 | PR c++/89336 - multiple stores in constexpr stmt. |
| 320 | * constexpr.c (cxx_eval_store_expression): Preevaluate scalar or |
| 321 | assigned value. |
| 322 | |
| f6347d1a |
323 | * pt.c (check_explicit_specialization): If the declarator is a |
| 324 | template-id, only check whether the arguments are dependent. |
| 325 | |
| a1e1b603 |
326 | Improve duplicate [[likely]] diagnostic. |
| 327 | * parser.c (cp_parser_statement): Make attrs_loc a range. Pass it |
| 328 | to process_stmt_hotness_attribute. |
| 329 | * cp-gimplify.c (process_stmt_hotness_attribute): Take attrs_loc. |
| 330 | (genericize_if_stmt): Use likely/unlikely instead of predictor_name. |
| 331 | |
| 33e6651d |
332 | 2019-02-17 Marek Polacek <polacek@redhat.com> |
| 333 | |
| 334 | PR c++/89217 - ICE with list-initialization in range-based for loop. |
| 335 | * constexpr.c (unshare_constructor): No longer static. |
| 336 | * cp-tree.h (unshare_constructor): Declare. |
| 337 | * semantics.c (finish_compound_literal): When dealing with a |
| 338 | non-dependent expression in a template, return the original |
| 339 | expression. Pass LOOKUP_NO_NARROWING to digest_init_flags. |
| 340 | |
| 3a860627 |
341 | 2019-02-13 Marek Polacek <polacek@redhat.com> |
| 342 | |
| 343 | PR c++/89297 - ICE with OVERLOAD in template. |
| 344 | * semantics.c (finish_compound_literal): Call |
| 345 | instantiate_non_dependent_expr_sfinae. |
| 346 | |
| 601c59dd |
347 | 2019-02-13 Alexandre Oliva <aoliva@redhat.com> |
| 348 | |
| 40563cf7 |
349 | PR c++/86379 |
| 350 | * cp-tree.h (USING_DECL_SCOPE): Use result rather than type. |
| 351 | * name-lookup.c (strip_using_decl): Use USING_DECL_SCOPE. |
| 352 | * search.c (protected_accessible_p): Follow USING_DECL_DECLS. |
| 353 | (shared_member_p): Likewise. |
| 354 | (lookup_member): Likewise. |
| 355 | * decl.c (grok_special_member_properties): Skip USING_DECLs. |
| 356 | * semantics.c (finish_omp_declare_simd_methods): Likewise. |
| 357 | (finish_qualified_id_expr): Do not call shared_member_p with |
| 358 | a dependent expr. |
| 359 | |
| 601c59dd |
360 | PR c++/87322 |
| 361 | * pt.c (tsubst_lambda_expr): Avoid duplicate tsubsting. |
| 362 | Move cp_evaluated resetting before signature tsubsting. |
| 363 | (gen_elem_of_pack_expansion_instantiation): Separate local |
| 364 | specializations per index. |
| 365 | |
| f2da1a76 |
366 | 2019-02-13 David Malcolm <dmalcolm@redhat.com> |
| 367 | |
| 368 | PR c++/89036 |
| 369 | * class.c (add_method): Drop destructor assertion. |
| 370 | |
| 64bd49fa |
371 | 2019-02-13 Paolo Carlini <paolo.carlini@oracle.com> |
| 372 | |
| 373 | PR c++/88986 |
| 374 | * decl.c (make_typename_type): Allow for TYPE_PACK_EXPANSION as |
| 375 | context (the first argument). |
| 376 | * pt.c (tsubst, case TYPENAME_TYPE): Handle TYPE_PACK_EXPANSION |
| 377 | as context. |
| 378 | |
| c8e19553 |
379 | 2019-02-12 Jason Merrill <jason@redhat.com> |
| 380 | |
| 381 | PR c++/89144 - link error with constexpr initializer_list. |
| 382 | * call.c (convert_like_real) [ck_list]: Don't allocate a temporary |
| 383 | array for an empty list. |
| 384 | * typeck2.c (store_init_value): Don't use cxx_constant_init in a |
| 385 | template. |
| 386 | |
| 33fe677e |
387 | 2019-02-11 Jason Merrill <jason@redhat.com> |
| 388 | |
| 389 | PR c++/89241 - ICE with __func__ in lambda in template. |
| 390 | * pt.c (enclosing_instantiation_of): Also check |
| 391 | instantiated_lambda_fn_p for the template context. |
| 392 | |
| 44263306 |
393 | 2019-02-11 Marek Polacek <polacek@redhat.com> |
| 394 | |
| 395 | PR c++/89212 - ICE converting nullptr to pointer-to-member-function. |
| 396 | * pt.c (tsubst_copy_and_build) <case CONSTRUCTOR>: Return early for |
| 397 | null member pointer value. |
| 398 | |
| 61b94553 |
399 | 2019-02-11 Jakub Jelinek <jakub@redhat.com> |
| 400 | |
| 401 | PR c++/88977 |
| 402 | * pt.c (convert_nontype_argument): Pass true as manifestly_const_eval |
| 403 | to maybe_constant_value calls. |
| 404 | |
| b10193f4 |
405 | 2019-02-11 Marek Polacek <polacek@redhat.com> |
| 406 | |
| 407 | * typeck2.c (digest_init_r): Remove commented code. |
| 408 | |
| 08acf739 |
409 | 2019-02-11 Martin Sebor <msebor@redhat.com> |
| 410 | |
| 411 | PR c++/87996 |
| 412 | * decl.c (compute_array_index_type_loc): Preserve signed sizes |
| 413 | for diagnostics. Call valid_array_size_p instead of error. |
| 414 | * init.c (build_new_1): Compute size for diagnostic. Call |
| 415 | invalid_array_size_error |
| 416 | (build_new): Call valid_array_size_p instead of error. |
| 417 | |
| 939d44f3 |
418 | 2019-02-07 Alexandre Oliva <aoliva@redhat.com> |
| 419 | |
| 420 | PR c++/86218 |
| 421 | * call.c (compare_ics): Deal with ck_aggr in either cs. |
| 422 | |
| c92ab8d4 |
423 | 2019-02-06 David Malcolm <dmalcolm@redhat.com> |
| 424 | |
| 425 | PR c++/71302 |
| 426 | * call.c (get_location_for_expr_unwinding_for_system_header): New |
| 427 | function. |
| 428 | (conversion_null_warnings): Use it when getting locations for |
| 429 | EXPR, effectively adding a call to |
| 430 | get_location_for_expr_unwinding_for_system_header for |
| 431 | -Wconversion-null and making use of EXPR_LOCATION for |
| 432 | -Wzero-as-null-pointer-constant. |
| 433 | |
| b5a6b127 |
434 | 2019-02-05 Jakub Jelinek <jakub@redhat.com> |
| 435 | |
| 436 | PR c++/89187 |
| 437 | * optimize.c (maybe_thunk_body): Clear TREE_ADDRESSABLE on |
| 438 | PARM_DECLs of the thunk. |
| 439 | * lambda.c (maybe_add_lambda_conv_op): Likewise. |
| 440 | |
| 74ce2ebb |
441 | 2019-02-05 Marek Polacek <polacek@redhat.com> |
| 442 | |
| 443 | PR c++/89158 - by-value capture of constexpr variable broken. |
| 444 | * call.c (convert_like_real) <case ck_user>: Call mark_exp_read |
| 445 | instead of mark_rvalue_use. |
| 446 | |
| 9ca54fa1 |
447 | 2019-02-05 Alexandre Oliva <aoliva@redhat.com> |
| 448 | |
| 449 | PR c++/87770 |
| 450 | * pt.c (instantiates_primary_template_p): New. |
| 451 | (type_dependent_expression_p): Use it. |
| 452 | |
| c758dd5a |
453 | 2019-02-01 Jason Merrill <jason@redhat.com> |
| 454 | |
| 455 | PR c++/88761 - ICE with reference capture of constant. |
| 456 | * lambda.c (mark_const_cap_r): Do walk subtrees of DECL_EXPR for |
| 457 | non-proxy decls. |
| 458 | |
| bdb43276 |
459 | 2019-02-01 Marek Polacek <polacek@redhat.com> |
| 460 | |
| 461 | PR c++/88325 - ICE with invalid out-of-line template member definition. |
| 462 | * parser.c (cp_parser_class_name): Don't call make_typename_type |
| 463 | for overloads. |
| 464 | |
| 5ab8180e |
465 | 2019-02-01 Jakub Jelinek <jakub@redhat.com> |
| 466 | |
| 467 | PR c++/87175 |
| 468 | * parser.c (cp_parser_gnu_attributes_opt): Set ok to false |
| 469 | if require_open failed. |
| 470 | |
| c8f861a0 |
471 | 2019-01-31 Marek Polacek <polacek@redhat.com> |
| 472 | |
| 473 | PR c++/89083, c++/80864 - ICE with list initialization in template. |
| 474 | * constexpr.c (adjust_temp_type): Use copy_node and change the type |
| 475 | instead of using build_constructor. |
| 476 | * decl.c (reshape_init_r): Don't reshape a digested initializer. |
| 477 | Return the initializer for COMPOUND_LITERAL_P. |
| 478 | |
| f1329be6 |
479 | PR c++/88983 - ICE with switch in constexpr function. |
| 480 | * constexpr.c (cxx_eval_switch_expr): Use SWITCH_COND and SWITCH_BODY. |
| 481 | (cxx_eval_constant_expression) <case COND_EXPR>: Don't look for the |
| 482 | label in the else branch if we found it in the then branch. |
| 483 | |
| 8c28f0ef |
484 | 2019-01-30 Jason Merrill <jason@redhat.com> |
| 485 | |
| 486 | PR c++/88752 - ICE with lambda and constexpr if. |
| 487 | * cp-tree.h (LAMBDA_EXPR_INSTANTIATED): New. |
| 488 | * pt.c (tsubst_lambda_expr): Set it. |
| 489 | (instantiated_lambda_fn_p): Check it. |
| 490 | (enclosing_instantiation_of): Use it. |
| 491 | |
| abb9ae66 |
492 | 2019-01-31 Jakub Jelinek <jakub@redhat.com> |
| 493 | |
| 494 | PR libstdc++/88170 |
| 495 | * cxx-pretty-print.c (pp_cxx_enumeration_constant): Print always as |
| 496 | a C cast in pp_c_flag_gnu_v3 mode. |
| 497 | |
| 9b0e9786 |
498 | 2019-01-30 Jakub Jelinek <jakub@redhat.com> |
| 499 | |
| 500 | PR c++/88988 |
| 501 | * lambda.c (is_capture_proxy): Don't return true for |
| 502 | DECL_OMP_PRIVATIZED_MEMBER artificial vars. |
| 503 | |
| 7066144a |
504 | 2019-01-30 Marek Polacek <polacek@redhat.com> |
| 505 | |
| 506 | PR c++/89119 - ICE with value-initialization in template. |
| 507 | * pt.c (tsubst_copy_and_build): Handle RANGE_EXPR. |
| 508 | |
| 64e3499e |
509 | 2019-01-29 Jason Merrill <jason@redhat.com> |
| 510 | |
| 511 | PR c++/86943 - wrong code converting lambda to function pointer. |
| 512 | * lambda.c (maybe_add_lambda_conv_op): Use a template-id in the |
| 513 | call. Only forward parms for decltype. |
| 514 | * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Handle CALL_FROM_THUNK_P |
| 515 | specially. |
| 516 | * typeck.c (check_return_expr): Don't mess with a thunk call. |
| 517 | |
| 107cba11 |
518 | 2019-01-28 Jason Merrill <jason@redhat.com> |
| 519 | |
| 520 | PR c++/89089 - ICE with [[no_unique_address]]. |
| 521 | PR c++/88865 - wrong layout with [[no_unique_address]]. |
| 522 | * class.c (check_field_decls): A potentially-overlapping field makes |
| 523 | the class non-layout-POD, but not non-empty. |
| 524 | (end_of_class): Always consider empty data members. |
| 525 | (layout_class_type): Set DECL_SIZE for empty fields. |
| 526 | |
| 44da2a17 |
527 | 2019-01-28 Marek Polacek <polacek@redhat.com> |
| 528 | |
| 529 | PR c++/88358 - name wrongly treated as type. |
| 530 | * parser.c (cp_parser_direct_declarator): Don't assume a qualified-id |
| 531 | in parameter-list is a type if the function's declarator-id is not |
| 532 | qualified. |
| 533 | |
| 1d41b42f |
534 | 2019-01-27 Marek Polacek <polacek@redhat.com> |
| 535 | |
| b7feeace |
536 | PR c++/88815 - narrowing conversion lost in decltype. |
| 537 | PR c++/78244 - narrowing conversion in template not detected. |
| 538 | * cp-tree.h (CONSTRUCTOR_IS_DEPENDENT): New. |
| 539 | * pt.c (instantiation_dependent_r): Consider a CONSTRUCTOR with |
| 540 | CONSTRUCTOR_IS_DEPENDENT instantiation-dependent. |
| 541 | * semantics.c (finish_compound_literal): When the compound literal |
| 542 | isn't instantiation-dependent and the type isn't type-dependent, |
| 543 | fall back to the normal processing. Set CONSTRUCTOR_IS_DEPENDENT. |
| 544 | |
| 1d41b42f |
545 | PR c++/89024 - ICE with incomplete enum type. |
| 546 | * call.c (standard_conversion): When converting an |
| 547 | ARITHMETIC_TYPE_P to an incomplete type, return NULL. |
| 548 | |
| 837ddebd |
549 | 2019-01-25 Paolo Carlini <paolo.carlini@oracle.com> |
| 550 | |
| 551 | PR c++/88969 |
| 552 | * call.c (build_op_delete_call): Implement 7.6.2.5/(10.1). |
| 553 | * decl2.c (coerce_delete_type): Use build_pointer_type instead |
| 554 | of TYPE_POINTER_TO. |
| 555 | |
| 8c89c5fc |
556 | 2019-01-24 Jason Merrill <jason@redhat.com> |
| 557 | |
| 558 | PR c++/89001 - mangling of reference temporaries |
| 559 | * cp-tree.h (struct saved_scope): Add ref_temp_count. |
| 560 | (current_ref_temp_count): New macro. |
| 561 | * mangle.c (mangle_ref_init_variable): Use it. |
| 562 | * typeck2.c (store_init_value): Clear it. |
| 563 | * call.c (make_temporary_var_for_ref_to_temp): Copy public and |
| 564 | comdat. |
| 565 | |
| b5e76680 |
566 | 2019-01-24 Jakub Jelinek <jakub@redhat.com> |
| 567 | |
| 568 | PR c++/88976 |
| 569 | * semantics.c (finish_omp_cancel): Diagnose more than one if |
| 570 | on #pragma omp cancel with different modifiers. Use |
| 571 | maybe_convert_cond when not in template or build_x_binary_op |
| 572 | otherwise. |
| 573 | |
| dffbcba8 |
574 | 2019-01-23 Marek Polacek <polacek@redhat.com> |
| 575 | |
| 576 | PR c++/88757 - qualified name treated wrongly as type. |
| 577 | * parser.c (cp_parser_direct_declarator): Don't treat qualified-ids |
| 578 | in parameter-list as types if name lookup for declarator-id didn't |
| 579 | find one or more function templates. |
| 580 | |
| 1f03c410 |
581 | 2019-01-23 Jakub Jelinek <jakub@redhat.com> |
| 582 | |
| 8090d51c |
583 | PR c/44715 |
| 584 | * cp-gimplify.c (genericize_cp_loop): Call begin_bc_block only |
| 585 | after genericizing cond and incr expressions. |
| 586 | |
| 1f03c410 |
587 | PR c++/88984 |
| 588 | * cp-gimplify.c (genericize_switch_stmt): Move cond genericization |
| 589 | before the begin_bc_block call. |
| 590 | |
| 48c03f15 |
591 | 2019-01-21 Jason Merrill <jason@redhat.com> |
| 592 | |
| 593 | PR c++/87893 - constexpr ctor ICE on ARM. |
| 594 | PR c++/88293 - ICE with comma expression. |
| 595 | * constexpr.c (initialized_type): Don't shortcut non-void type. |
| 596 | Handle COMPOUND_EXPR. |
| 597 | (cxx_eval_outermost_constant_expr): Return early for void type. |
| 598 | |
| 99bf4b63 |
599 | 2019-01-21 Jakub Jelinek <jakub@redhat.com> |
| 600 | |
| 77fe9474 |
601 | PR c++/88949 |
| 602 | * optimize.c (cxx_copy_decl): New function. |
| 603 | (clone_body): Use it instead of copy_decl_no_change. |
| 604 | |
| 99bf4b63 |
605 | PR sanitizer/88901 |
| 606 | * typeck.c (cp_build_binary_op): Don't instrument |
| 607 | SANITIZE_POINTER_COMPARE if processing_template_decl. |
| 608 | (pointer_diff): Similarly for SANITIZE_POINTER_SUBTRACT. |
| 609 | |
| ecd2d842 |
610 | 2019-01-18 Jason Merrill <jason@redhat.com> |
| 611 | |
| 612 | PR c++/88875 - error with explicit list constructor. |
| 613 | * call.c (reference_binding): Don't modify EXPR. Set |
| 614 | need_temporary_p on the ck_user conversion for a temporary. |
| 615 | (convert_like_real): Check it. |
| 616 | |
| 6d4e8a95 |
617 | 2019-01-18 H.J. Lu <hongjiu.lu@intel.com> |
| 618 | |
| 619 | PR c/51628 |
| 620 | PR c/88664 |
| 621 | * call.c (convert_for_arg_passing): Upate the |
| 622 | warn_for_address_or_pointer_of_packed_member call. |
| 623 | * typeck.c (convert_for_assignment): Likewise. |
| 624 | |
| 9d3c4130 |
625 | 2019-01-17 Jason Merrill <jason@redhat.com> |
| 626 | |
| bc9c0483 |
627 | PR c++/86205 - ICE with ?: of throw and template-id. |
| 628 | * pt.c (resolve_nondeduced_context_or_error): Split out from... |
| 629 | * typeck.c (decay_conversion): ...here. |
| 630 | * call.c (build_conditional_expr_1): Use it. |
| 631 | |
| 9d3c4130 |
632 | PR c++/86740, ICE with constexpr if and nested generic lambdas. |
| 633 | * tree.c (cp_walk_subtrees): Handle LAMBDA_EXPR. |
| 634 | |
| 0f910e62 |
635 | 2019-01-17 Paolo Carlini <paolo.carlini@oracle.com> |
| 636 | |
| 637 | * decl.c (grokdeclarator): Use typespec_loc in error messages |
| 638 | about 'auto' and trailing return type. |
| 639 | |
| 098cc8f0 |
640 | 2019-01-17 David Malcolm <dmalcolm@redhat.com> |
| 641 | |
| 642 | PR c++/88699 |
| 643 | * class.c (add_method): Don't use DECL_DESTRUCTOR_P on |
| 644 | USING_DECLs. |
| 645 | |
| a395125a |
646 | 2019-01-17 Nathan Sidwell <nathan@acm.org> |
| 647 | |
| 648 | PR c++/86610 |
| 649 | * semantics.c (process_outer_var_ref): Only skip dependent types |
| 650 | in templates. |
| 651 | |
| 5461905d |
652 | 2019-01-17 Alexandre Oliva <aoliva@redhat.com> |
| 653 | |
| c5f929a4 |
654 | PR c++/87768 |
| 655 | * cp-tree.h (saved_scope): Add suppress_location_wrappers. |
| 656 | * name-lookup.c (do_push_to_top_level): Save and reset it. |
| 657 | (do_pop_from_top_level): Restore it. |
| 658 | |
| f97941b7 |
659 | PR c++/86648 |
| 660 | * pt.c (make_template_placeholder): Use auto_identifier. |
| 661 | (is_auto): Drop CLASS_PLACEHOLDER_TEMPLATE test. |
| 662 | * error.c (dump_type): Handle template placeholders. |
| 663 | * cxx-pretty-print.c (pp_cx_unqualified_id): Likewise. |
| 664 | |
| 5461905d |
665 | PR c++/88146 |
| 666 | * cvt.c (convert_to_void): Handle all cdtor calls as if |
| 667 | returning void. |
| 668 | |
| b92cc3ed |
669 | 2019-01-16 Paolo Carlini <paolo.carlini@oracle.com> |
| 670 | |
| 671 | * decl.c (grokdeclarator): Use locations[ds_storage_class] in |
| 672 | error messages about ill-formed uses of mutable. |
| 673 | |
| 9fc2172c |
674 | 2019-01-16 Marek Polacek <polacek@redhat.com> |
| 675 | |
| 676 | PR c++/78244 - narrowing conversion in template not detected. |
| 677 | * call.c (perform_implicit_conversion_flags): Set |
| 678 | IMPLICIT_CONV_EXPR_BRACED_INIT. |
| 679 | * cp-tree.h (IMPLICIT_CONV_EXPR_BRACED_INIT): New. |
| 680 | * pt.c (tsubst_copy_and_build): Use it. |
| 681 | |
| 727d210b |
682 | 2019-01-15 David Malcolm <dmalcolm@redhat.com> |
| 683 | |
| 684 | PR c++/88795 |
| 685 | * pt.c (build_deduction_guide): Bail out if tsubst_arg_types |
| 686 | fails. |
| 687 | |
| 39a51021 |
688 | 2019-01-15 Paolo Carlini <paolo.carlini@oracle.com> |
| 689 | |
| 690 | * decl.c (start_decl): Improve error location. |
| 691 | * decl2.c (grokfield): Likewise. |
| 692 | |
| 693 | 2019-01-15 Paolo Carlini <paolo.carlini@oracle.com> |
| 694 | |
| 695 | * decl.c (grokdeclarator): Move further up the location_t loc |
| 696 | declaration and use the location when building a TYPE_DECL for |
| 697 | a typedef name. |
| 698 | * decl2.c (grokbitfield): Use DECL_SOURCE_LOCATION in the error |
| 699 | about an ill-formed bit-field as typedef. |
| 700 | |
| affca1c8 |
701 | 2019-01-14 Marek Polacek <polacek@redhat.com> |
| 702 | |
| 703 | PR c++/88830 - ICE with abstract class. |
| 704 | * decl2.c (maybe_emit_vtables): Check CLASSTYPE_LAZY_DESTRUCTOR. |
| 705 | Fix formatting. |
| 706 | |
| 9f8a8956 |
707 | PR c++/88825 - ICE with bogus function return type deduction. |
| 708 | * typeck.c (can_do_nrvo_p): Check error_mark_node. |
| 709 | |
| 82362779 |
710 | 2019-01-14 Tom Honermann <tom@honermann.net> |
| 711 | |
| 712 | Implement P0482R5, char8_t: A type for UTF-8 characters and strings |
| 713 | * cvt.c (type_promotes_to): Handle char8_t promotion. |
| 714 | * decl.c (grokdeclarator): Handle invalid type specifier |
| 715 | combinations involving char8_t. |
| 716 | * lex.c (init_reswords): Add char8_t as a reserved word. |
| 717 | * mangle.c (write_builtin_type): Add name mangling for char8_t (Du). |
| 718 | * parser.c (cp_keyword_starts_decl_specifier_p) |
| 719 | (cp_parser_simple_type_specifier): Recognize char8_t as a simple |
| 720 | type specifier. |
| 721 | (cp_parser_string_literal): Use char8_array_type_node for the type |
| 722 | of CPP_UTF8STRING. |
| 723 | (cp_parser_set_decl_spec_type): Tolerate char8_t typedefs in system |
| 724 | headers. |
| 725 | * rtti.c (emit_support_tinfos): type_info support for char8_t. |
| 726 | * tree.c (char_type_p): Recognize char8_t as a character type. |
| 727 | * typeck.c (string_conv_p): Handle conversions of u8 string |
| 728 | literals of char8_t type. |
| 729 | (check_literal_operator_args): Handle UDLs with u8 string literals |
| 730 | of char8_t type. |
| 731 | * typeck2.c (ordinary_char_type_p): New. |
| 732 | (digest_init_r): Disallow initializing a char array with a u8 string |
| 733 | literal. |
| 734 | |
| bf4eb32b |
735 | 2019-01-14 Martin Liska <mliska@suse.cz> |
| 736 | |
| 737 | PR gcov-profile/88263 |
| 738 | * decl2.c (get_tls_wrapper_fn): Use DECL_SOURCE_LOCATION |
| 739 | as location of the TLS wrapper. |
| 740 | |
| 2fa582a9 |
741 | 2019-01-12 Paolo Carlini <paolo.carlini@oracle.com> |
| 742 | |
| 743 | * decl.c (cp_finish_decl): Improve error location. |
| 744 | * decl2.c (grokfield): Likewise, improve two locations. |
| 745 | |
| 0b5957b9 |
746 | 2019-01-11 Marek Polacek <polacek@redhat.com> |
| 747 | |
| 748 | PR c++/88692, c++/87882 - -Wredundant-move false positive with *this. |
| 749 | * typeck.c (maybe_warn_pessimizing_move): Return if ARG isn't |
| 750 | ADDR_EXPR. |
| 751 | |
| d07c152b |
752 | 2019-01-11 Jason Merrill <jason@redhat.com> |
| 753 | |
| 754 | PR c++/88312 - pack expansion of decltype. |
| 755 | * pt.c (instantiation_dependent_r): A template non-type parameter |
| 756 | pack is instantiation-dependent. |
| 757 | |
| 0c2ebbc4 |
758 | 2019-01-11 Jason Merrill <jason@redhat.com> |
| 759 | |
| 760 | PR c++/88613 - ICE with use of const var in lambda. |
| 761 | * expr.c (mark_use): Fix location wrapper handling. |
| 762 | * cp-gimplify.c (cp_fold_maybe_rvalue): Call mark_rvalue_use. |
| 763 | |
| 1b2f170e |
764 | 2019-01-11 Tobias Burnus <burnus@net-b.de> |
| 765 | |
| 766 | PR C++/88114 |
| 767 | * decl2.c (maybe_emit_vtables): If needed, generate code for |
| 768 | the destructor of an abstract class. |
| 769 | (mark_used): Update comment for older function-name change. |
| 770 | |
| b385e516 |
771 | 2019-01-11 Paolo Carlini <paolo.carlini@oracle.com> |
| 772 | |
| 773 | * decl.c (start_decl): Improve error location. |
| 774 | (grokdeclarator): Likewise, improve two locations. |
| 775 | |
| f4d3c071 |
776 | 2019-01-09 Sandra Loosemore <sandra@codesourcery.com> |
| 777 | |
| 778 | PR other/16615 |
| 779 | |
| 780 | * cp-tree.h: Mechanically replace "can not" with "cannot". |
| 781 | * parser.c: Likewise. |
| 782 | * pt.c: Likewise. |
| 783 | |
| 7cc45975 |
784 | 2019-01-08 Paolo Carlini <paolo.carlini@oracle.com> |
| 785 | |
| 786 | * decl.c (grok_reference_init): Improve error location. |
| 787 | (grokdeclarator): Likewise, improve two locations. |
| 788 | |
| 90e20c9c |
789 | 2019-01-08 Marek Polacek <polacek@redhat.com> |
| 790 | |
| 91902bb4 |
791 | PR c++/88538 - braced-init-list in template-argument-list. |
| 792 | * parser.c (cp_parser_template_argument): Handle braced-init-list when |
| 793 | in C++20. |
| 794 | |
| 90e20c9c |
795 | PR c++/88548 - this accepted in static member functions. |
| 796 | * parser.c (cp_debug_parser): Adjust printing of |
| 797 | local_variables_forbidden_p. |
| 798 | (cp_parser_new): Set local_variables_forbidden_p to 0 rather than false. |
| 799 | (cp_parser_primary_expression): When checking |
| 800 | local_variables_forbidden_p, use THIS_FORBIDDEN or |
| 801 | LOCAL_VARS_FORBIDDEN. |
| 802 | (cp_parser_lambda_body): Update the type of |
| 803 | local_variables_forbidden_p. Set it to 0 rather than false. |
| 804 | (cp_parser_condition): Adjust call to cp_parser_declarator. |
| 805 | (cp_parser_explicit_instantiation): Likewise. |
| 806 | (cp_parser_init_declarator): Likewise. |
| 807 | (cp_parser_declarator): New parameter. Use it. |
| 808 | (cp_parser_direct_declarator): New parameter. Use it to set |
| 809 | local_variables_forbidden_p. Adjust call to cp_parser_declarator. |
| 810 | (cp_parser_type_id_1): Adjust call to cp_parser_declarator. |
| 811 | (cp_parser_parameter_declaration): Likewise. |
| 812 | (cp_parser_default_argument): Update the type of |
| 813 | local_variables_forbidden_p. Set it to LOCAL_VARS_AND_THIS_FORBIDDEN |
| 814 | rather than true. |
| 815 | (cp_parser_member_declaration): Tell cp_parser_declarator if we saw |
| 816 | 'static' or 'friend'. |
| 817 | (cp_parser_exception_declaration): Adjust call to cp_parser_declarator. |
| 818 | (cp_parser_late_parsing_default_args): Update the type of |
| 819 | local_variables_forbidden_p. Set it to LOCAL_VARS_AND_THIS_FORBIDDEN |
| 820 | rather than true. |
| 821 | (cp_parser_cache_defarg): Adjust call to cp_parser_declarator. |
| 822 | (cp_parser_objc_class_ivars): Likewise. |
| 823 | (cp_parser_objc_struct_declaration): Likewise. |
| 824 | (cp_parser_omp_for_loop_init): Likewise. |
| 825 | * parser.h (cp_parser): Change the type of local_variables_forbidden_p |
| 826 | to unsigned char. |
| 827 | (LOCAL_VARS_FORBIDDEN, LOCAL_VARS_AND_THIS_FORBIDDEN, THIS_FORBIDDEN): |
| 828 | Define. |
| 829 | |
| 8f7d5246 |
830 | 2019-01-08 Paolo Carlini <paolo.carlini@oracle.com> |
| 831 | |
| 832 | * decl.c (start_decl): Improve permerror location. |
| 833 | |
| 6e5908c9 |
834 | 2019-01-08 Jonathan Wakely <jwakely@redhat.com> |
| 835 | Jakub Jelinek <jakub@redhat.com> |
| 836 | |
| 837 | PR c++/88554 |
| 838 | * decl.c (finish_function): For -Wreturn-type don't add a return *this; |
| 839 | fixit hint if current_class_ref is NULL. Use a single if instead of |
| 840 | two nested ones. |
| 841 | |
| 2318c037 |
842 | 2019-01-07 Paolo Carlini <paolo.carlini@oracle.com> |
| 843 | |
| 844 | * decl.c (start_decl): Improve two error_at locations. |
| 845 | (expand_static_init): Likewise. |
| 846 | |
| 677576f7 |
847 | 2019-01-07 Marek Polacek <polacek@redhat.com> |
| 848 | |
| 849 | PR c++/88741 - wrong error with initializer-string. |
| 850 | * decl.c (cp_complete_array_type): Strip any location wrappers. |
| 851 | |
| c38103e8 |
852 | 2019-01-07 Bernd Edlinger <bernd.edlinger@hotmail.de> |
| 853 | |
| 854 | PR c++/88261 |
| 855 | PR c++/69338 |
| 856 | PR c++/69696 |
| 857 | PR c++/69697 |
| 858 | * cp-tree.h (LOOKUP_ALLOW_FLEXARRAY_INIT): New flag value. |
| 859 | * typeck2.c (digest_init_r): Raise an error for non-static |
| 860 | initialization of a flexible array member. |
| 861 | (process_init_constructor, massage_init_elt, |
| 862 | process_init_constructor_array, process_init_constructor_record, |
| 863 | process_init_constructor_union, process_init_constructor): Add the |
| 864 | flags parameter and pass it thru. |
| 865 | (store_init_value): Pass LOOKUP_ALLOW_FLEXARRAY_INIT parameter to |
| 866 | digest_init_flags for static decls. |
| 867 | |
| 59409f09 |
868 | 2019-01-07 Jakub Jelinek <jakub@redhat.com> |
| 869 | |
| 870 | PR c++/85052 |
| 871 | * cp-tree.h (cp_build_vec_convert): Declare. |
| 872 | * parser.c (cp_parser_postfix_expression): Parse |
| 873 | __builtin_convertvector. |
| 874 | * constexpr.c: Include fold-const-call.h. |
| 875 | (cxx_eval_internal_function): Handle IFN_VEC_CONVERT. |
| 876 | (potential_constant_expression_1): Likewise. |
| 877 | * semantics.c (cp_build_vec_convert): New function. |
| 878 | * pt.c (tsubst_copy_and_build): Handle CALL_EXPR to |
| 879 | IFN_VEC_CONVERT. |
| 880 | |
| 0627c5c9 |
881 | 2019-01-03 Jakub Jelinek <jakub@redhat.com> |
| 882 | |
| 883 | PR c++/88636 |
| 884 | * decl.c (builtin_function_1): Return result of pushdecl_top_level |
| 885 | or pushdecl rather than decl. |
| 886 | |
| f9f7d90c |
887 | 2019-01-03 Paolo Carlini <paolo.carlini@oracle.com> |
| 888 | |
| 889 | * tree.c (handle_nodiscard_attribute): Improve warning location. |
| 890 | |
| 37fb9cf6 |
891 | 2019-01-02 Marek Polacek <polacek@redhat.com> |
| 892 | |
| 893 | PR c++/88612 - ICE with -Waddress-of-packed-member. |
| 894 | * call.c (convert_for_arg_passing): Only give warnings with tf_warning. |
| 895 | * typeck.c (convert_for_assignment): Likewise. |
| 896 | |
| 6080dd2f |
897 | PR c++/88631 - CTAD failing for value-initialization. |
| 898 | * typeck2.c (build_functional_cast): Try deducing the template |
| 899 | arguments even if there are no arguments to deduce from. |
| 900 | |
| fbd26352 |
901 | 2019-01-01 Jakub Jelinek <jakub@redhat.com> |
| ca29c574 |
902 | |
| 8e8f6434 |
903 | Update copyright years. |
| 7dfbd804 |
904 | \f |
| fbd26352 |
905 | Copyright (C) 2019 Free Software Foundation, Inc. |
| 7dfbd804 |
906 | |
| 907 | Copying and distribution of this file, with or without modification, |
| 908 | are permitted in any medium without royalty provided the copyright |
| 909 | notice and this notice are preserved. |
projects / thirdparty / gcc.git / blame