[gcc/microsoft/heads/main] (283 commits) Merge commit '8ab4b484153031c407b7d8c760b6a2605da1199a' int

[gcc/microsoft/heads/main] (283 commits) Merge commit '8ab4b484153031c407b7d8c760b6a2605da1199a' int

[Eugene Rozenfeld]

The branch 'microsoft/heads/main' was updated to point to:

 58b826af967... Merge commit '8ab4b484153031c407b7d8c760b6a2605da1199a' int

It previously pointed to:

 a895dc328d7... Merge commit 'e66af28d9907321c14a34803bcf1cfdd350745b8' int

Diff:

Summary of changes (added commits):
-----------------------------------

  58b826a... Merge commit '8ab4b484153031c407b7d8c760b6a2605da1199a' int
  8ab4b48... Strip of a vector load which is only used partially. (*)
  49ace83... Daily bump. (*)
  3e948d6... c++: tighten TMPL_ARGS_LEVEL macro (*)
  995060a... testsuite: PPC vector double requires VSX (*)
  a0080f0... libstdc++: Remove whitespace before preprocessor directives (*)
  dcc2667... Refactor '-ldl' handling for libgomp proper and plugins (*)
  dfda40f... rtl-optimization/105577 - RTL DSE and non-call EH (*)
  c4471a4... [Ada] Skip postponed validation checks with compilation err (*)
  605095a... [Ada] Fix URL in doc (*)
  0b46066... [Ada] Restore double quotes in debug printouts (*)
  e280641... [Ada] Reuse collective subtype for comparison operators whe (*)
  0c1ec8a... [Ada] Remove unreferenced Is_Selector_Name routine (*)
  09c7e31... [Ada] Add more dummy names in Sem_Warn.Has_Junk_Name (*)
  ec0f9f7... [Ada] Fix warning about generic subprograms withed but not  (*)
  3707c8f... [Ada] Fix warning about generic subprograms withed but not  (*)
  dff98f7... [Ada] Remove useless pragma Warnings Off from runtime units (*)
  cc508db... [Ada] Do not issue a warning on a postcondition of True or  (*)
  ce19ac1... [Ada] Remove front-end SJLJ processing (*)
  3b4ae9b... [Ada] Make debug printouts more robust (*)
  86c7b16... [Ada] Add ghost code to facilitate proof with SPARK (*)
  bbb4320... [Ada] Remove use of use-clauses in loaded runtime units (*)
  6655b15... [Ada] Fix support for ISO-8859-15 and IBM CP 850 encoding (*)
  f7fc84d... [Ada] Remove redundant guard against Any_String (*)
  c97014c... [Ada] Accept raise expressions as operands of boolean opera (*)
  9da379f... [Ada] Plug loophole in Possible_Type_For_Conditional_Expres (*)
  bcbf83e... [Ada] Adapt CodePeer analysis of GNAT to changes in depende (*)
  49a31a1... [Ada] Revamp analysis of conditional expressions (*)
  91d6876... [Ada] Proof of 'Image support for signed integers (*)
  a4f6f9f... [Ada] Rewrite Sem_Ch4.Find_Boolean_Types (*)
  d4fc83c... [Ada] Introduce hardbool Machine_Attribute for Ada (*)
  bb1c939... [Ada] Fix scope of block in expanded protected entry body (*)
  7a60ba4... [Ada] Fix typo in comment (*)
  7a4892d... [Ada] Fix style checking rule for square brackets in Ada 20 (*)
  b9cff88... [Ada] Fix remaining asymmetry in Specific_Type (*)
  e845160... [Ada] Fix typos in syntax for implementation-defined pragma (*)
  d889e40... [Ada] Reuse generic string hash for invocation signatures (*)
  e3e51e7... [Ada] Document Aggregate_Individually_Assign as a configura (*)
  cd644ce... libgomp nvptx plugin: Split 'PLUGIN_NVPTX_DYNAMIC' into 'PL (*)
  edbd2b1... libgomp plugins: Don't 'AC_SUBST' and 'AC_DEFINE_UNQUOTED'  (*)
  94b8a37... tree-optimization/105562 - avoid uninit diagnostic with bet (*)
  78c8b0b... c++: Support module language-decl semantics (*)
  3c9364f... i386: Add combine splitter to transform pxor/pcmpeqb/pmovms (*)
  7f78783... openmp: Add omp_all_memory support (C/C++ only so far) (*)
  8585185... testsuite: Update Wconversion testcase check type. (*)
  d0d513b... Daily bump. (*)
  99988b0... analyzer: fix memory leaks (*)
  25addf8... tree: introduce range adaptor for TREE_VEC (*)
  88459c3... c++: lambda template in requires [PR105541] (*)
  4dc86f7... c++: fix arm-eabi bootstrap [PR105567] (*)
  0acdbe2... Fortran: fix error recovery on invalid array section (*)
  5b2a24e... rs6000: Remove <Fv> (*)
  0aca4aa... rs6000: Remove <Ff> (*)
  401abb8... rs6000: Delete RS6000_CONSTRAINT_f (*)
  684c97d... Use variadic template functions for the gimple_build forwar (*)
  546c621... middle-end/70090: Register __bdos for sanitizers if necessa (*)
  a92ed39... [c++] Add module attachment (*)
  37a8220... rtl-optimization/105559 - avoid quadratic behavior in delet (*)
  7f04b0d... Implement some of fold_binary_op_with_conditional_arg in ma (*)
  876ac21... libgomp: Remove unused '--with-hsa-runtime', '--with-hsa-ru (*)
  91a6dcd... libgomp GCN plugin: Clean up always-empty 'PLUGIN_GCN_CPPFL (*)
  d6adba3... libgomp GCN plugin: Clean up unused references to system-pr (*)
  2e309a4... libgomp testsuite: Don't amend 'LD_LIBRARY_PATH' for system (*)
  8fa6897... docs: document --with-zstd (*)
  ef14bba... i386: simplify cpu_feature handling (*)
  b0fd3e3... [Ada] Proof of 'Image support for unsigned integers (*)
  48a2e84... [Ada] Sort Detect_Blocking alphabetically among names and p (*)
  046c166... [Ada] Fix Compile_Time_(Error|Warning) as non-configuration (*)
  fe664d3... [Ada] Correctly reject record aggregate using brackets (*)
  e79b45e... [Ada] Fix unbalanced paren in documentation marker for GNAT (*)
  4cfd39b... [Ada] New No_Local_Tagged_Types restriction (*)
  c63b798... [Ada] Fix spurious ambiguity for if_expression containing o (*)
  bd97da6... [Ada] Fix style of body header boxes (*)
  e6f7d5f... [Ada] Do not create useless itype in Constrain_Access (*)
  dc9ecb4... [Ada] Detect infinite loops with operators in exit conditio (*)
  4c533da... [Ada] Adapt proof of System.Arith_Double after update of Z3 (*)
  a58f70c... [Ada] Update categorization of implementation restrictions (*)
  bd67dcb... [Ada] Fix "S p e c" and "B o d y" file headers (*)
  d5628bb... [Ada] Add SUSE 32bit dependency (*)
  4371d18... [Ada] Fix formatting glitches in GNAT User's Guide (*)
  a473646... [Ada] Use pygments for Ada code examples of elaboration con (*)
  42c0119... [Ada] Excess finalization on assignment with target name sy (*)
  6281d36... [Ada] fix crash on Secondary_Stack_Size with discriminant (*)
  470fff3... [Ada] Reset Reachable field when mutating label into loop e (*)
  fd932b6... [Ada] Fix layout of tables in PDF version of GNAT RM (*)
  9b7f7fa... [Ada] Fix layout in description of aspects and pragmas (*)
  089b43b... [Ada] Fix markup in description of implementation-defined c (*)
  351278f... [Ada] Fix markup in description of pragma Eliminate (*)
  02b8770... [Ada] Suppress warning in g-sthcso for non-unix platforms (*)
  c8482b1... [Ada] Add guard for making only legal labels unreachable (*)
  c51ad37... [Ada] Document pragma Ada_2022 (*)
  88e9690... [Ada] Properly reject unsupported address specifications (*)
  c48a779... [Ada] Move Reachable flag to E_Label entities (*)
  2749e4a... [Ada] Set_Is_Known_Valid only if Safe_To_Capture_Value (*)
  d7ca4df... [Ada] Avoid crash for -gnatR -gnatc (*)
  e7d9fdf... bootstrap/105551 - restore nvptx build (*)
  1e69bc8... Optimize movzwl + vmovd/vmovq to vmovw. (*)
  55aa130... rs6000: Fix constraint v with rs6000_constraints[RS6000_CON (*)
  9e1e962... opts: do not allow Separate+Joined ending with = (*)
  f7a3ab2... MAINTAINERS: Remove myself from DCO section (*)
  344e425... This patch skips constant folding for fmin/max when either  (*)
  e877898... Daily bump. (*)
  a4ad92f... Update gcc hr.po (*)
  5edd080... Fortran: check TEAM arguments to coarray intrinsics (*)
  71eae0f... x86: Add .note.GNU-stack section only for Linux (*)
  ddd4629... isel: Fix up gimple_expand_vec_set_expr [PR105528] (*)
  79b9d83... doc: Fix mode iterator example (*)
  ee18dc4... c++: Remove SET_PACK_EXPANSION_PATTERN / SET_ARGUMENT_PACK_ (*)
  dc6c96f... c++: Harden *_PACK_EXPANSION and *_ARGUMENT_PACK macros (*)
  ca97c87... libstdc++: Add <spanstream> declarations to <iosfwd> [PR105 (*)
  1807e07... libstdc++: Add <syncstream> declarations to <iosfwd> [PR105 (*)
  098f02a... libiberty: fix wrong replacent in comments (*)
  5dac43b... libiberty: fix type in allocation (*)
  9cb69e7... libiberty: fix bad replacement. (*)
  137da38... Remove non-ANSI C macros in ansidecl.h. (*)
  50b009c... libiberty: stop using PTR macro (*)
  9ddd44b... RISC-V: Provide `fmin'/`fmax' RTL patterns (*)
  9801ca7... Use gimple-match folding in fold_build_cond_expr (*)
  da63055... Make 'c-c++-common/goacc/kernels-decompose-pr100400-1-*.c'  (*)
  7981524... Fix up 'libgomp.fortran/use_device_addr-5.f90' multi-device (*)
  d1e8f22... [c++] Disambiguate ModuleKind flags (*)
  76db543... middle-end/105537 - debug processing (*)
  1bac97a... libgcov: use proper type for n_functions (*)
  4b86508... Replace PTR with 'void *' in compiler. (*)
  d469484... Properly use opts in finish_options (*)
  5b7a975... Avoid andb %dil when optimizing for size. (*)
  dd3c787... Improved constant folding for scalar evolution. (*)
  37083a8... [Ada] Export Is_Expression_Function predicate for use in gi (*)
  3b3bd80... [Ada] Optimize nonstandard boolean validity checking (*)
  bf687b8... [Ada] Optimize nonstandard boolean conversions (*)
  81d33c5... [Ada] Handle non-standard booleans in if_expression conditi (*)
  a77ab90... [Ada] Incorrect ineffective use type clause warning (*)
  d5e6a22... [Ada] Simplify call to overloaded Earlier_In_Extended_Unit (*)
  45c4d91... [Ada] Remove repeated conversions between Source_Ptr and In (*)
  ce63a97... [Ada] Fix style in resolution of expression with actions (*)
  d118bc5... [Ada] Reuse Is_Rewrite_Substitution where possible (*)
  b814f0b... [Ada] Cleanup detection of No_Elist with No and Present (*)
  35f10dc... [Ada] Prevent search for references in postconditions from  (*)
  8cec068... [Ada] Remove tiny and incomplete optimization for unset ref (*)
  ea22ec9... [Ada] Cleanup unnecessary declare block in Check_Unreachabl (*)
  d421523... [Ada] Refine iteration from entities to formals (*)
  3a97853... [Ada] Check declare and qualified expressions for unset ref (*)
  469688b... [Ada] Check if- and case-expressions for unset references (*)
  850bf07... [Ada] Fix a couple of typos (*)
  69d701f... [Ada] Fix typo in comment for Is_Predicate_Static (*)
  cfcc538... [Ada] Fix indentation to follow uniform style across runtim (*)
  d89d9ec... [Ada] Accept Structural in aspect Subprogram_Variant and pr (*)
  336ea8f... [Ada] Proof of System.Val_Int at gold level (*)
  7f80532... [Ada] Fix hiding of user-defined operator that is not a hom (*)
  6798cad... [Ada] Fix oversight for case expression in Eval_Integer_Lit (*)
  53f2aaf... [Ada] Avoid repeated conversions from Int to Char_Code (*)
  3ad8cac... [Ada] Reject numeric literals with too big exponents (*)
  d979a67... [Ada] Replace variables with constants in expanded code for (*)
  5046228... [Ada] Fix incorrect range computation (*)
  a445a86... [Ada] Failure compiling "for ... of" loop over a slice (*)
  3d9e200... [Ada] Fix comment about building names in task arrays (*)
  0e38fbf... [Ada] Simplify conversion from Character to Char_Code (*)
  60ab3d0... Fix internal error with vectorization on SPARC (*)
  28896b3... middle-end/70090: Dynamic sizes for -fsanitize=object-size (*)
  bb2921a... c++: fix arm-eabi crash building libstdc++ [PR105529] (*)
  067fe66... rs6000: avoid peeking eof after __vector (*)
  bd022ff... Daily bump. (*)
  94c1e99... Update gcc.po files (*)
  4b2a662... c++: Implement P2324R2, labels at the end of compound-stmts (*)
  8c97f7f... Fortran: check for non-optional spaces between adjacent key (*)
  8a39c7c... testsuite: Silence analyzer/pr51628-30.c for default_packed (*)
  f08ea45... testsuite: Remove superfluous semicolon [PR105256] (*)
  0b86943... i386: Adjust -fzero-call-used-regs to always use XOR [PR101 (*)
  a742a5d... MAINTAINERS: Update my email address (*)
  0c7bce0... c++: constexpr init of union sub-aggr w/ base [PR105491] (*)
  fcda0ef... Implement permutation with pslldq + psrldq + por when pshuf (*)
  addedd4... [c++][NFC] Rename Attached to Keyed (*)
  49e8f81... MAINTAINERS: Update my email address. (*)
  73a8dce... Simplify STATIC_ASSERT macro. (*)
  1fffe45... Remove non-ANSI C path in ansidecl.h. (*)
  faabc75... tree-optimization/105517 - avoid offset truncation during V (*)
  93416de... Remove GIMPLE restriction of ! using match.pd patterns (*)
  8b59556... Optimize vec_setv8{hi,hf}_0 + pmovzxbq to pmovzxbq. (*)
  655ca5a... [Ada] Suggest use of First_Valid/Last_Valid on type with st (*)
  c329830... [Ada] Raise Constraint_Error when converting negative value (*)
  5c8053d... [Ada] Simplify conversions from Uint to Char_Code (*)
  a252a47... [Ada] Fix invalid memory access on finalization of class-wi (*)
  ebbe480... [Ada] Fully qualify name in JSON representation info (*)
  a746131... [Ada] Remove extra space around binary operators (*)
  348931e... [Ada] Remove CodePeer annotations for pragma Loop_Variant (*)
  785b1b5... [Ada] Prevent inlining-for-proof for calls inside ELSIF con (*)
  d7f5bfe... [Ada] Remove redundant guards for empty list (*)
  f920ab0... [Ada] Fix missing error on actual for In/Out parameter (*)
  00b21aa... [Ada] Fix indentation of "Start of processing for ..." labe (*)
  7ded77b... [Ada] Improve error messages to include full package name (*)
  706940c... [Ada] Set Error_Msg_Warn before use of << insertion (*)
  ea7967e... [Ada] Properly handle unprefixed references to components (*)
  09cca56... [Ada] Fix package installation for private array type of pr (*)
  692a4bf... [Ada] Fix internal error on declaration of derived discrimi (*)
  5081e92... [Ada] Fix visibility inside declare_expression (*)
  f1231d9... [Ada] Fix check for looking for user defined literals (*)
  28fffc4... [Ada] Refine description of SPARK with static Boolean expre (*)
  93e7c91... [Ada] Allow Big_Integer in loop and subprogram variants (*)
  2fe776e... [Ada] Add utility to preanalyze assert expression without f (*)
  eb05097... [Ada] Revamp type resolution for comparison and equality op (*)
  320eb42... [Ada] Use "aspect" instead of "pragma" in warnings (*)
  82bd388... [Ada] vx21.07: stack-checking on ppc (*)
  0e9e014... [Ada] Remove gnattest section from gnat user guide (*)
  9a9d06f... [Ada] Remove repeated analysis of attribute prefixes (*)
  a72fd98... [Ada] Remove redundant call to Set_Etype for attribute Bit_ (*)
  8e13160... [Ada] Remove doubly-negated tests for empty lists (*)
  6b4c99c... [Ada] Remove unused parameter from __gnat_kill (*)
  9a6f757... [Ada] Stabilize exit code on close process (*)
  1e23343... Enable match.pd dumping with -fdump-tree-original (*)
  22d9c88... Come up with {,UN}LIKELY macros. (*)
  27239e1... RISC-V: Fix wrong expansion for arch-canonicalize (*)
  15f0099... Daily bump. (*)
  a1947c9... Daily bump. (*)
  0c723bb... c, c++: attribute format on a ctor with a vbase [PR101833,  (*)
  ea3fbfd... Daily bump. (*)
  fa2d5fc... compiler: remove Array_index_expression::is_lvalue_ (*)
  42991a9... libstdc++: Simplify std::normal_distribution equality opera (*)
  909ef4e... libstdc++: Fix deserialization for std::normal_distribution (*)
  69dd5ca... c++: add color to function decl printing (*)
  e4e053a... vec: fix iterate comment (*)
  967cdbe... c++: empty base constexpr adjustment [PR105245] (*)
  469c76f... libstdc++: ppc: conditionalize vsx-only simd intrinsics (*)
  374b3c9... compiler: error for duplicate bool map keys (*)
  2fb654f... rs6000: Ignore fusion option flags for inlining test [PR102 (*)
  37f57a3... aarch64: remove useless GPF_TF_F16 iterator (*)
  4043f53... OpenMP, libgomp: Add new runtime routine omp_target_is_acce (*)
  aa8bdfe... libstdc++: Fix test that fails on Solaris [PR104731] (*)
  e112e37... libstdc++: Do not include <cxxabi.h> in <stacktrace> (*)
  488d268... libstdc++: Do not use #include inside push visibility scope (*)
  e03a0a4... libstdc++: Update documentation about copyright and GPL not (*)
  1a8c4d9... Add a restriction on allocate clause (OpenMP 5.0) (*)
  8025f29... Update gennews for GCC 12. (*)
  ab869e7... Daily bump. (*)
  2d8752c... libgomp: Update docs to reflect Fortran support for non-rec (*)
  ee91281... c++: wrong error with MVP and pushdecl [PR64679] (*)
  a48be2e... libsanitizer: cherry-pick commit b226894d475b from upstream (*)
  b6b6600... libstdc++: Fixes for tests that fail with -fno-rtti (*)
  b06a79b... [PATCH] i386: Cleanup -m32 usage in the testuite. (*)
  705bced... Fortran: Add support for OMP non-rectangular loops. (*)
  982fd4c... Regenerate gcc.pot (*)
  880456e... Remove loop-incremented dead code. (*)
  6c53cf2... profile: Unify identifier names for profiling (*)
  4b03970... Remove sanity checking in stream_out_histogram_value. (*)
  ee1cb43... tree-optimization/104162 - CSE of &MEM[ptr].a[i] and ptr +  (*)
  92fff39... [Committed] PR testsuite/105486: Use "signed char" in gcc.d (*)
  7ec6fed... libsanitizer: update LOCAL_PATCHES. (*)
  45e69f7... libsanitizer: Apply local patches (*)
  8996894... libsanitizer: merge from master (75f9e83ace52773af65dcebca5 (*)
  f1d8a2d... Embed real_value into REAL_CST (*)
  c2a0d2e... rewrite undefined overflow to defined in ifcombine (*)
  000f448... testsuite/105486 - adjust testcase to avoid misaligned acce (*)
  e1a4114... tree-optimization/105484 - VEC_SET and EH (*)
  938a02a... tree-optimization/104595 - vectorization of COND_EXPR with  (*)
  b9b764b... MAINTAINERS: Add myself as PowerPC port co-maintainer (*)
  3e7db51... Daily bump. (*)
  ae90c2d... libsanitizer: cherry-pick commit f52e365092aa from upstream (*)
  a47ab70... c++: alias CTAD refactoring [PR104470] (*)
  8a98e3f... c++: ICE during aggr CTAD for member tmpl [PR105476] (*)
  1cd3faf... c-family: Tweak -Woverflow diagnostic (*)
  a733dea... c++: wrong parse with functors [PR64679] (*)
  c8df720... c++: optimize reshape_init (*)
  c2e846b... c++: use %D more (*)
  4a20616... libgomp/plugin/plugin-gcn.c: Use -foffload-options= in err  (*)
  d7de15f... Update cpplib es.po (*)
  3f8c389... OpenMP: Fix use_device_{addr,ptr} with in-data-sharing arg (*)
  79a1a01... c++: parse error with >= in template argument list [PR10543 (*)
  22399ad... libstdc++: Add always_inline to the simplest std::array acc (*)
  ef8d5ac... libstdc++: Simplify std::array accessors [PR104719] (*)
  9c6a4be... c++: Remove cdtor_label (*)
  eca04dc... tree-optimization/104658 - avoid mixing mask & non-mask vec (*)
  52b7b86... tree-optimization/103116 - SLP permutes and peeling for gap (*)
  0aa9aa7... Remove dead code. (*)
  3ae5cbf... Fold more vector constants early (*)
  8afcd14... genconditions: Add support for targets without non-trivial  (*)
  7499c13... libsanitizer: update test that mixes fake and real stack (*)
  056d8a8... libsanitizer: Update Makefile.am files. (*)
  22a2a09... libsanitizer: Apply local patches (*)
  f732bf6... libsanitizer: merge from upstream (0a1bcab9f3bf75c4c5d3e53b (*)
  e2285af... arm: Restrict support of vectors of boolean immediates (PR  (*)
  1c8e9be... c++: Don't emit deprecated warnings or unavailable errors o (*)
  3771486... hwasan: support new dg-output format. (*)
  1ba68f7... debug/105158 - improve debug stmt retaining for forwarder r (*)
  c4ae175... LTO plugin: modernize a bit. (*)

(*) This commit already exists in another branch.
    Because the reference `refs/vendors/microsoft/heads/main' matches
    your hooks.email-new-commits-only configuration,
    no separate email is sent for this commit.