+2022-09-06 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/106754
+ * gimple-predicate-analysis.cc (compute_control_dep_chain_pdom):
+ New function, split out from compute_control_dep_chain. Handle
+ loop-exit like conditions here by pushing to the control vector.
+ (compute_control_dep_chain): Adjust and streamline dumping.
+ In the wrapper perform a post-dominator walk as well.
+ (uninit_analysis::init_use_preds): Remove premature early exit.
+
+2022-09-06 Max Filippov <jcmvbkbc@gmail.com>
+
+ * config/xtensa/linux.h (LINK_SPEC): Add static-pie.
+
+2022-09-06 Aldy Hernandez <aldyh@redhat.com>
+
+ * range-op-float.cc (build_le): Handle NANs and going past infinity.
+ (build_lt): Same.
+ (build_ge): Same.
+ (build_gt): Same.
+ (foperator_lt::op1_range): Avoid adjustments to range if build_*
+ returned false.
+ (foperator_lt::op2_range): Same.
+ (foperator_le::op1_range): Same.
+ (foperator_le::op2_range): Same.
+ (foperator_gt::op1_range): Same.
+ (foperator_gt::op2_range): Same.
+
+2022-09-06 Richard Biener <rguenther@suse.de>
+
+ * gimple-predicate-analysis.cc (compute_control_dep_chain):
+ Add output flag to indicate whether we possibly have dropped
+ any chains. Return whether the info is complete from the
+ wrapping overload.
+ (uninit_analysis::init_use_preds): Adjust accordingly, with
+ a workaround for PR106754.
+ (uninit_analysis::init_from_phi_def): Properly guard the
+ case where we complete an empty chain.
+
+2022-09-06 Jan-Benedict Glaw <jbglaw@lug-owl.de>
+
+ * config/msp430/msp430.cc (msp430_single_op_cost): Document unused argument.
+
+2022-09-06 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
+
+ * tree-ssa-forwprop.cc (simplify_permutation): Set res_type to a vector
+ type with same element type as arg0, and length as op2.
+
+2022-09-06 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/106844
+ * gimple-predicate-analysis.cc (compute_control_dep_chain):
+ Return whether we found a chain.
+
+2022-09-06 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/106841
+ * tree-vect-slp.cc (vect_detect_hybrid_slp): Also process
+ scatter/gather offset.
+
+2022-09-06 Jan-Benedict Glaw <jbglaw@lug-owl.de>
+
+ * config/bpf/bpf.h (REGNO_REG_CLASS): Reference arguments as (void).
+
+2022-09-06 Jakub Jelinek <jakub@redhat.com>
+
+ * gimple.h (enum gf_mask): Add GF_OMP_ORDERED_STANDALONE enumerator.
+ (gimple_omp_subcode): Use GIMPLE_OMP_ORDERED instead of
+ GIMPLE_OMP_TEAMS as upper bound.
+ (gimple_omp_ordered_standalone_p, gimple_omp_ordered_standalone): New
+ inline functions.
+ * gimplify.cc (find_standalone_omp_ordered): Look for OMP_ORDERED with
+ NULL OMP_ORDERED_BODY rather than with OMP_DOACROSS clause.
+ (gimplify_expr): Call gimple_omp_ordered_standalone for OMP_ORDERED
+ with NULL OMP_ORDERED_BODY.
+ * omp-low.cc (check_omp_nesting_restrictions): Use
+ gimple_omp_ordered_standalone_p test instead of
+ omp_find_clause (..., OMP_CLAUSE_DOACROSS).
+ (lower_omp_ordered): Likewise.
+ * omp-expand.cc (expand_omp, build_omp_regions_1,
+ omp_make_gimple_edges): Likewise.
+
+2022-09-06 Xianmiao Qu <cooper.qu@linux.alibaba.com>
+
+ * config/csky/csky.md (cskyv2_addcc): Fix missing operand.
+ (cskyv2_addcc_invert): Likewise.
+
+2022-09-06 Jose E. Marchesi <jose.marchesi@oracle.com>
+
+ * config/bpf/bpf.cc (bpf_expand_prologue): Remove unused automatic
+ `insn'.
+ (bpf_expand_epilogue): Likewise.
+
+2022-09-06 liuhongt <hongtao.liu@intel.com>
+
+ * config/i386/i386-builtin.def (IX86_BUILTIN_CVTPS2PH512):
+ Map to CODE_FOR_avx512f_vcvtps2ph512_mask_sae.
+ * config/i386/sse.md (<mask_codefor>avx512f_vcvtps2ph512<mask_name>): Extend to ..
+ (<mask_codefor>avx512f_vcvtps2ph512<mask_name><round_saeonly_name>): .. this.
+ (avx512f_vcvtps2ph512_mask_sae): New expander
+
2022-09-05 Aldy Hernandez <aldyh@redhat.com>
* gimple-range-fold.cc
+2022-09-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.cc (gnat_to_gnu_param): Set DECL_ARTIFICIAL.
+
+2022-09-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.cc (At_End_Proc_to_gnu): Use the End_Label of
+ the child Handled_Statement_Sequence for body nodes.
+ (set_end_locus_from_node): Minor tweaks.
+
+2022-09-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.cc (Full_View_Of_Private_Constant): New
+ function returning the Full_View of a private constant, after
+ looking through a chain of renamings, if any.
+ (Identifier_to_gnu): Call it on the entity. Small cleanup.
+
+2022-09-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/utils.cc (gnat_pushdecl): Preserve named
+ TYPE_DECLs consistently for all kind of pointer types.
+
+2022-09-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/trans.cc (gnat_to_gnu) <N_Op_Divide>: Report a
+ violation of No_Dependence on System.GCC if the result type is
+ larger than a word.
+ <N_Op_Shift>: Likewise.
+ <N_Op_Mod>: Likewise.
+ <N_Op_Rem>: Likewise.
+ (convert_with_check): Report a violation of No_Dependence on
+ System.GCC for a conversion between an integer type larger than
+ a word and a floating-point type.
+
+2022-09-06 Steve Baird <baird@adacore.com>
+
+ * sem_ch9.adb
+ (Allows_Lock_Free_Implementation): Return False if
+ Support_Atomic_Primitives is False.
+
+2022-09-06 Steve Baird <baird@adacore.com>
+
+ * debug.adb: Remove comment regarding the -gnatd9 switch.
+ * doc/gnat_rm/implementation_defined_attributes.rst: Remove all
+ mention of the Lock_Free attribute.
+ * gnat_rm.texi, gnat_ugn.texi: Regenerate.
+ * exp_attr.adb, sem_attr.adb: Remove all mention of the former
+ Attribute_Lock_Free enumeration element of the Attribute_Id type.
+ * sem_ch9.adb
+ (Allows_Lock_Free_Implementation): Remove the Debug_Flag_9 test.
+ Return False in the case of a protected function whose result type
+ requires use of the secondary stack.
+ (Satisfies_Lock_Free_Requirements): This functions checks for
+ certain constructs and returns False if one is found. In the case
+ of a protected function, there is no need to check to see if the
+ protected object is being modified. So it is ok to omit *some*
+ checks in the case of a protected function. But other checks which
+ are required (e.g., the test for a reference to a variable that is
+ not part of the protected object) were being incorrectly omitted.
+ This could result in accepting "Lock_Free => True" aspect
+ specifications that should be rejected.
+ * snames.adb-tmpl: Name_Lock_Free no longer requires special
+ treatment in Get_Pragma_Id or Is_Pragma_Name (because it is no
+ longer an attribute name).
+ * snames.ads-tmpl: Move the declaration of Name_Lock_Free to
+ reflect the fact that it is no longer the name of an attribute.
+ Delete Attribute_Lock_Free from the Attribute_Id enumeration type.
+
+2022-09-06 Steve Baird <baird@adacore.com>
+
+ * libgnat/a-coorse.ads: Restore Aggregate aspect specification for
+ type Set.
+
+2022-09-06 Marc Poulhiès <poulhies@adacore.com>
+
+ * exp_util.adb (Build_Allocate_Deallocate_Proc): Add
+ Alignment_Param in the formal list for calls to SS_Allocate.
+
+2022-09-06 Piotr Trojanek <trojanek@adacore.com>
+
+ * inline.adb (Process_Formals): Preserve Has_Private_View flag while
+ rewriting formal into actual parameters.
+
+2022-09-06 Javier Miranda <miranda@adacore.com>
+
+ * debug.adb
+ (Debug_Flag_Underscore_X): Switch added temporarily to allow
+ disabling extra formal checks.
+ * exp_attr.adb
+ (Expand_N_Attribute_Reference [access types]): Add extra formals
+ to the subprogram referenced in the prefix of 'Unchecked_Access,
+ 'Unrestricted_Access or 'Access; required to check that its extra
+ formals match the extra formals of the corresponding subprogram
+ type.
+ * exp_ch3.adb
+ (Stream_Operation_OK): Declaration moved to the public part of the
+ package.
+ (Validate_Tagged_Type_Extra_Formals): New subprogram.
+ (Expand_Freeze_Record_Type): Improve the code that takes care of
+ adding the extra formals of dispatching primitives; extended to
+ add also the extra formals to renamings of dispatching primitives.
+ * exp_ch3.ads
+ (Stream_Operation_OK): Declaration moved from the package body.
+ * exp_ch6.adb
+ (Has_BIP_Extra_Formal): Subprogram declaration moved to the public
+ part of the package. In addition, a parameter has been added to
+ disable an assertion that requires its use with frozen entities.
+ (Expand_Call_Helper): Enforce assertion checking extra formals on
+ thunks.
+ (Is_Build_In_Place_Function): Return False for entities with
+ foreign convention.
+ (Make_Build_In_Place_Call_In_Object_Declaration): Occurrences of
+ Is_Return_Object replaced by the local variable
+ Is_OK_Return_Object that evaluates to False for scopes with
+ foreign convention.
+ (Might_Have_Tasks): Fix check of class-wide limited record types.
+ (Needs_BIP_Task_Actuals): Remove assertion to allow calling this
+ function in more contexts; in addition it returns False for
+ functions returning objects with foreign convention.
+ (Needs_BIP_Finalization_Master): Likewise.
+ (Needs_BIP_Alloc_Form): Likewise.
+ * exp_ch6.ads
+ (Stream_Operation_OK): Declaration moved from the package body. In
+ addition, a parameter has been added to disable assertion that
+ requires its use with frozen entities.
+ * freeze.adb
+ (Check_Itype): Add extra formals to anonymous access subprogram
+ itypes.
+ (Freeze_Expression): Improve code that disables the addition of
+ extra formals to functions with foreign convention.
+ (Check_Extra_Formals): Moved to package Sem_Ch6 as
+ Extra_Formals_OK.
+ (Freeze_Subprogram): Add extra formals to non-dispatching
+ subprograms.
+ * sem_ch3.adb
+ (Access_Subprogram_Declaration): Defer the addition of extra
+ formals to the freezing point so that we know the convention.
+ (Check_Anonymous_Access_Component): Likewise.
+ (Derive_Subprogram): Fix documentation.
+ * sem_ch6.adb
+ (Check_Anonymous_Return): Fix check of access to class-wide
+ limited record types.
+ (Check_Untagged_Equality): Placed in alphabetical order.
+ (Extra_Formals_OK): Subprogram moved from freeze.adb.
+ (Extra_Formals_Match_OK): New subprogram.
+ (Has_BIP_Formals): New subprogram.
+ (Has_Extra_Formals): New subprograms.
+ (Needs_Accessibility_Check_Extra): New subprogram.
+ (Needs_Constrained_Extra): New subprogram.
+ (Parent_Subprogram): New subprogram.
+ (Add_Extra_Formal): Minor code cleanup.
+ (Create_Extra_Formals): Enforce matching extra formals on
+ overridden and aliased entities.
+ (Has_Reliable_Extra_Formals): New subprogram.
+ * sem_ch6.ads
+ (Extra_Formals_OK): Subprogram moved from freeze.adb.
+ (Extra_Formals_Match_OK): New subprogram.
+ * sem_eval.adb
+ (Compile_Time_Known_Value): Improve predicate to avoid assertion
+ failure; found working on this ticket; this change does not affect
+ the behavior of the compiler because this subprogram has an
+ exception handler that returns False when the assertion fails.
+ * sem_util.adb
+ (Needs_Result_Accessibility_Level): Do not return False for
+ dispatching operations compiled with Ada_Version < 2012 since they
+ they may be overridden by primitives compiled with Ada_Version >=
+ Ada_2012.
+
+2022-09-06 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch4.adb (Expand_N_If_Expression): Disable optimization
+ for LLVM.
+
+2022-09-06 Javier Miranda <miranda@adacore.com>
+
+ * sem_prag.adb
+ (Analyze_Pre_Post_Condition_In_Decl_Part): Improve check to report
+ an error in non-legal class-wide conditions.
+
+2022-09-06 Steve Baird <baird@adacore.com>
+
+ * libgnat/a-strsup.adb, libgnat/a-stwisu.adb, libgnat/a-stzsup.adb
+ (Super_Slice function and procedure): fix slice length computation.
+
+2022-09-06 Steve Baird <baird@adacore.com>
+
+ * doc/gnat_ugn/building_executable_programs_with_gnat.rst:
+ Improve -gnatVa, -gnatVc, -gnatVd, -gnatVe, -gnatVf, -gnatVo,
+ -gnatVp, -gnatVr, and -gnatVs switch descriptions.
+ * gnat_ugn.texi: Regenerate.
+
+2022-09-06 Justin Squirek <squirek@adacore.com>
+
+ * exp_unst.adb
+ (Visit_Node): Add N_Block_Statement to the enclosing construct
+ case since they can now have "At end" procedures. Also, recognize
+ calls from "At end" procedures when recording subprograms.
+
+2022-09-06 Piotr Trojanek <trojanek@adacore.com>
+
+ * inline.adb (Replace_Formal): Fix name of the referenced routine.
+
+2022-09-06 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Old]):
+ Remove unnecessary local constant that was shadowing another
+ constant with the same initial value.
+
+2022-09-06 Julien Bortolussi <bortolussi@adacore.com>
+
+ * libgnat/a-cforse.ads (Replace): Fix the postcondition.
+
+2022-09-06 Steve Baird <baird@adacore.com>
+
+ * exp_attr.adb
+ (Attribute_Valid): Ensure that PBtyp is initialized to a value for
+ which Is_Scalar_Type is True.
+ * checks.adb
+ (Determine_Range): Call Implemention_Base_Type instead of
+ Base_Type in order to ensure that result is suitable for passing
+ to Enum_Pos_To_Rep.
+
+2022-09-06 Bob Duff <duff@adacore.com>
+ Eric Botcazou <ebotcazou@adacore.com>
+
+ * gen_il-fields.ads
+ (First_Real_Statement): Remove this field.
+ * gen_il-gen-gen_nodes.adb: Remove the First_Real_Statement field.
+ Add the At_End_Proc field to nodes that have both Declarations and
+ HSS.
+ * sinfo.ads
+ (At_End_Proc): Document new semantics.
+ (First_Real_Statement): Remove comment.
+ * exp_ch11.adb
+ (Expand_N_Handled_Sequence_Of_Statements): Remove
+ First_Real_Statement.
+ * exp_ch7.adb
+ (Build_Cleanup_Statements): Remove "Historical note"; it doesn't
+ seem useful, and we have revision history.
+ (Create_Finalizer): Insert the finalizer later, typically in the
+ statement list, in some cases.
+ (Build_Finalizer_Call): Attach the "at end" handler to the parent
+ of the HSS node in most cases, so it applies to declarations.
+ (Expand_Cleanup_Actions): Remove Wrap_HSS_In_Block and the call to
+ it. Remove the code that moves declarations. Remove some redundant
+ code.
+ * exp_ch9.adb
+ (Build_Protected_Entry): Copy the At_End_Proc.
+ (Build_Protected_Subprogram_Body): Reverse the sense of Exc_Safe,
+ to avoid double negatives. Remove "Historical note" as in
+ exp_ch7.adb.
+ (Build_Unprotected_Subprogram_Body): Copy the At_End_Proc from the
+ protected version.
+ (Expand_N_Conditional_Entry_Call): Use First (Statements(...))
+ instead of First_Real_Statement(...).
+ (Expand_N_Task_Body): Put the Abort_Undefer call at the beginning
+ of the declarations, rather than in the HSS. Use First
+ (Statements(...)) instead of First_Real_Statement(...). Copy the
+ At_End_Proc.
+ * inline.adb
+ (Has_Initialized_Type): Return False if the declaration does not
+ come from source.
+ * libgnarl/s-tpoben.ads
+ (Lock_Entries, Lock_Entries_With_Status): Document when these
+ things raise Program_Error. It's not clear that
+ Lock_Entries_With_Status ought to be raising exceptions, but at
+ least it's documented now.
+ * sem.ads: Minor comment fixes.
+ * sem_ch6.adb
+ (Analyze_Subprogram_Body_Helper): Use First (Statements(...))
+ instead of First_Real_Statement(...).
+ (Analyze_Null_Procedure): Minor comment fix.
+ * sem_util.adb
+ (Might_Raise): Return True for N_Raise_Expression. Adjust the part
+ about exceptions generated by the back end to match the reality of
+ what the back end generates.
+ (Update_First_Real_Statement): Remove.
+ * sem_util.ads: Remove First_Real_Statement from comment.
+ * sinfo-utils.ads
+ (First_Real_Statement): New function that always returns Empty.
+ This should be removed once gnat-llvm and codepeer have been
+ updated to not refer to First_Real_Statement.
+ * sprint.adb
+ (Sprint_At_End_Proc): Deal with printing At_End_Proc.
+ * sem_prag.adb: Minor comment fixes.
+ * gcc-interface/trans.cc (At_End_Proc_to_gnu): New function.
+ (Subprogram_Body_to_gnu): Call it to handle an At_End_Proc.
+ (Handled_Sequence_Of_Statements_to_gnu): Likewise. Remove the
+ support for First_Real_Statement and clean up the rest.
+ (Exception_Handler_to_gnu): Do not push binding levels.
+ (Compilation_Unit_to_gnu): Adjust call to process_decls.
+ (gnat_to_gnu) <N_Package_Specification>: Likewise. <N_Entry_Body>:
+ Likewise. <N_Freeze_Entity>: Likewise. <N_Block_Statement>:
+ Likewise and call At_End_Proc_to_gnu to handle an At_End_Proc.
+ <N_Package_Body>: Likewise.
+ (process_decls): Remove GNAT_END_LIST parameter and adjust
+ recursive calls.
+
+2022-09-06 Steve Baird <baird@adacore.com>
+
+ * doc/gnat_rm/implementation_defined_pragmas.rst: Document new
+ temporary rule that a "when others =>" case choice must be given
+ when casing on a composite selector.
+ * gnat_rm.texi: Regenerate.
+
+2022-09-06 Steve Baird <baird@adacore.com>
+
+ * sem_case.adb: Define a new Boolean constant,
+ Simplified_Composite_Coverage_Rules, initialized to True. Setting
+ this constant to True has two effects: 1- Representative value
+ sets are not fully initialized - this is done to avoid capacity
+ problems, as well as for performance. 2- In
+ Check_Case_Pattern_Choices, the only legality check performed is a
+ check that a "when others =>" choice is present.
+
+2022-09-06 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_ch13.adb (Analyze_Aspect_Relaxed_Initialization): Fix error
+ template.
+
+2022-09-06 Steve Baird <baird@adacore.com>
+
+ * exp_attr.adb
+ (Make_Range_Test): In determining which subtype's First and Last
+ attributes are to be queried as part of a range test, call
+ Validated_View in order to get a scalar (as opposed to private)
+ subtype.
+ (Attribute_Valid): In determining whether to perform a signed or
+ unsigned comparison for a range test, call Validated_View in order
+ to get a scalar (as opposed to private) type. Also correct a typo
+ which, by itself, is the source of the problem reported for this
+ ticket.
+
+2022-09-06 Steve Baird <baird@adacore.com>
+
+ * sem_ch4.adb
+ (Analyze_Selected_Component): Define new Boolean-valued function,
+ Constraint_Has_Unprefixed_Discriminant_Reference, which takes a
+ subtype that is subject to a discriminant-dependent constraint and
+ returns True if any of the constraint values are unprefixed
+ discriminant names. Usually, the Etype of a selected component
+ node is set to Etype of the component. However, in the case of an
+ access-to-array component for which this predicate returns True,
+ we instead use the base type of the Etype of the component.
+ Normally such problematic discriminant references are addressed by
+ calling Build_Actual_Subtype_Of_Component, but that doesn't work
+ if Full_Analyze is False.
+
+2022-09-06 Piotr Trojanek <trojanek@adacore.com>
+
+ * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Include
+ System.Value_U_Spec and System.Value_I_Spec units.
+
+2022-09-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * libgnat/s-powflt.ads (Powfive): New constant array.
+ * libgnat/s-powlfl.ads (Powfive): Likewise.
+ (Powfive_100): New constant.
+ (Powfive_200): Likewise.
+ (Powfive_300): Likewise.
+ * libgnat/s-powllf.ads (Powfive): New constant array.
+ (Powfive_100): New constant.
+ (Powfive_200): Likewise.
+ (Powfive_300): Likewise.
+ * libgnat/s-valflt.ads (Impl): Replace Powten with Powfive and pass
+ Null_Address for the address of large constants.
+ * libgnat/s-vallfl.ads (Impl): Replace Powten with Powfive and pass
+ the address of large constants.
+ * libgnat/s-valllf.ads (Impl): Likewise.
+ * libgnat/s-valrea.ads (System.Val_Real): Replace Powten_Address
+ with Powfive_Address and add Powfive_{1,2,3}00_Address parameters.
+ * libgnat/s-valrea.adb (Is_Large_Type): New boolean constant.
+ (Is_Very_Large_Type): Likewise.
+ (Maxexp32): Change value of 10 to that of 5.
+ (Maxexp64): Likewise.
+ (Maxexp80): Likewise.
+ (Integer_to_Real): Use a combination of tables of powers of 5 and
+ scaling if the base is 10.
+ (Large_Powten): Rename into...
+ (Large_Powfive): ...this. Add support for large constants.
+ (Large_Powfive): New overloaded function for very large exponents.
+
+2022-09-06 Piotr Trojanek <trojanek@adacore.com>
+
+ * doc/gnat_rm/implementation_defined_aspects.rst
+ (Aspect Iterable): Include Last and Previous primitives in
+ syntactic and semantic description.
+ * exp_attr.adb
+ (Expand_N_Attribute_Reference): Don't expect attributes like
+ Iterable that can only appear in attribute definition clauses.
+ * sem_ch13.adb
+ (Analyze_Attribute_Definition_Clause): Prevent crash on
+ non-aggregate Iterable attribute; improve basic diagnosis of
+ attribute values.
+ (Resolve_Iterable_Operation): Improve checks for illegal
+ primitives in aspect Iterable, e.g. with wrong number of formal
+ parameters.
+ (Validate_Iterable_Aspect): Prevent crashes on syntactically
+ illegal aspect expression.
+ * sem_util.adb
+ (Get_Cursor_Type): Fix style.
+ * gnat_ugn.texi, gnat_rm.texi: Regenerate.
+
+2022-09-06 Eric Botcazou <ebotcazou@adacore.com>
+
+ * libgnat/s-valuer.ads (System.Value_R): Add Parts formal parameter
+ as well as Data_Index, Scale_Array and Value_Array types.
+ (Scan_Raw_Real): Change type of Scale and return type.
+ (Value_Raw_Real): Likewise.
+ * libgnat/s-valuer.adb (Round_Extra): Reorder parameters and adjust
+ recursive call.
+ (Scan_Decimal_Digits): Reorder parameters, add N parameter and deal
+ with multi-part scale and value.
+ (Scan_Integral_Digits): Likewise.
+ (Scan_Raw_Real): Change type of Scale and return type and deal with
+ multi-part scale and value.
+ (Value_Raw_Real): Change type of Scale and return type and tidy up.
+ * libgnat/s-valued.adb (Impl): Pass 1 as Parts actual parameter.
+ (Scan_Decimal): Adjust to type changes.
+ (Value_Decimal): Likewise.
+ * libgnat/s-valuef.adb (Impl): Pass 1 as Parts actual parameter.
+ (Scan_Fixed): Adjust to type changes.
+ (Value_Fixed): Likewise.
+ * libgnat/s-valrea.adb (Need_Extra): Delete.
+ (Precision_Limit): Always use the precision of the mantissa.
+ (Impl): Pass 2 as Parts actual parameter.
+ (Exact_Log2): New expression function.
+ (Integer_to_Real): Change type of Scale and Val and deal with a
+ 2-part integer mantissa.
+ (Scan_Real): Adjust to type changes.
+ (Value_Real): Likewise.
+
2022-09-05 Martin Liska <mliska@suse.cz>
* sigtramp-vxworks-target.h: Rename DBX_REGISTER_NUMBER to
projects / platform / upstream / gcc.git / commitdiff