+2021-04-28 Jakub Jelinek <jakub@redhat.com>
+ Tobias Burnus <tobias@codesourcery.com>
+
+ * configure.ac (--enable-offload-defaulted): New.
+ * configure: Regenerate.
+
2021-04-23 David Faust <david.faust@oracle.com>
* MAINTAINERS (Write After Approval): Add myself.
+2021-04-28 Jonathan Wright <jonathan.wright@arm.com>
+
+ * config/aarch64/aarch64-simd-builtins.def: Modify comment to
+ make consistent with updated RTL pattern.
+ * config/aarch64/aarch64-simd.md (aarch64_<sur>qmovn<mode>):
+ Implement using ss_truncate and us_truncate rather than
+ unspecs.
+ * config/aarch64/iterators.md: Remove redundant unspecs and
+ iterator: UNSPEC_[SU]QXTN and SUQMOVN respectively.
+
+2021-04-28 Jonathan Wright <jonathan.wright@arm.com>
+
+ * config/aarch64/arm_acle.h (__attribute__): Make intrinsic
+ attributes consistent with those defined in arm_neon.h.
+
+2021-04-28 Jonathan Wright <jonathan.wright@arm.com>
+
+ * config/aarch64/arm_fp16.h (__attribute__): Make intrinsic
+ attributes consistent with those defined in arm_neon.h.
+
+2021-04-28 Jonathan Wright <jonathan.wright@arm.com>
+
+ * config/aarch64/aarch64-simd-builtins.def: Add
+ float_trunc_rodd builtin generator macros.
+ * config/aarch64/aarch64-simd.md (aarch64_float_trunc_rodd_df):
+ Define.
+ (aarch64_float_trunc_rodd_lo_v2sf): Define.
+ (aarch64_float_trunc_rodd_hi_v4sf_le): Define.
+ (aarch64_float_trunc_rodd_hi_v4sf_be): Define.
+ (aarch64_float_trunc_rodd_hi_v4sf): Define.
+ * config/aarch64/arm_neon.h (vcvtx_f32_f64): Use RTL builtin
+ instead of inline asm.
+ (vcvtx_high_f32_f64): Likewise.
+ (vcvtxd_f32_f64): Likewise.
+ * config/aarch64/iterators.md: Add FCVTXN unspec.
+
+2021-04-28 Jonathan Wright <jonathan.wright@arm.com>
+
+ * config/aarch64/aarch64-simd-builtins.def: Add tbx1 builtin
+ generator macros.
+ * config/aarch64/aarch64-simd.md (aarch64_tbx1<mode>):
+ Define.
+ * config/aarch64/arm_neon.h (vqtbx1_s8): USE RTL builtin
+ instead of inline asm.
+ (vqtbx1_u8): Likewise.
+ (vqtbx1_p8): Likewise.
+ (vqtbx1q_s8): Likewise.
+ (vqtbx1q_u8): Likewise.
+ (vqtbx1q_p8): Likewise.
+ (vtbx2_s8): Likewise.
+ (vtbx2_u8): Likewise.
+ (vtbx2_p8): Likewise.
+
+2021-04-28 Jonathan Wright <jonathan.wright@arm.com>
+
+ * config/aarch64/aarch64-simd-builtins.def: Add tbl1 builtin
+ generator macros.
+ * config/aarch64/arm_neon.h (vqtbl1_p8): Use RTL builtin
+ instead of inline asm.
+ (vqtbl1_s8): Likewise.
+ (vqtbl1_u8): Likewise.
+ (vqtbl1q_p8): Likewise.
+ (vqtbl1q_s8): Likewise.
+ (vqtbl1q_u8): Likewise.
+ (vtbl1_s8): Likewise.
+ (vtbl1_u8): Likewise.
+ (vtbl1_p8): Likewise.
+ (vtbl2_s8): Likewise.
+ (vtbl2_u8): Likewise.
+ (vtbl2_p8): Likewise.
+
+2021-04-28 Jonathan Wright <jonathan.wright@arm.com>
+
+ * config/aarch64/aarch64-simd-builtins.def: Add polynomial
+ ssri_n buitin generator macro.
+ * config/aarch64/arm_neon.h (vsri_n_p8): Use RTL builtin
+ instead of inline asm.
+ (vsri_n_p16): Likewise.
+ (vsri_n_p64): Likewise.
+ (vsriq_n_p8): Likewise.
+ (vsriq_n_p16): Likewise.
+ (vsriq_n_p64): Likewise.
+
+2021-04-28 Jonathan Wright <jonathan.wright@arm.com>
+
+ * config/aarch64/aarch64-simd-builtins.def: Use VALLP mode
+ iterator for polynomial ssli_n builtin generator macro.
+ * config/aarch64/arm_neon.h (vsli_n_p8): Use RTL builtin
+ instead of inline asm.
+ (vsli_n_p16): Likewise.
+ (vsliq_n_p8): Likewise.
+ (vsliq_n_p16): Likewise.
+ * config/aarch64/iterators.md: Define VALLP mode iterator.
+
+2021-04-28 Jonathan Wright <jonathan.wright@arm.com>
+
+ * config/aarch64/aarch64-simd-builtins.def: Use VDQV_L
+ iterator to generate [su]adalp RTL builtins.
+ * config/aarch64/aarch64-simd.md: Use VDQV_L iterator in
+ [su]adalp RTL pattern.
+ * config/aarch64/arm_neon.h (vpadal_s32): Use RTL builtin
+ instead of inline asm.
+ (vpadal_u32): Likewise.
+
+2021-04-28 Jonathan Wright <jonathan.wright@arm.com>
+
+ * config/aarch64/aarch64-simd-builtins.def: Add [su]addlp
+ builtin generator macros.
+ * config/aarch64/aarch64-simd.md (aarch64_<su>addlp<mode>):
+ Define.
+ * config/aarch64/arm_neon.h (vpaddl_s8): Use RTL builtin
+ instead of inline asm.
+ (vpaddl_s16): Likewise.
+ (vpaddl_s32): Likewise.
+ (vpaddl_u8): Likewise.
+ (vpaddl_u16): Likewise.
+ (vpaddl_u32): Likewise.
+ (vpaddlq_s8): Likewise.
+ (vpaddlq_s16): Likewise.
+ (vpaddlq_s32): Likewise.
+ (vpaddlq_u8): Likewise.
+ (vpaddlq_u16): Likewise.
+ (vpaddlq_u32): Liwewise.
+ * config/aarch64/iterators.md: Define [SU]ADDLP unspecs with
+ appropriate attributes.
+
+2021-04-28 Jonathan Wright <jonathan.wright@arm.com>
+
+ * config/aarch64/aarch64-simd-builtins.def: Use VDQ_I iterator
+ for aarch64_addp<mode> builtin macro generator.
+ * config/aarch64/aarch64-simd.md: Use VDQ_I iterator in
+ aarch64_addp<mode> RTL pattern.
+ * config/aarch64/arm_neon.h (vpaddq_s8): Use RTL builtin
+ instead of inline asm.
+ (vpaddq_s16): Likewise.
+ (vpaddq_s32): Likewise.
+ (vpaddq_s64): Likewise.
+ (vpaddq_u8): Likewise.
+ (vpaddq_u16): Likewise.
+ (vpaddq_u32): Likewise.
+ (vpaddq_u64): Likewise.
+
+2021-04-28 Jonathan Wright <jonathan.wright@arm.com>
+
+ * config/aarch64/aarch64-simd-builtins.def: Add sq[r]dmulh_n
+ builtin generator macros.
+ * config/aarch64/aarch64-simd.md (aarch64_sq<r>dmulh_n<mode>):
+ Define.
+ * config/aarch64/arm_neon.h (vqdmulh_n_s16): Use RTL builtin
+ instead of inline asm.
+ (vqdmulh_n_s32): Likewise.
+ (vqdmulhq_n_s16): Likewise.
+ (vqdmulhq_n_s32): Likewise.
+ (vqrdmulh_n_s16): Likewise.
+ (vqrdmulh_n_s32): Likewise.
+ (vqrdmulhq_n_s16): Likewise.
+ (vqrdmulhq_n_s32): Likewise.
+
+2021-04-28 Tobias Burnus <tobias@codesourcery.com>
+
+ * doc/install.texi (--enable-offload-defaulted): Document.
+
+2021-04-28 Senthil Kumar Selvaraj <saaadhu@gcc.gnu.org>
+
+ * config/avr/avr-dimode.md: Turn existing patterns into
+ define_insn_and_split style patterns where the splitter
+ adds a clobber of the condition code register. Drop "cc"
+ attribute. Add new patterns to match output of
+ the splitters.
+ * config/avr/avr-fixed.md: Likewise.
+ * config/avr/avr.c (cc_reg_rtx): New.
+ (avr_parallel_insn_from_insns): Adjust insn count
+ for removal of set of cc0.
+ (avr_is_casesi_sequence): Likewise.
+ (avr_casei_sequence_check_operands): Likewise.
+ (avr_optimize_casesi): Likewise. Also insert
+ new insns after jump_insn.
+ (avr_pass_casesi::avr_rest_of_handle_casesi): Adjust
+ for removal of set of cc0.
+ (avr_init_expanders): Initialize cc_reg_rtx.
+ (avr_regno_reg_class): Handle REG_CC.
+ (cond_string): Remove usage of CC_OVERFLOW_UNUSABLE.
+ (avr_notice_update_cc): Remove function.
+ (ret_cond_branch): Remove usage of CC_OVERFLOW_UNUSABLE.
+ (compare_condition): Adjust for PARALLEL with
+ REG_CC clobber.
+ (out_shift_with_cnt): Likewise.
+ (ashlhi3_out): Likewise.
+ (ashrhi3_out): Likewise.
+ (lshrhi3_out): Likewise.
+ (avr_class_max_nregs): Return single reg for REG_CC.
+ (avr_compare_pattern): Check for REG_CC instead
+ of cc0_rtx.
+ (avr_reorg_remove_redundant_compare): Likewise.
+ (avr_reorg):Adjust for PARALLEL with REG_CC clobber.
+ (avr_hard_regno_nregs): Return single reg for REG_CC.
+ (avr_hard_regno_mode_ok): Allow only CCmode for REG_CC.
+ (avr_md_asm_adjust): Clobber REG_CC.
+ (TARGET_HARD_REGNO_NREGS): Define.
+ (TARGET_CLASS_MAX_NREGS): Define.
+ (TARGET_MD_ASM_ADJUST): Define.
+ * config/avr/avr.h (FIRST_PSEUDO_REGISTER): Adjust
+ for REG_CC.
+ (enum reg_class): Add CC_REG class.
+ (NOTICE_UPDATE_CC): Remove.
+ (CC_OVERFLOW_UNUSABLE): Remove.
+ (CC_NO_CARRY): Remove.
+ * config/avr/avr.md: Turn existing patterns into
+ define_insn_and_split style patterns where the splitter
+ adds a clobber of the condition code register. Drop "cc"
+ attribute. Add new patterns to match output of
+ the splitters.
+ (sez): Remove unused pattern.
+
+2021-04-28 Richard Earnshaw <rearnsha@arm.com>
+
+ PR target/100311
+ * config/arm/arm.c (arm_hard_regno_mode_ok): Only allow VPR to be
+ used in HImode.
+
+2021-04-28 Richard Sandiford <richard.sandiford@arm.com>
+
+ PR target/100305
+ * config/aarch64/constraints.md (Utq): Require the address to
+ be valid for both the element mode and for V2DImode.
+
+2021-04-28 Jakub Jelinek <jakub@redhat.com>
+ Tobias Burnus <tobias@codesourcery.com>
+
+ * configure.ac (OFFLOAD_DEFAULTED): AC_DEFINE if offload-defaulted.
+ * gcc.c (process_command): New variable.
+ (driver::maybe_putenv_OFFLOAD_TARGETS): If OFFLOAD_DEFAULTED,
+ set it if -foffload is defaulted.
+ * lto-wrapper.c (OFFLOAD_TARGET_DEFAULT_ENV): Define.
+ (compile_offload_image): If OFFLOAD_DEFAULTED and
+ OFFLOAD_TARGET_DEFAULT is in the environment, don't fail
+ if corresponding mkoffload can't be found.
+ (compile_images_for_offload_targets): Likewise. Free and clear
+ offload_names if no valid offload is found.
+ * config.in: Regenerate.
+ * configure: Regenerate.
+
+2021-04-28 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/100292
+ * tree-vect-generic.c (expand_vector_condition): Do not fold
+ the comparisons.
+
2021-04-27 David Edelsohn <dje.gcc@gmail.com>
* config/rs6000/aix.h (SUBTARGET_DRIVER_SELF_SPECS): New.
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_ch13.adb, sem_util.adb: Fix style.
+
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * nlists.ads (List_Length): Adapt comment to match the
+ behaviour.
+
+2021-04-28 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_eval.adb (Eval_Selected_Component): Only consider compile
+ time known aggregates.
+
+2021-04-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * libgnat/s-fatgen.adb: Add use clause for Interfaces.Unsigned_16
+ and Interfaces.Unsigned_32.
+ (Small16): New constant.
+ (Small32): Likewise.
+ (Small64): Likewise.
+ (Small80): Likewise.
+ (Pred): Declare a local overlay for Small and return it negated
+ for zero if the type does not support denormalized numbers.
+ (Succ): Likewise, but return it directly.
+
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * inline.adb (Formal_Is_Used_Once): Refine type of the counter
+ variable; remove redundant assignment.
+
+2021-04-28 Patrick Bernardi <bernardi@adacore.com>
+
+ * libgnarl/s-interr.adb (Install_Restricted_Handlers): Change
+ Prio parameter to type Interrupt_Priority.
+ * libgnarl/s-interr.ads (Install_Restricted_Handlers): Likewise.
+ * libgnarl/s-interr__dummy.adb (Install_Restricted_Handlers):
+ Likewise.
+ * libgnarl/s-interr__hwint.adb (Install_Restricted_Handlers):
+ Likewise.
+ * libgnarl/s-interr__sigaction.adb (Install_Restricted_Handlers):
+ Likewise.
+ * libgnarl/s-interr__vxworks.adb (Install_Restricted_Handlers):
+ Likewise.
+
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_type.ads (Write_Interp_Ref): Removed; no longer needed.
+ * sem_type.adb (Headers): Removed; now the hash table is
+ directly in the Interp_Map alone.
+ (Interp_Map): Now an instance of the GNAT.HTable.Simple_HTable.
+ (Last_Overloaded): New variable to emulate Interp_Map.Last.
+ (Add_One_Interp): Adapt to new data structure.
+ (Get_First_Interp): Likewise.
+ (Hash): Likewise.
+ (Init_Interp_Tables): Likewise.
+ (New_Interps): Likewise.
+ (Save_Interps): Likewise; handle O_N variable like in
+ Get_First_Interp.
+ (Write_Interp_Ref): Removed; no longer needed.
+
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * inline.adb (Do_Reset_Calls): Now an instance of Traverse_Proc.
+
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_ch13.adb (Analyze_Aspect_Static): Reuse
+ Error_Msg_Ada_2020_Feature for aspect Static.
+ (Analyze_One_Aspect): Likewise for aspect Full_Access.
+
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_ch13.adb (Analyze_Aspect_Static): Refactor to have a
+ single check for the expression being present; adapt comments.
+
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_ch13.adb (Analyze_Aspect_Static): Use aspect name in the
+ error message.
+
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_eval.adb (Eval_Selected_Component): Simplify with
+ Unqualify.
+
+2021-04-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * libgnat/s-valrea.adb (Fast2Sum): New function.
+ (Integer_to_Real): Use it in an iterated addition with exact
+ error handling for the case where an extra digit is needed.
+ Move local variable now only used in the exponentiation case.
+
+2021-04-28 Yannick Moy <moy@adacore.com>
+
+ * errout.adb: (Error_Msg_Internal): Use span instead of
+ location.
+ (Error_Msg, Error_Msg_NEL): Add versions with span parameter.
+ (Error_Msg_F, Error_Msg_FE, Error_Msg_N, Error_Msg_NE,
+ Error_Msg_NW): Retrieve span from node.
+ (First_Node): Use the new First_And_Last_Nodes.
+ (First_And_Last_Nodes): Expand on previous First_Node. Apply to
+ other nodes than expressions.
+ (First_Sloc): Protect against inconsistent locations.
+ (Last_Node): New function based on First_And_Last_Nodes.
+ (Last_Sloc): New function similar to First_Sloc.
+ (Output_Messages): Update output when -gnatdF is used. Use
+ character ~ for making the span visible, similar to what is done
+ in GCC and Clang.
+ * errout.ads (Error_Msg, Error_Msg_NEL): Add versions with span
+ parameter.
+ (First_And_Last_Nodes, Last_Node, Last_Sloc): New subprograms.
+ * erroutc.adb: Adapt to Sptr field being a span.
+ * erroutc.ads (Error_Msg_Object): Change field Sptr from
+ location to span.
+ * errutil.adb: Adapt to Sptr field being a span.
+ * freeze.adb: Use Errout reporting procedures for nodes to get
+ spans.
+ * par-ch3.adb: Likewise.
+ * par-prag.adb: Likewise.
+ * par-util.adb: Likewise.
+ * sem_case.adb: Likewise.
+ * sem_ch13.adb: Likewise.
+ * sem_ch3.adb: Likewise.
+ * sem_prag.adb: Likewise.
+ * types.ads: (Source_Span): New type for spans.
+ (To_Span): Basic constructors for spans.
+
+2021-04-28 Arnaud Charlet <charlet@adacore.com>
+
+ * einfo.adb (Discriminant_Constraint): Refine assertion.
+
+2021-04-28 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_util.adb (Add_Own_DIC): Suppress expansion of a DIC pragma
+ when the pragma occurs for an abstract type, since that could
+ lead to a call to an abstract function, and such DIC checks can
+ never be performed for abstract types in any case.
+ * sem_disp.adb (Check_Dispatching_Context): Suppress the check
+ for illegal calls to abstract subprograms when the call occurs
+ within a Default_Initial_Condition aspect and the call is passed
+ the current instance as an actual.
+ (Has_Controlling_Current_Instance_Actual): New function to test
+ a call to see if it has any actuals given by direct references
+ to a current instance of a type
+ * sem_res.adb (Resolve_Actuals): Issue an error for a call
+ within a DIC aspect to a nonprimitive subprogram with an actual
+ given by the name of the DIC type's current instance (which will
+ show up as a reference to the formal parameter of a DIC
+ procedure).
+
+2021-04-28 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch3.adb (Expand_Record_Extension): Set Parent_Subtype on
+ the type extension when within a generic unit, even though
+ expansion is disabled, to allow for proper resolution of
+ selected components inherited from an ancestor.
+
+2021-04-28 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_aux.adb (Is_Limited_Type): Fix logic to check Is_Type
+ before assuming Ent is a typo.
+ * sem_ch4.adb (Analyze_Expression_With_Actions): Update
+ comments, minor reformatting.
+ * sem_res.adb (Resolve_Declare_Expression): Add protection
+ against no type.
+
+2021-04-28 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch6.adb: Fix typo in comment.
+ * sem_ch3.adb (Access_Subprogram_Declaration): Add missing call
+ to Create_Extra_Formals. Remove obsolete bootstrap check.
+ * sem_eval.adb (Eval_Selected_Component): Simplify a
+ selected_component on an aggregate.
+
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * fmap.ads (Reset_Tables): Remove outdated references to
+ GNSA/ASIS.
+ * sem_eval.ads (Initialize): Likewise.
+ * sem_type.adb (Headers): Remove initialization at elaboration.
+ * sem_type.ads (Init_Interp_Tables): Remove outdated reference
+ to gnatf.
+ * stringt.ads (Initialize): Fix style in comment.
+
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_res.ads: Update reference in comment.
+ * sem_type.ads: Fix casing in a name of a unit.
+
+2021-04-28 Yannick Moy <moy@adacore.com>
+
+ * ghost.adb (Check_Ghost_Context): Add continuation message when
+ in predicate.
+
+2021-04-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * libgnat/s-valrea.adb (Integer_to_Real): Use a subtype of Num
+ for the component type of the table of powers of ten.
+ * libgnat/s-valuer.adb (Round_Extra): Add assertion on Base.
+
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_ch5.adb (Analyze_Case_Statement): Extend optimization to
+ all objects; fix typo in comment.
+
+2021-04-28 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_ch9.adb (Build_Barrier_Function): Refine type of a
+ protected type entity.
+ (Is_Pure_Barrier): Fix style.
+
+2021-04-28 Bob Duff <duff@adacore.com>
+
+ * exp_ch3.adb (Simple_Init_Defaulted_Type): Simplify the code,
+ and always use OK_Convert_To, rather than Unchecked_Convert_To
+ and Convert_To.
+
+2021-04-28 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_ch3.adb (Analyze_Object_Declaration): Remove dead code.
+ * ali.ads, ali.adb (Scan_ALI): Remove unused parameters.
+ Remove unused code related to Xref lines.
+ (Get_Typeref): Removed, no longer used.
+
+2021-04-28 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_attr.adb (Build_Array_VS_Func, Build_Record_VS_Func,
+ Expand_N_Attribute_Reference): Use Get_Fullest_View instead of
+ Validated_View.
+ (Build_Record_VS_Func): Adjust to keep using Validated_View.
+ (Expand_N_Attribute_Reference) [Valid]: Use
+ Small_Integer_Type_For to allow for more compile time
+ evaluations.
+ * sem_util.adb (Cannot_Raise_Constraint_Error): Add more precise
+ support for N_Indexed_Component and fix support for
+ N_Selected_Component which wasn't completely safe.
+ (List_Cannot_Raise_CE): New.
+ * libgnat/i-cobol.adb (Valid_Packed): Simplify test to address
+ new GNAT warning.
+
+2021-04-28 Arnaud Charlet <charlet@adacore.com>
+
+ * .gitignore: New.
+ * doc/share/conf.py: Add Python 3 compatibility.
+ * doc/share/gnat.sty: Add missing file.
+
+2021-04-28 Richard Wai <richard@annexi-strayline.com>
+
+ * libgnat/a-cohase.ads (Cursor): Synchronize comments for the Cursor
+ type definition to be consistent with identical definitions in other
+ container packages. Add additional comments regarding the importance of
+ maintaining the "Position" component for predefined equality.
+ * libgnat/a-cohama.ads (Cursor): Likewise.
+ * libgnat/a-cihama.ads (Cursor): Likewise.
+ * libgnat/a-cohase.adb (Find, Insert): Ensure that Cursor objects
+ always have their "Position" component set to ensure predefined
+ equality works as required.
+ * libgnat/a-cohama.adb (Find, Insert): Likewise.
+ * libgnat/a-cihama.adb (Find, Insert): Likewise.
+
+2021-04-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.c (gnat_to_gnu_subprog_type): Do not demote a
+ const or pure function because of a parameter whose type is pointer
+ to function.
+ * gcc-interface/trans.c (Call_to_gnu): Do not put back a conversion
+ between an actual and a formal that are unconstrained array types.
+ (gnat_gimplify_expr) <CALL_EXPR>: New case.
+ * gcc-interface/utils2.c (build_binary_op): Do not use |= operator.
+ (gnat_stabilize_reference_1): Likewise.
+ (gnat_rewrite_reference): Likewise.
+ (build_unary_op): Do not clear existing TREE_CONSTANT on the result.
+ (gnat_build_constructor): Also accept the address of a constant
+ CONSTRUCTOR as constant element.
+
+2021-04-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (is_array_of_scalar_type): New predicate.
+ (find_decls_r): New function.
+ (return_slot_opt_for_pure_call_p): New predicate.
+ (Call_to_gnu): Do not create a temporary for the return value if the
+ parent node is an aggregate. If there is a target, try to apply the
+ return slot optimization to regular calls to pure functions returning
+ an array of scalar type.
+
+2021-04-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.c (language_function): Add comment.
+ (loop_info_d): Add fndecl and invariants fields.
+ (find_loop_for): Test fndecl instead of the context of var.
+ (find_loop): New function.
+ (Regular_Loop_to_gnu): Fold back into...
+ (Loop_Statement_to_gnu): ...this. Emit invariants on entry, if any.
+ (gnat_to_gnu) <N_Selected_Component>: Record nonconstant invariant
+ offset computations in loops when optimization is enabled.
+ * gcc-interface/utils2.c (gnat_invariant_expr): Handle BIT_AND_EXPR.
+
2021-04-20 Martin Liska <mliska@suse.cz>
* gnatvsn.ads: Bump Library_Version to 12.
+2021-04-28 Patrick McGehearty <patrick.mcgehearty@oracle.com>
+
+ * c-cppbuiltin.c (c_cpp_builtins): Add supporting macros for new
+ complex divide
+
2021-04-26 Thomas Schwinge <thomas@codesourcery.com>
Nathan Sidwell <nathan@codesourcery.com>
Tom de Vries <vries@codesourcery.com>
+2021-04-28 Jakub Jelinek <jakub@redhat.com>
+
+ * module.cc: Remove #error that triggers if DEV-PHASE is empty.
+
2021-04-27 Jason Merrill <jason@redhat.com>
PR c++/92145
+2021-04-28 Tobias Burnus <tobias@codesourcery.com>
+
+ * openmp.c (gfc_match_omp_variable_list): Gobble whitespace before
+ checking whether a '%' or parenthesis-open follows as next character.
+
+2021-04-28 José Rui Faustino de Sousa <jrfsousa@gmail.com>
+
+ PR fortran/82376
+ * trans-expr.c (gfc_conv_procedure_call): Evaluate function result
+ and then pass a pointer.
+
2021-04-26 Thomas Schwinge <thomas@codesourcery.com>
Nathan Sidwell <nathan@codesourcery.com>
Tom de Vries <vries@codesourcery.com>
+2021-04-28 Joseph Myers <joseph@codesourcery.com>
+
+ * be.po, da.po, de.po, el.po, es.po, fi.po, fr.po, hr.po, id.po,
+ ja.po, nl.po, ru.po, sr.po, sv.po, tr.po, uk.po, vi.po, zh_CN.po,
+ zh_TW.po: Update.
+
2021-04-20 Joseph Myers <joseph@codesourcery.com>
* gcc.pot: Regenerate.
+2021-04-28 Tobias Burnus <tobias@codesourcery.com>
+
+ * gfortran.dg/gomp/map-5.f90: New test.
+
+2021-04-28 Patrick McGehearty <patrick.mcgehearty@oracle.com>
+
+ * gcc.c-torture/execute/ieee/cdivchkd.c: New test.
+ * gcc.c-torture/execute/ieee/cdivchkf.c: Likewise.
+ * gcc.c-torture/execute/ieee/cdivchkld.c: Likewise.
+
+2021-04-28 Alexandre Oliva <oliva@adacore.com>
+
+ * gcc.target/i386/pr89676.c: Add -fomit-frame-pointer.
+
+2021-04-28 Alexandre Oliva <oliva@adacore.com>
+
+ * gcc.dg/debug/dwarf2/inline5.c: Adjust pattern to avoid
+ mismatch when asm comments start with "/ ".
+
+2021-04-28 Richard Sandiford <richard.sandiford@arm.com>
+
+ PR target/100305
+ * gcc.c-torture/compile/pr100305.c: New test.
+
+2021-04-28 José Rui Faustino de Sousa <jrfsousa@gmail.com>
+
+ PR fortran/82376
+ * gfortran.dg/PR82376.f90: New test.
+
+2021-04-28 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/100292
+ * gcc.dg/pr100292.c: New testcase.
+
+2021-04-28 Richard Wai <richard@annexi-strayline.com>
+
+ * gnat.dg/containers2.adb: New test.
+
+2021-04-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat.dg/opt93.ads, gnat.dg/opt93.adb: New test.
+
2021-04-27 Jason Merrill <jason@redhat.com>
PR c++/92145
+2021-04-28 Patrick McGehearty <patrick.mcgehearty@oracle.com>
+
+ * libgcc2.c (XMTYPE, XCTYPE, RBIG, RMIN, RMIN2, RMINSCAL, RMAX2):
+ Define.
+ (__divsc3, __divdc3, __divxc3, __divtc3): Improve complex divide.
+ * config/rs6000/_divkc3.c (RBIG, RMIN, RMIN2, RMINSCAL, RMAX2):
+ Define.
+ (__divkc3): Improve complex divide.
+
2021-04-23 Michael Meissner <meissner@linux.ibm.com>
PR target/98952
+2021-04-28 Jakub Jelinek <jakub@redhat.com>
+ Tobias Burnus <tobias@codesourcery.com>
+
+ * configure.ac (OFFLOAD_DEFAULTED): AC_DEFINE if offload-defaulted.
+ * target.c (gomp_load_plugin_for_device): If set and if a plugin
+ can't be dlopened, silently assume it has no devices.
+ * Makefile.in: Regenerate.
+ * config.h.in: Regenerate.
+ * configure: Regenerate.
+
2021-04-26 Tobias Burnus <tobias@codesourcery.com>
* testsuite/libgomp.oacc-fortran/par-reduction-2-1.f:
+2021-04-28 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/97930
+ * testsuite/20_util/pair/requirements/structural.cc: New test.
+
+2021-04-28 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/stl_pair.h (pair) [__cplusplus > 202002]: Add
+ new definitions for constructors and assignment operators using
+ concepts for constraints.
+ * testsuite/20_util/pair/cons/99957.cc: Disable for C++20 and
+ later.
+ * testsuite/20_util/pair/cons/explicit_construct.cc: Adjust
+ expected error messages to also match C++20 errors.
+
+2021-04-28 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/99957
+ * include/bits/stl_pair.h (_PCC::_MoveCopyPair, _PCC::_CopyMovePair):
+ Combine and replace with ...
+ (_PCC::_DeprConsPair): New SFINAE helper function.
+ (pair): Merge preprocessor blocks so that all C++03 members
+ are defined together at the end.
+ (pair::pair(const _T1&, _U2&&), pair::pair(_U1&&, const _T2&)):
+ Replace _T1 and _T2 parameters with __null_ptr_constant and
+ adjust constraints.
+ * testsuite/20_util/pair/40925.cc: Use nullptr instead of 0.
+ * testsuite/20_util/pair/cons/explicit_construct.cc: Likewise.
+ * testsuite/20_util/pair/cons/99957.cc: New test.
+
+2021-04-28 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/basic_string.h (__cpp_lib_constexpr_string): Define.
+ * include/std/version (__cpp_lib_constexpr_string): Define.
+ * testsuite/21_strings/char_traits/requirements/constexpr_functions_c++17.cc:
+ Check for __cpp_lib_constexpr_string.
+ * testsuite/21_strings/char_traits/requirements/constexpr_functions_c++20.cc:
+ Likewise.
+ * testsuite/21_strings/char_traits/requirements/version.cc: New test.
+
+2021-04-28 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/Makefile.am (stamp-pdf-doxygen): Improve comment about
+ dealing with errors. Use '@' to prevent shell command being
+ echoed.
+ * doc/Makefile.in: Regenerate.
+
+2021-04-28 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/100298
+ * include/bits/std_thread.h (thread::hardware_concurrency): Add
+ missing noexcept to inline definition for non-gthreads targets.
+
+2021-04-28 Patrick Palka <ppalka@redhat.com>
+
+ PR libstdc++/100187
+ PR libstdc++/100237
+ PR libstdc++/100249
+ PR libstdc++/100287
+ * include/bits/ranges_algo.h (__search_n_fn::operator()): Give
+ the __value_comp lambda an explicit bool return type.
+ (__is_permutation_fn::operator()): Give the __proj_scan local
+ variable auto&& return type. Give the __comp_scan lambda an
+ explicit bool return type.
+ (__remove_fn::operator()): Give the __pred lambda an explicit
+ bool return type.
+ (__partition_fn::operator()): Don't std::move __first twice
+ when returning an empty subrange.
+ (__min_fn::operator()): Don't std::move __comp.
+ (__max_fn::operator()): Likewise.
+ (__minmax_fn::operator()): Likewise.
+
2021-04-27 Patrick Palka <ppalka@redhat.com>
PR libstdc++/100290
git://gcc.gnu.org / gcc.git / commitdiff