[gcc/aoliva/heads/testbase] (249 commits) compiler: traverse expressions when exporting constants

[gcc/aoliva/heads/testbase] (249 commits) compiler: traverse expressions when exporting constants

[Alexandre Oliva]

The branch 'aoliva/heads/testbase' was updated to point to:

 b8944f0438a... compiler: traverse expressions when exporting constants

It previously pointed to:

 90a8eab4a12... [PR105455] Set edge probabilities when hardening conditiona

Diff:

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

  b8944f0... compiler: traverse expressions when exporting constants (*)
  1cda629... Daily bump. (*)
  7da9a08... c: Implement new -Wenum-int-mismatch warning [PR105131] (*)
  1875214... Revert move of g++.dg/pr69667.C (*)
  c86b726... x86: Fix -fsplit-stack feature detection via  TARGET_CAN_SP (*)
  4a9be8d... Correct ix86_rtx_cost for multi-word multiplication. (*)
  30405cc... Avoid andn and generate shorter not;and with -Oz on x86. (*)
  60fdce1... c, c++: -Wswitch warning on [[maybe_unused]] enumerator [PR (*)
  dfe38b8... c++: fix SIGFPE with -Wclass-memaccess [PR105634] (*)
  0d189b1... Reduce usage of limited_with clauses with -fdump-ada-spec (*)
  297a690... testsuite/rs6000: Move pr83660.C to g++.target (*)
  21e2bc9... graphite: Extend SCoP detection dump output (*)
  65851d6... demangler: Reorganize for module demangling (*)
  86f6440... 'include/cuda/cuda.h': Add parts necessary for nvptx-tools  (*)
  bdd1dc1... 'include/cuda/cuda.h': For C++, wrap in 'extern "C"' (*)
  ba85636... OpenMP: Add Fortran support for inoutset depend-kind (*)
  9f068ad... [Ada] Fix proof of runtime unit s-imageu (*)
  17cd8bf... [Ada] qnx-7.1: warning in sigtramp-qnx.c __gnat_sigtramp (*)
  6999173... [Ada] arm-qnx-7.1: stack-checking and sigtramp implementati (*)
  c6c9b82... [Ada] Adapt proof of double arithmetic runtime unit (*)
  6f8f9d1... [Ada] Fix proof of runtime unit s-valeu (*)
  df4451c... [Ada] Make sure output variable is always initialized (*)
  8502433... [Ada] Disable Vet calls when container checks are disabled (*)
  db67182... [Ada] arm-qnx-7.1: undefined reference to fma* symbols (*)
  91b46ee... [Ada] Fix DWARF parsing for 32-bit targets on 64-bit hosts (*)
  72de114... [Ada] Improve error messages for occurrence of GNAT extensi (*)
  b271095... [Ada] Fix Ada-QNX task priority conversion (*)
  ef07419... [Ada] Use specific predicate before manipulating BIP_Alloc_ (*)
  ddb8255... [Ada] Crash building VSS with compiler built with assertion (*)
  337c80a... [Ada] Ada2022: AI12-0143 Index attribute for entry families (*)
  3c63f73... [Ada] Fix proof of runtime units (*)
  5b0e8d6... [Ada] Errors missed on ACATS test B650007 (*)
  9af8c27... [Ada] Fix the parsing for delta aggregate (*)
  dea655a... [Ada] Secondary stack and a-tags (*)
  7c77ec1... [Ada] Fix problematic underflow for Float_Type'Value (*)
  ba89624... [Ada] Spurious error on freezing of tagged types in SPARK (*)
  8e4f370... [Ada] Rework optimization skipping pragma check in object d (*)
  de02cb5... [Ada] Fix internal error on subprogram instantiation (*)
  df61c5d... [Ada] Overriding error on type derived from discriminated u (*)
  16b8ba1... [Ada] Prevent overflow in computation of aggregate size (*)
  8b49556... [Ada] Fast implementation of floating-point mathematical fu (*)
  54cf660... [Ada] Freezing too strict in instances (*)
  5488c78... [Ada] Fix incorrect freezing with generic child unit (*)
  bf7143f... [Ada] Ada.Numerics.Aux.*: Mention more Intrinsic and less C (*)
  700cd7d... [Ada] Small performance tweak in recent change (*)
  1ef3f09... [Ada] New port arm-qnx (*)
  9d1336d... Enhance final_value_replacement_loop to handle bitwise indu (*)
  a174dc1... This patch adds a combine pattern for "CA minus one". The S (*)
  102237c... recognize bzhi pattern when there's zero_extendsidi. (*)
  850a13d... Expand __builtin_memcmp_eq with ptest for OImode. (*)
  c6e36f0... rs6000: Prefer assigning the MMA vector operands to altivec (*)
  3d9439b... Daily bump. (*)
  1bfb823... compiler: load LHS subexpressions of op= assignment only on (*)
  2b0c837... c++: constexpr ref to array of array [PR102307] (*)
  2c05a2d... c: use CONST_DECL for enumerators in TYPE_VALUES (*)
  2ee68be... Fix register count when not splitting Complex IEEE 128-bit  (*)
  4755447... OpenMP: Skip target-nesting warning for reverse offload (*)
  ddb1427... libstdc++: Relax memory ordering for default memory resourc (*)
  5c2d703... libstdc++: Add attributes to functions in <memory_resource> (*)
  5f1ce85... libstdc++: Add attributes to <system_error> and related (*)
  c985215... Revert 'Use more ARRAY_SIZE.' for mkoffload (*)
  b750173... Add side effect infrastructure. (*)
  451894c... demangler: Structured Bindings (*)
  7a3f38a... PR105169 Fix references to discarded sections (*)
  941efd8... Do not clear bb->aux in duplicate_loop_body_to_header_edge (*)
  6101a27... Check for equivalence after merging relations. (*)
  61a6923... i386: Fix ICE in final_scan_insn_1 [PR105624] (*)
  741478e... libgomp: Clarify that omp_display_env is fully implemented (*)
  cd4a0dd... Advise to call 'internal_error' instead of 'abort' or 'fanc (*)
  0f00ebf... graphite: Fix minor mistakes in comments (*)
  0cca1c2... graphite: Rename isl_id_for_ssa_name (*)
  61fe7b7... libgomp.texi: Document OpenMP context selectors (*)
  ebe5dac... gcn/t-omp-device: Add 'amdgcn' as 'arch' [PR105602] (*)
  2c16eb3... openmp: Add support for inoutset depend-kind (*)
  1815462... libstdc++: Skip tests that fail for the versioned namespace (*)
  357d6fc... libstdc++: Stop defining C++0x compat symbols for versioned (*)
  472aecb... libgomp.texi: Add OpenMP 5.2 implementation status (*)
  254cbf7... i386: Fix up V2DI and V1TI inequality comparisons [PR105613 (*)
  4f94c38... OpenMP: Add omp_all_memory support to Fortran (*)
  ebce0e9... tree-optimization/105618 - restore load sinking (*)
  33400df... [Ada] Restore defensive guard in checks for volatile actual (*)
  de0665f... [Ada] Subprogram renaming fails to hide homograph (*)
  a51b601... [Ada] CUDA: remove code performing kernel registration (*)
  5ab656c... [Ada] Enhance the warning on C enum with size clause for si (*)
  3c802e9... [Ada] Allow inlining for proof inside generics (*)
  867bf6f... [Ada] Provide allocation subtype for allocators of a Design (*)
  f2ef7a0... [Ada] Cleanups related to front-end SJLJ (*)
  26b0b2d... [Ada] GNAT.Binary_Search is not internal (*)
  5c44da0... [Ada] Fix insertion of declaration inside quantified expres (*)
  5dbb656... [Ada] Fix Forced sign flag in formatted string (*)
  42fe7c9... [Ada] Fix small glitch in Expand_N_Full_Type_Declaration (*)
  80d1067... [Ada] Requires_Cleanup_Actions and N_Protected_Body (*)
  b81c9e4... [Ada] Output.w always writes to stderr (*)
  a2bcadc... [Ada] Generic binary search implementation (*)
  ca3e565... [Ada] Fix bogus visibility error with partially parameteriz (*)
  27b2b83... [Ada] Take full view of private type (*)
  c21a009... [Ada] Allow 'Reduce with -gnat2022 (*)
  6e2d6b8... [Ada] Don't create calls to Abort_Undefer when not Abort_Al (*)
  98208e3... [Ada] Typo fix in finalization comment (*)
  83bfdda... [Ada] Initialize Compiler_State to avoid Constraint_Error (*)
  d678717... [Ada] Deal with derived record types in Has_Compatible_Repr (*)
  e2f7d58... [Ada] Streamline implementation of Has_Compatible_Represent (*)
  87a6558... [Ada] Remove superfluous call to Original_Node (*)
  6c72dc7... [Ada] Crash freezing declaration that will raise constraint (*)
  c30e5ab... [Ada] Spurious error on subprogram with class-wide precondi (*)
  d409061... [Ada] Use Actions field of freeze nodes for subprograms (*)
  a08f366... [Ada] Implement calls to abstract subprograms in class-wide (*)
  8fc021c... [Ada] Fix documentation of using attribute Loop_Entry in pr (*)
  7cff436... [Ada] Check token to be "access", reject it if not (*)
  bc17882... [Ada] Enable current value propagation within pragma expres (*)
  bc9aa45... forwprop: Fix a typo and comment formatting (*)
  105c56a... Optimize vpermtiw/b to vpunpcklqdq for certain cases. (*)
  1fba060... Clamp vec_perm_expr index in simplify_bitfield_ref to avoid (*)
  702bd11... Daily bump. (*)
  ed12749... attribs: fix typedefs in generic code [PR105492] (*)
  2402dc6... analyzer: implement four new warnings for <stdarg.h> misuse (*)
  5eb9927... d: Merge upstream dmd 60bfa0ee7, druntime 94bd5bcb, phobos  (*)
  682e587... libstdc++: Fix hyperlink in docs (*)
  8414dad... libstdc++: Update C++23 status docs (*)
  4361867... libstdc++: Add C++23 status docs (*)
  6464882... libstdc++: Fix status docs for <bit> support (*)
  6f5b060... Finish gimple_build API enhancement (*)
  adace78... Move code_helper to tree.h (*)
  ef7b897... rtl-optimization/105577 - testcase for the PR (*)
  6230911... ipa/105598 - testcase for PR105598 (*)
  8ab53e6... opts-global.cc: document last change (*)
  cc7cd8d... Do not use DW_OP_not for TRUTH_NOT_EXPR in conditional expr (*)
  b90e43d... [Ada] Fix fallout of change in equality for untagged record (*)
  7e0c853... [Ada] Fix expansion of attribute Loop_Entry wrt value propa (*)
  20652c7... [Ada] Remove useless code related to current value propagat (*)
  b32b519... [Ada] Type invariant or postcondition may cause uninitializ (*)
  26bbf0e... [Ada] Freeze target type on qualified expression expansion (*)
  c1e0079... [Ada] Fix proof of double arithmetic units (*)
  9eb5504... [Ada] Don't crash on ghost packages when emitting CUDA symb (*)
  f29e9e8... [Ada] GNAT.Debug_Pools: Improve documentation of the Stack_ (*)
  1bdf9fa... [Ada] sigaction result not properly checked in __gnat_insta (*)
  839e7f1... [Ada] Fix thinko in QNX's implementation of __gnat_install_ (*)
  9abb17d... [Ada] Add <stdlib.h> #include in cstreams.c (*)
  dec636b... [Ada] replace call to bzero in terminals.c by call to memse (*)
  21f8b41... [Ada] Revise Storage_Model_Support operations to do checks  (*)
  ae745a0... [Ada] Handle case-expression inside if-expression in -gnato (*)
  7d8e3f5... [Ada] Update comment justifying non-inlining for proof insi (*)
  aacbf37... [Ada] Fix iterated element association loop var escaping lo (*)
  e4acb82... [Ada] Fix internal error on iterated array aggregate (*)
  e6bdaa0... [Ada] Accept calls to abstract subprograms in class-wide pr (*)
  146ea83... [Ada] Fix internal error on mix of controlled and protected (*)
  861b78a... [Ada] Fix internal error on predicate aspect with iterator (*)
  7c88e46... [Ada] Implement component finalization ordering rules for t (*)
  909ce35... [Ada] Fix implementation issues with equality for untagged  (*)
  9a39b25... [Ada] Remove duplicated detection of user-defined equality (*)
  90fadb5... [Ada] Improve building of untagged equality (*)
  d12b8e9... [Ada] Map gnatlib-shared to gnatlib-shared-dual for aarch64 (*)
  2878027... [Ada] Couple of small consistency tweaks (*)
  82ca748... [Ada] Fix spurious error on limited view with incomplete ty (*)
  4e8b88f... [Ada] Pick volatile refinement property of a subtype from i (*)
  457fb33... [Ada] Clarify code for detecting volatile refinement proper (*)
  07ee67a... [Ada] Remove duplicated code for detecting enabled pragmas (*)
  ca32b29... Use more ARRAY_SIZE. (*)
  b4fb9f4... OpenMP, C++: Add template support for the has_device_addr c (*)
  ec69db6... Fix ubsan error in opts-global.cc (*)
  9a53101... Add MIN/MAX folding from fold_cond_expr_with_comparison to  (*)
  69c4b5c... Fix ICE caused by wrong condition. (*)
  ac6a32f... Daily bump. (*)
  1854787... i386: Remove constraints when used with constant integer pr (*)
  4df735e... c++: hidden friend access [DR1699] (*)
  87e1f02... c++: parsing injected-class-name as template (*)
  ce46d60... c++: array {}-init [PR105589] (*)
  c539768... Daily bump. (*)
  9df4ffe... Daily bump. (*)
  62ecd2b... c++: Add fixed test [PR81952] (*)
  dd7813f... compiler: always sort interface parse methods (*)
  d75d429... Improved V1TI (and V2DI) mode equality/inequality on x86_64 (*)
  14e678a... rs6000: Remove a few needless 'lp64' contraints. (*)
  eccbd7f... rs6000: Move g++.dg powerpc PR tests to g++.target (*)
  1fe04c4... PR tree-optimization/83907: Improved memset handling in str (*)
  16f7fca... RISC-V: Implement C[LT]Z_DEFINED_VALUE_AT_ZERO (*)
  7f40ac3... libstdc++: Make std::thread::_State private (*)
  8659bcd... libstdc++: Add noexcept to std::launch operators (*)
  c829b04... libstdc++: Allow std::swap to find overload for std::except (*)
  c470f3e... libstdc++: Make std::rethrow_if_nested work without RTTI (*)
  e97e992... Check operand for type, not LHS. (*)
  70d624f... libgomp.fortran/target-nowait-array-section.f90: Fix typo (*)
  a46d626... OpenMP/Fortran: Use firstprivat not alloc for ptr attach fo (*)
  bc25483... [AArch64] add barriers to ool __sync builtins (*)
  010af10... testsuite: btf: Fix btf-datasec-1.c for RISC-V (*)
  dc32901... testsuite: opt: Fix const7.C for RISC-V. (*)
  ade5531... Move VREL values to their own enumerated type. (*)
  f3204ce... Return a bool result for union, and add performance improve (*)
  1d3d7e8... Add a return value to intersect and speed it up. (*)
  98e475a... Fix return value in ranger_cache::get_global_range. (*)
  b0ad41c... MAINTAINERS: Add myself to write after approval (*)
  cf2141a... Add relation between op1 & op2 to lhs_opN_relation API. (*)
  0ee9a62... c++: Local symbols do not get module manglings (*)
  af34279... Export global ranges during the VRP block walk. (*)
  602a316... Clear killing defs when resetting the path in path_oracle. (*)
  6b15604... Make range_from_dom more effective. (*)
  b584cbd... libstdc++: Improve doxygen docs for <mutex> (*)
  a278402... libstdc++: Improve doxygen docs for some of <memory> (*)
  c29c2a0... libstdc++: Improve doxygen docs for <thread> and <future> (*)
  e614925... libstdc++: Improve doxygen docs for algorithms and more (*)
  171f41f... libstdc++: Improve doxygen docs for std::allocator (*)
  1b01963... libstdc++: Improve doxygen docs for <regex> (*)
  1566ca0... libstdc++: Improve doxygen docs for <atomic> (*)
  20b917e... libstdc++: Improve doxygen docs for <system_error> (*)
  757146f... libstdc++: Improve doxygen docs for std::pointer_traits (*)
  e4905f1... libstdc++: Add macros for the inline namespace std::_V2 (*)
  4163b0b... libstdc++: Fix typo in doxygen @headerfile command (*)
  9c3a8fe... libstdc++: Disable Doxygen GROUP_NESTED_COMPOUNDS config op (*)
  1f89e48... libgomp nvptx plugin: Only consider '--with-cuda-driver=[.. (*)
  04c0a88... Avoid visiting newly-created blocks in harden-conditionals (*)
  6aaa1d5... ada: gcc-if: build proper String_Pointer for Get_External_N (*)
  9a79854... Introduce tests for hardbool Machine_Attribute for Ada (*)
  6a11672... arm: correctly handle misaligned MEMs on MVE [PR105463] (*)
  485a0ae... arm: fix some issues in mve_vector_mem_operand (*)
  112447f... xtensa: Reflect the 32-bit Integer Divide Option (*)
  d543bac... xtensa: Rename deprecated extv/extzv insn patterns to extvs (*)
  7b84420... Fix wrong SRA with VIEW_CONVERT_EXPR and reverse SSO (*)
  c77e487... [Ada] Fix incorrect call to inherited function with limited (*)
  ba75fee... [Ada] Storage_Model_Object fails to return object entity (*)
  d663778... [Ada] Compiler crash on -gnata -O2 (*)
  78e2638... [Ada] Only use alternate stack when needed (*)
  8150f29... [Ada] Extend hardcfr testing (documentation) (*)
  a2cff9e... [Ada] CUDA: use binder to generate kernel-registration code (*)
  e358460... [Ada] Fix iterated component association for array aggregat (*)
  4c9a818... [Ada] Simplify helper units for formal hashed sets/maps (*)
  f8e12e7... [Ada] Adapt body of formal sets and maps for SPARK (*)
  2e2f53d... [Ada] Remove dependency on tampering checks and controlled  (*)
  6d22fb1... [Ada] Ada ABI change when building with assertions (*)
  17a89d8... [Ada] Take into account GNSA_ROOT env var for prefix (*)
  b77029f... [Ada] Implement late initialization rules for type extensio (*)
  7b6fa64... [Ada] Handle IN iterator for class-wide derived object of i (*)
  3fe35ab... [Ada] Facilitate proof of Overwrite in bounded strings libr (*)
  9e5b1b0... [Ada] Fix code example on representation clause (*)
  85df624... [Ada] Do not overwrite limited view of result type (*)
  18e2787... [Ada] Wrong address for class-wide interface access convers (*)
  fafccfb... [Ada] Crash in task body reference to discriminant (*)
  6a28d40... [Ada] Improve expected type error messages (*)
  cf54619... [Ada] Document control flow redundancy (*)
  0145570... [Ada] Fix compiler crash on FOR iteration scheme over conta (*)
  83bacaa... [Ada] Remove obsolete uses of Unchecked_Conversion from Ada (*)
  cb50998... [Ada] Remove obsolete uses of Unchecked_Deallocation from A (*)
  84f2013... [Ada] Fix the Ada 2022 iterated component association RM re (*)
  9bea1bd... [Ada] Fix typo on "that" (*)
  fa45988... [Ada] Spurious access error in function returning type with (*)
  74ce1d5... [Ada] Accept effectively volatile components in actuals (*)
  7427e67... [Ada] Remove redundant guard in checks for volatile actuals (*)
  8a8366d... [Ada] Ineffective use type clause warnings cause compile ti (*)
  bac63f1... testsuite: Make AArch64 attributes_7.c generate unique repo (*)
  ba20688... Make gimple_build main workers more flexible (*)

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