+2022-05-18 Marek Polacek <polacek@redhat.com>
+
+ PR c/105131
+ * doc/invoke.texi: Document -Wenum-int-mismatch.
+
+2022-05-18 Uros Bizjak <ubizjak@gmail.com>
+
+ * config/i386/gnu-user-common.h (defined): Only define
+ TARGET_CAN_SPLIT_STACK for glibc targets.
+ * config/i386/gnu.h (defined): Ditto.
+
+2022-05-18 Roger Sayle <roger@nextmovesoftware.com>
+
+ * config/i386/i386.cc (ix86_rtx_costs) [MULT]: When mode size
+ is wider than word_mode, a multiplication costs three word_mode
+ multiplications and two word_mode additions.
+
+2022-05-18 Roger Sayle <roger@nextmovesoftware.com>
+
+ * config/i386/i386.md (define_split): Split *andsi_1
+ and *andn_si_ccno after reload with -Oz.
+
+2022-05-18 Frederik Harwath <frederik@codesourcery.com>
+
+ * graphite-scop-detection.cc (scop_detection::can_represent_loop):
+ Output reason for failure to dump file.
+ (scop_detection::harmful_loop_in_region): Likewise.
+ (scop_detection::graphite_can_represent_expr): Likewise.
+ (scop_detection::stmt_has_simple_data_refs_p): Likewise.
+ (scop_detection::stmt_simple_for_scop_p): Likewise.
+ (print_sese_loop_numbers): New function.
+ (scop_detection::add_scop): Use from here.
+
+2022-05-18 liuhongt <hongtao.liu@intel.com>
+
+ PR middle-end/103462
+ * match.pd (bitwise_induction_p): New match.
+ * tree-scalar-evolution.cc (gimple_bitwise_induction_p):
+ Declare.
+ (analyze_and_compute_bitwise_induction_effect): New function.
+ (enum bit_op_kind): New enum.
+ (final_value_replacement_loop): Enhanced to handle bitwise
+ induction.
+
+2022-05-18 Haochen Gui <guihaoc@gcc.gnu.org>
+
+ PR target/95737
+ * config/rs6000/rs6000.md (*subfsi3_carry_in_xx_64): New.
+
+2022-05-18 liuhongt <hongtao.liu@intel.com>
+
+ PR target/104375
+ * config/i386/i386.md (*bmi2_bzhi_zero_extendsidi_4): New
+ define_insn.
+
+2022-05-18 liuhongt <hongtao.liu@intel.com>
+
+ PR target/104610
+ * config/i386/i386-expand.cc (ix86_expand_branch): Use ptest
+ for QImode when code is EQ or NE.
+ * config/i386/i386.md (cbranchoi4): New expander.
+
+2022-05-18 Peter Bergner <bergner@linux.ibm.com>
+ Segher Boessenkool <segher@kernel.crashing.org>
+
+ PR target/105556
+ * config/rs6000/mma.md (mma_<vv>, mma_<avv>, mma_<pv>, mma_<apv>,
+ mma_<vvi4i4i8>, mma_<avvi4i4i8>, mma_<vvi4i4i2>, mma_<avvi4i4i2>,
+ mma_<vvi4i4>, mma_<avvi4i4>, mma_<pvi4i2>, mma_<apvi4i2>,
+ mma_<vvi4i4i4>, mma_<avvi4i4i4>): Replace "wa" constraints with "v,?wa".
+ Update other operands accordingly.
+
2022-05-17 Marek Polacek <polacek@redhat.com>
* godump.cc (go_output_typedef): Use the DECL_INITIAL of the TREE_VALUE.
+2022-05-18 Claire Dross <dross@adacore.com>
+
+ * libgnat/s-imageu.adb (Set_Image_Unsigned): Change assertion.
+
+2022-05-18 Doug Rupp <rupp@adacore.com>
+
+ * sigtramp-qnx.c: Change struct sigcontext * to mcontext_t *.
+
+2022-05-18 Doug Rupp <rupp@adacore.com>
+
+ * sigtramp-arm-qnx.c: Rewrite.
+
+2022-05-18 Yannick Moy <moy@adacore.com>
+
+ * libgnat/s-aridou.adb (Big3): Change return type.
+ (Lemma_Mult_Non_Negative, Lemma_Mult_Non_Positive): Reorder
+ alphabetically.
+ (Lemma_Concat_Definition, Lemma_Double_Big_2xxsingle): New
+ lemmas.
+ (Double_Divide, Scaled_Divide): Add assertions.
+
+2022-05-18 Claire Dross <dross@adacore.com>
+
+ * libgnat/s-valueu.adb (Scan_Raw_Unsigned): Add assertions.
+
+2022-05-18 Kévin Le Gouguec <legouguec@adacore.com>
+
+ * libgnat/s-dwalin.adb (Read_Aranges_Header): Initialize output
+ parameter in case we return early.
+
+2022-05-18 Bob Duff <duff@adacore.com>
+
+ * libgnat/a-crbtgo.ads, libgnat/a-rbtgbo.ads,
+ libgnat/a-cbdlli.adb, libgnat/a-cbhama.adb,
+ libgnat/a-cbhase.adb, libgnat/a-cdlili.adb,
+ libgnat/a-cfdlli.adb, libgnat/a-cfhama.adb,
+ libgnat/a-cfhase.adb, libgnat/a-cidlli.adb,
+ libgnat/a-cihama.adb, libgnat/a-cihase.adb,
+ libgnat/a-cohama.adb, libgnat/a-cohase.adb,
+ libgnat/a-crbtgo.adb, libgnat/a-crdlli.adb, libgnat/a-rbtgbo.adb
+ (Vet): Make the Vet functions do nothing when
+ Container_Checks'Enabled is False, and inline them, so the calls
+ disappear when optimizing.
+
+2022-05-18 Doug Rupp <rupp@adacore.com>
+
+ * Makefile.rtl (arm-qnx): Use default (non-fma) target pair.
+
+2022-05-18 Kévin Le Gouguec <legouguec@adacore.com>
+
+ * libgnat/s-dwalin.adb (Aranges_Lookup, Enable_Cache): Adapt to
+ changes in the signature of Read_Aranges_*.
+ (Debug_Info_Lookup): Do not control address size read from
+ DWARF.
+ (Read_Aranges_Header): Do not control address size read from
+ DWARF; return this size.
+ (Read_Aranges_Entry): Use the size returned by
+ Read_Aranges_Header.
+
+2022-05-18 Gary Dismukes <dismukes@adacore.com>
+
+ * errout.ads (Error_Msg_GNAT_Extension): Add formal Loc and
+ revise comment.
+ * errout.adb (Error_Msg_GNAT_Extension): Condition message on
+ the flag Ada_Version_Pragma, and add suggestion to use of pragma
+ Extensions_Allowed in messages.
+ * par-ch3.adb, par-ch5.adb, par-ch6.adb, par-ch11.adb,
+ par-ch12.adb: Add actual Token_Ptr on calls to
+ Error_Msg_GNAT_Extension.
+ * par-ch4.adb: Change Error_Msg to Error_Msg_GNAT_Extension for
+ error calls related to use of extension features.
+ * sem_ch13.adb: Likewise.
+
+2022-05-18 Johannes Kliemann <kliemann@adacore.com>
+
+ * libgnarl/s-osinte__qnx.adb (To_Target_Priority): Perform
+ arithmetic in int.
+
+2022-05-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch7.adb (Build_BIP_Cleanup_Stmts): Use Needs_BIP_Alloc_Form.
+
+2022-05-18 Javier Miranda <miranda@adacore.com>
+
+ * sem_ch6.adb (Find_Corresponding_Spec): Avoid calling
+ Is_Null_Extension with a class-wide type entity.
+ (Overrides_Visible_Function): Handle alias entities.
+ * sem_res.adb (Has_Applicable_User_Defined_Literal): Conversion
+ not needed if the result type of the call is class-wide or if
+ the result type matches the context type.
+ * sem_util.ads (Is_Null_Extension): Adding documentation.
+ (Is_Null_Extension_Of): Adding documentation.
+ * sem_util.adb (Is_Null_Extension): Adding assertion.
+ (Is_Null_Extension_Of): Adding assertions.
+
+2022-05-18 Javier Miranda <miranda@adacore.com>
+
+ * snames.ads-tmpl (Name_Index): New attribute name.
+ (Attribute_Id): Adding Attribute_Index as regular attribute.
+ * sem_attr.adb (Attribute_22): Adding Attribute_Index as Ada
+ 2022 attribute.
+ (Analyze_Index_Attribute): Check that 'Index appears in a
+ pre-/postcondition aspect or pragma associated with an entry
+ family.
+ (Analyze_Attribute): Adding semantic analysis for 'Index.
+ (Eval_Attribute): Register 'Index as can never be folded.
+ (Resolve_Attribute): Resolve attribute 'Index.
+ * sem_ch9.adb (Check_Wrong_Attribute_In_Postconditions): New
+ subprogram.
+ (Analyze_Requeue): Check that the requeue target shall not have
+ an applicable specific or class-wide postcondition which
+ includes an Index attribute reference.
+ * exp_attr.adb (Expand_N_Attribute_Reference): Transform
+ attribute Index into a renaming of the second formal of the
+ wrapper built for an entry family that has contract cases.
+ * einfo.ads (Is_Entry_Wrapper): Complete documentation.
+
+2022-05-18 Yannick Moy <moy@adacore.com>
+
+ * libgnat/s-imagei.adb (Set_Digits): Add assertion.
+ * libgnat/s-imgboo.adb (Image_Boolean): Add assertions.
+ * libgnat/s-valueu.adb (Scan_Raw_Unsigned): Add assertion.
+
+2022-05-18 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_aux.adb (Is_Immutably_Limited_Type): Do not look through
+ private types as per RM 7.5(8.1).
+ * sem_ch6.adb (Analyze_Function_Return): Use
+ Is_Immutably_Limited_Type as per RM 6.5(5.10).
+
+2022-05-18 Marc Poulhiès <poulhies@adacore.com>
+
+ * gen_il-gen-gen_nodes.adb (Gen_IL.Gen.Gen_Nodes): Add
+ Is_Homogeneous_Aggregate field for N_Delta_Aggregate nodes.
+ * par-ch4.adb (P_Aggregate_Or_Paren_Expr): Minor reformatting.
+ * sem_aggr.adb (Resolve_Delta_Aggregate): Reject square brackets
+ for record aggregate.
+ (Resolve_Record_Aggregate): Uniformise error message.
+
+2022-05-18 Arnaud Charlet <charlet@adacore.com>
+
+ * ali.adb (Scan_ALI): Special case a-tags.ali when setting
+ Sec_Stack_Used.
+ * bindgen.adb (Gen_Adainit): Simplify handling of secondary
+ stack related code, and only import __gnat_binder_ss_count when
+ needed.
+ * libgnat/s-secsta.adb (Binder_SS_Count): Default initialize to
+ 0.
+
+2022-05-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * libgnat/s-dourea.adb ("/"): Add guard for zero and infinite
+ divisor.
+ * libgnat/s-valuer.adb (Scan_Raw_Real): Add guard for very large
+ exponent values.
+
+2022-05-18 Yannick Moy <moy@adacore.com>
+
+ * sem_elab.adb (Is_Suitable_Construct): Fix for generated
+ constructs.
+
+2022-05-18 Marc Poulhiès <poulhies@adacore.com>
+
+ * sem_ch3.adb (Analyze_Object_Declaration): Skip predicate check
+ for type conversion if object's subtype and expression's subtype
+ statically match.
+ * exp_prag.adb (Expand_Pragma_Check): Typo fix in comment.
+
+2022-05-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_dbug.ads (Build_Subprogram_Instance_Renamings): Fix typo.
+ * exp_dbug.adb (Build_Subprogram_Instance_Renamings): Build the
+ renaming only for actuals of formal objects.
+
+2022-05-18 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch3.adb (Check_Abstract_Overriding): If the type is
+ derived from an untagged type, then don't perform any of the
+ abstract overriding error checks.
+
+2022-05-18 Piotr Trojanek <trojanek@adacore.com>
+
+ * exp_aggr.adb (Component_Count): Calculate size as an Uint and
+ only then check if it is in the range of Int, as otherwise the
+ multiplication of Int values can overflow.
+
+2022-05-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add g-gfmafu$(objext).
+ (SIMD_PATH_TARGET_PAIRS): New variable.
+ (TRASYM_DWARF_COMMON_OBJS): Minor tweak.
+ (x86-64/Linux): Use SIMD_PATH_TARGET_PAIRS.
+ (x32/Linux): Likewise.
+ * doc/gnat_rm/the_gnat_library.rst (Generic_Fast_Math_Functions):
+ New entry.
+ * gnat_rm.texi: Regenerate.
+ * impunit.adb (Non_Imp_File_Names_95): Add g-gfmafu.
+ * sem_ch7.adb (Has_Referencer): Do not set In_Nested_Instance for
+ instances of generic packages that do not have a body.
+ * libgnat/a-nalofl__simd.ads: New SIMD-enabled version.
+ * libgnat/a-nuaufl__simd.ads: Likewise.
+ * libgnat/g-gfmafu.ads: New package renaming unit.
+
+2022-05-18 Arnaud Charlet <charlet@adacore.com>
+
+ * freeze.adb (Should_Freeze_Type): Fix handling of freezing in
+ instances.
+
+2022-05-18 Marc Poulhiès <poulhies@adacore.com>
+
+ * sem_ch12.adb (Check_Generic_Parent): Use
+ Get_Unit_Instantiation_Node instead of Next.
+
+2022-05-18 Alexandre Oliva <oliva@adacore.com>
+
+ * libgnat/a-nagefl.ads: Replace mentions of C/unix math library
+ with intrinsics.
+ * libgnat/a-nallfl.ads: Likewise. State compatibility
+ requirements.
+ * libgnat/a-nalofl.ads: Likewise.
+ * libgnat/a-nuaufl.ads: Likewise.
+
+2022-05-18 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch8.adb (Analyze_Subprogram_Renaming): Move final test on
+ In_Instance to outer condition.
+
+2022-05-18 Doug Rupp <rupp@adacore.com>
+
+ * Makefile.rtl: Rename system-qnx-aarch64.ads to
+ system-qnx-arm.ads.
+ (AARCH64 QNX section): Modify to handle both arm and arch64.
+ * tracebak.c (__QNX__): Add new __ARMEL__ section.
+ * sigtramp-arm-qnx.c: New file.
+ * libgnat/system-qnx-aarch64.ads: Renamed to ...
+ * libgnat/system-qnx-arm.ads: this.
+
2022-05-17 Piotr Trojanek <trojanek@adacore.com>
* sem_res.adb (Flag_Effectively_Volatile_Objects): Restore
+2022-05-18 Marek Polacek <polacek@redhat.com>
+
+ PR c/105131
+ * gcc.dg/Wenum-int-mismatch-1.c: New test.
+ * gcc.dg/Wenum-int-mismatch-2.c: New test.
+ * gcc.dg/Wenum-int-mismatch-3.c: New test.
+ * gcc.dg/Wenum-int-mismatch-4.c: New test.
+ * gcc.dg/Wenum-int-mismatch-5.c: New test.
+
+2022-05-18 Paul A. Clarke <pc@us.ibm.com>
+
+ PR target/105620
+ * g++.target/powerpc/pr69667.C: Move to ...
+ * g++.dg/pr69667.C: here. Also, revert recent dg directives changes.
+
+2022-05-18 Roger Sayle <roger@nextmovesoftware.com>
+
+ * gcc.target/i386/bmi-andn-3.c: New test case.
+
+2022-05-18 Marek Polacek <polacek@redhat.com>
+
+ PR c++/105497
+ * c-c++-common/Wswitch-1.c: New test.
+ * g++.dg/warn/Wswitch-4.C: New test.
+
+2022-05-18 Marek Polacek <polacek@redhat.com>
+
+ PR c++/105634
+ * g++.dg/Wclass-memaccess-2.C: Moved to...
+ * g++.dg/warn/Wclass-memaccess-2.C: ...here.
+ * g++.dg/Wclass-memaccess-3.C: Moved to...
+ * g++.dg/warn/Wclass-memaccess-3.C: ...here.
+ * g++.dg/Wclass-memaccess-4.C: Moved to...
+ * g++.dg/warn/Wclass-memaccess-4.C: ...here.
+ * g++.dg/Wclass-memaccess-5.C: Moved to...
+ * g++.dg/warn/Wclass-memaccess-5.C: ...here.
+ * g++.dg/Wclass-memaccess-6.C: Moved to...
+ * g++.dg/warn/Wclass-memaccess-6.C: ...here.
+ * g++.dg/Wclass-memaccess.C: Moved to...
+ * g++.dg/warn/Wclass-memaccess.C: ...here.
+ * g++.dg/warn/Wclass-memaccess-7.C: New test.
+
+2022-05-18 Kewen Lin <linkw@linux.ibm.com>
+
+ * gcc.target/powerpc/pr83660.C: Moved to...
+ * g++.target/powerpc/pr83660.C: ...here.
+
+2022-05-18 Frederik Harwath <frederik@codesourcery.com>
+
+ * gcc.dg/graphite/scop-22a.c: New test.
+
+2022-05-18 Tobias Burnus <tobias@codesourcery.com>
+
+ * gfortran.dg/gomp/all-memory-1.f90: Add inoutset test.
+ * gfortran.dg/gomp/all-memory-2.f90: Likewise.
+ * gfortran.dg/gomp/depobj-1.f90: Likewise.
+ * gfortran.dg/gomp/depobj-2.f90: Likewise.
+
+2022-05-18 liuhongt <hongtao.liu@intel.com>
+
+ * gcc.target/i386/pr103462-1.c: New test.
+ * gcc.target/i386/pr103462-2.c: New test.
+ * gcc.target/i386/pr103462-3.c: New test.
+ * gcc.target/i386/pr103462-4.c: New test.
+ * gcc.target/i386/pr103462-5.c: New test.
+ * gcc.target/i386/pr103462-6.c: New test.
+
+2022-05-18 Haochen Gui <guihaoc@gcc.gnu.org>
+
+ PR target/95737
+ * gcc.target/powerpc/pr95737.c: New.
+
+2022-05-18 liuhongt <hongtao.liu@intel.com>
+
+ * gcc.target/i386/pr104375.c: New test.
+
+2022-05-18 liuhongt <hongtao.liu@intel.com>
+
+ * gcc.target/i386/pr104610.c: New test.
+
2022-05-17 Jason Merrill <jason@redhat.com>
PR c++/102307