[gcc/aoliva/heads/testme] (298 commits) hardcfr: optionally disable in leaf functions

[gcc/aoliva/heads/testme] (298 commits) hardcfr: optionally disable in leaf functions

[Alexandre Oliva]

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

 3559895d311... hardcfr: optionally disable in leaf functions

It previously pointed to:

 4f3a3ac0d0a... hardcfr: mark expected-throw functions

Diff:

!!! WARNING: THE FOLLOWING COMMITS ARE NO LONGER ACCESSIBLE (LOST):
-------------------------------------------------------------------

  4f3a3ac... hardcfr: mark expected-throw functions
  293dd3e... hardcfr: mark throw-expected functions [ada/gcc-interface]
  52c6464... hardcfr: mark throw-expected functions [ada doc]
  2e42fb0... hardcfr: add optional checkpoints
  97a558c... hardcfr: add optional checkpoints [ada docs]
  29e5630... Control flow redundancy hardening


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

  3559895... hardcfr: optionally disable in leaf functions
  4273bf6... hardcfr: prevent deferred sets of visited bitmap
  e7149e1... Add leafy mode for zero-call-used-regs
  a2b78e7... Expose expected_throw attribute
  2bf4500... Expose expected_throw attribute
  b96bdb8... Expose expected_throw attribute
  20c7519... hardcfr: mark expected-throw functions
  13aa3c2... hardcfr: mark throw-expected functions [ada/gcc-interface]
  0b7fbc9... hardcfr: mark throw-expected functions [ada doc]
  20608bc... hardcfr: add optional checkpoints
  1cdf099... hardcfr: add optional checkpoints [ada docs]
  437015e... Control flow redundancy hardening
  5e1538c... c: C2x %wN, %wfN format checking (*)
  f006827... Always check result from build_<COND> in range-op-float.cc (*)
  ebe87ed... analyzer: fix ICE on __builtin_ms_va_copy [PR105765] (*)
  fb4db9b... libstdc++: Implement remaining P2474R2 changes to views::ta (*)
  b3c98d6... c++: Mitigate -Wuseless-cast with classes [PR85043] (*)
  79d38dd... testsuite: Default make check-g++ vs. tests for newest C++  (*)
  a10d6b5... libstdc++: Fix typo in stride_view's operator- [PR107313] (*)
  a01eae6... testsuite: Fix up c2x-enum-1.c for 32-bit arches [PR107311] (*)
  69a2336... Use Value_Range when applying inferred ranges. (*)
  47684e5... libstdc++/thread: Implement `_GLIBCXX_NPROCS` for Windows (*)
  d329698... [PR tree-optimization/107312] Make range_true_and_false wor (*)
  f036d75... gcc: Add 'mcf' thread model support from mcfgthread (*)
  f3b957e... pch: Fix streaming of strings with embedded null bytes (*)
  09fed44... avr: remove useless @tie{} directives (*)
  f6c168f... SRA: Limit replacement creation for accesses propagated fro (*)
  cb994ac... IBM zSystems: Fix function_ok_for_sibcall [PR106355] (*)
  4f3f029... xtensa: Prepare the transition from Reload to LRA (*)
  95c5cff... s390: Fix bootstrap error with checking and -m31. (*)
  65b98fc... expr: Fix ICE on BFmode -> SFmode conversion of constant [P (*)
  07cc4c1... match.pd: Add 2 TYPE_OVERFLOW_SANITIZED checks [PR106990] (*)
  ba281da... libstdc++-v3: Implement {,b}float16_t nextafter and some fi (*)
  8f7df33... i386: Fix up __bf16 handling on ia32 (*)
  32ab923... tree-optimization/106781 - adjust cgraph lhs removal (*)
  75f7ff1... libsanitizer: regenerate configure (*)
  1442e20... Canonicalize vec_perm index to make the first index come fr (*)
  21de009... Daily bump. (*)
  f5f1d92... c: Diagnose "enum tag;" after definition [PR107164] (*)
  cc694f4... testsuite: Only run -fcf-protection test on i?86/x86_64 [PR (*)
  885b666... libiberty: Fix C89-isms in configure tests (*)
  6be2672... libsanitizer: Avoid implicit function declaration in config (*)
  0101137... c++ modules: stream non-trailing default targs [PR105045] (*)
  c70b44f... libstdc++: Implement ranges::stride_view from P1899R3 (*)
  3b3083a... c: C2x enums wider than int [PR36113] (*)
  656b233... ipa-cp: Better representation of aggregate values in call c (*)
  e0403e9... ipa-cp: Better representation of aggregate values we clone  (*)
  e73fe9e... libgcc: Quote variable in Makefile.in (*)
  92ef782... tree-optimization/107302 - fix vec_perm placement for recur (*)
  aae016f... ifcvt: Do not lower bitfields if we can't analyze dr's [PR1 (*)
  a23225f... libstdc++: Partial library support for std::float{16,32,64, (*)
  4dda30e... middle-end IFN_ASSUME support [PR106654] (*)
  5ad3cc1... tree-optimization/107301 - check if we can duplicate block  (*)
  3510638... Move scanning pass of forwprop-19.c to dse1 for r13-3212-gb (*)
  0205fbb... Merge partial relation precisions properly (*)
  6237663... Daily bump. (*)
  4374c42... Fix bogus RTL on the H8. (*)
  19859bd... More infrastructure to avoid bogus RTL on H8. (*)
  f6e93b7... Remove accidential commits (*)
  566c5f1... Enable REE for H8 (*)
  43ee3f6... Add missing splitter for H8 (*)
  9072db9... x86: Check corrupted return address when unwinding stack (*)
  84807af... Fortran: NULL pointer dereference in gfc_simplify_image_ind (*)
  c9b840d... Make sure exported range for SSA post-dominates the DEF in  (*)
  d45af5c... Fortran: handle bad array ctors with typespec [PR93483, PR1 (*)
  34cecde... Fortran: check type of operands of logical operations, comp (*)
  8950288... Fortran: Fixes for kind=4 characters strings [PR107266] (*)
  3bd5d9a... c++ modules: streaming constexpr_fundef [PR101449] (*)
  01d7d45... [PR tree-optimization/105820] Add test. (*)
  cb1edef... Do not test for -Inf when flag_finite_math_only. (*)
  7896a31... Add 3 floating NAN tests. (*)
  b565ac1... Add relation_trio class for range-ops. (*)
  04874fe... Fix nan updating in range-ops. (*)
  fca5295... Don't set useless relations. (*)
  612de72... GCN: Restore build with GCC 4.8 (*)
  aeb1e2b... Tag 'gcc/gimple-expr.cc:mark_addressable_2' as 'static' (*)
  b617966... Fix nvptx-specific '-foffload-options' syntax in 'libgomp.c (*)
  46a8e01... Vectorization of first-order recurrences (*)
  acdb241... libgcc: Move cfa_how into potential padding in struct frame (*)
  0f48155... libstdc++: Fix value of __cpp_lib_constexpr_charconv (*)
  59af5e0... RISC-V: Fix format[NFC] (*)
  0ea578e... RISC-V: Reorganize mangle_builtin_type.[NFC] (*)
  f10b9f6... elf: ELF toolchain --without-{headers, newlib} should provi (*)
  fd206f0... Initial Meteorlake Support (*)
  470a065... Initial Raptorlake Support (*)
  aedf7eb... Daily bump. (*)
  6366e3e... Add new constraints for upcoming autoinc fixes (*)
  709b216... Rename "z" constraint to "Zz" on the H8/300 (*)
  6c3da5c... Fix bug in register move costing on H8/300 (*)
  8f605de... Daily bump. (*)
  030a08c... libstdc++: Fix -Wunused-function warning in src/c++11/debug (*)
  378a0f1... libstdc++: Implement constexpr std::to_chars for C++23 (P22 (*)
  e24b430... libstdc++: Fix uses_allocator_construction args for cv pair (*)
  baeec7c... Daily bump. (*)
  36d20fa... preprocessor: C2x identifier rules (*)
  89f20c9... Fortran: fix check of polymorphic elements in data transfer (*)
  b4a4c63... Implement distinction between HONOR_SIGNED_ZEROS and MODE_H (*)
  8efc383... Implement range-op entry for __builtin_copysign. (*)
  3760dd5... gfortran.dg/c-interop/deferred-character-2.f90: Fix dg-do (*)
  3dfeda0... Check rvc_normal in real_isdenormal. (*)
  0dd9dd1... libstdc++: Disable all emergency EH pool code if obj-count  (*)
  cf0b7e9... libstdc++: Simplify print_raw function for debug assertions (*)
  823e909... Replace CFN_BUILTIN_SIGNBIT* cases with CASE_FLT_FN. (*)
  464f050... Normalize ranges over the range for both bounds when -ffini (*)
  2e252f5... Drop -0.0 in frange::set() for !HONOR_SIGNED_ZEROS. (*)
  d6a488f... c++ modules: ICE with dynamic_cast [PR106304] (*)
  a75e9be... Add cases for CFN_BUILT_IN_SIGNBIT[FL]. (*)
  9ed4a84... tree-optimization/107254 - check and support live lanes fro (*)
  e39b170... Fix PR target/107248 (*)
  6e8ce5d... libstdc++: Use markdown in Doxygen comment (*)
  98fef35... gcov: test line count for label in then/else block (*)
  4b04292... gcov: test switch/break line counts (*)
  c2565a3... middle-end, c++, i386, libgcc: std::bfloat16_t and __bf16 a (*)
  16ec267... c++: Excess precision for ? int : float or int == float [PR (*)
  98e3411... c++: Implement excess precision support for C++ [PR107097,  (*)
  1898163... c: C2x storage class specifiers in compound literals (*)
  621a911... Daily bump. (*)
  c26d335... Fix bogus -Wstringop-overflow warning (*)
  537e08c... c++: trivial formatting cleanups (*)
  99da523... analyzer: fix ICE introduced in r13-3168 [PR107210] (*)
  ab8477a... libgomp: Add Fortran testcases for omp_in_explicit_task (*)
  c853d65... Fix emit_group_store regression on big-endian (*)
  fc748d4... use proper DECL_INITIAL for VTV (*)
  6cc3394... propagate partial equivs in the cache. (*)
  d75be7e... Add partial equivalence recognition to cast and bitwise and (*)
  aa05838... Add equivalence iterator to relation oracle. (*)
  b556341... Add partial equivalence support to the relation oracle. (*)
  3130e70... c++: ICE with VEC_INIT_EXPR and defarg [PR106925] (*)
  e5139d1... tree-optimization/107247 - reduce SLP reduction accumulator (*)
  4b79661... machmode: Introduce GET_MODE_NEXT_MODE with previous GET_MO (*)
  1cccf64... [AArch64] Improve bit tests [PR105773] (*)
  5cbaf84... tree-optimization/107160 - avoid reusing multiple accumulat (*)
  5364b42... Add op1_op2_relation for float operands. (*)
  786e4c0... diagnose return statement in match.pd (with { ... } express (*)
  9f0d4ad... ifcvt: Fix bitpos calculation in bitfield lowering [PR10722 (*)
  6f653a2... LoongArch: implement count_{leading,trailing}_zeros (*)
  7f9a746... vect: Don't pattern match BITFIELD_REF's of non-integrals [ (*)
  7c05988... LoongArch: Fixed a bug in the loongarch architecture of lib (*)
  e867f6b... c: Do not use *_IS_IEC_60559 == 2 (*)
  781f477... Daily bump. (*)
  ddb7f0a... preprocessor: Fix tracking of system header state [PR60014, (*)
  f77281b... libstdc++: Add __gnu_debug::basic_string<>::compare overloa (*)
  bc0d700... c++: Remove maybe-rvalue OR in implicit move (*)
  a0c1a05... Add range-op entry for floating point NEGATE_EXPR. (*)
  7858368... Fortran: check types of operands of arithmetic binary opera (*)
  caf9db5... libgomp: Fix up OpenMP 5.2 feature bullet (*)
  0ec4e93... libgomp: Add omp_in_explicit_task support (*)
  a58a965... libgomp: Fix up creation of artificial teams (*)
  9bf7408... c++: defer all consteval in default args [DR2631] (*)
  bfcd9f8... libstdc++: Implement ranges::repeat_view from P2474R2 (*)
  fbf4233... RISC-V: Remove TUPLE size macro define. [NFC] (*)
  0af2b2f... RISC-V: Apply clang-format for riscv-vector-builtins.* [NFC (*)
  ef0d797... RISC-V: Refine register_builtin_types function. [NFC] (*)
  fcb94f5... RISC-V: Move function place to make it looks better. [NFC] (*)
  11c72f2... Remove AVX512_VP2INTERSECT from PTA_SAPPHIRERAPIDS (*)
  80077ae... MAINTAINERS: Add myself for write after approval (*)
  a9c83fb... gcov: rename gcov_write_summary (*)
  6d2294a... regenerate configure files (*)
  1c0670c... Add stubs for floating point range-op tests. (*)
  658788f... Add method to query the sign of a NAN. (*)
  6ce0823... Disable tree to bool conversion in frange::update_nan. (*)
  a901343... Add an frange(type) constructor analogous to the irange ver (*)
  bb00d09... Add default relation_kind to floating point range-op entrie (*)
  9d9e793... Libvtv-test: Fix bug that scansarif.exp cannot be found in  (*)
  ab332cd... Daily bump. (*)
  2c328e5... Enable support for atomic primitives on SPARC/Linux (*)
  5395528... Fortran: check types of source expressions before conversio (*)
  23c3cba... libstdc++: Fix bootstrap for --disable-threads build [PR107 (*)
  9736a42... c++ modules: ICE with templated friend and std namespace [P (*)
  2ceb4d5... c++ modules: lazy loading from within template [PR99377] (*)
  637e366... libstdc++: Allow emergency EH alloc pool size to be tuned [ (*)
  576d524... Avoid calling tracer.trailer() twice. (*)
  b65945e... i386: Fix up RTL checking ICE [PR107185] (*)
  706d858... Implement ABS_EXPR operator for frange. (*)
  fe7371e... Implement op1_range operators for unordered comparisons. (*)
  4cbc312... Share common ordered comparison code with UN*_EXPR. (*)
  ad7cff6... Move TRUE case first in range-op.cc. (*)
  0fa35c7... libiberty: Demangling 'M' prefixes (*)
  ee46764... tree-optimization/107212 - SLP reduction of reduction paths (*)
  bd9a055... amdgcn: vector testsuite tweaks (*)
  bf6b5c7... amdgcn: Add vector integer negate insn (*)
  769a10d... amdgcn: vec_init for multiple vector sizes (*)
  5cfe085... amdgcn: Add vec_extract for partial vectors (*)
  0d8753c... amdgcn: Resolve insn conditions at compile time (*)
  45381d6... amdgcn: add multiple vector sizes (*)
  25413fd... vect: Teach vectorizer how to handle bitfield accesses (*)
  498ad73... Add define_insn_and_split to support general version of "kx (*)
  c4d15dd... [PR107195] Set range to zero when nonzero mask is 0. (*)
  0ecd0f1... Generic configury support for shared libs on VxWorks (*)
  46325c1... Tigthen the addition of -lgcc_eh to vxworks_libgcc_spec (*)
  70d81e3... ranger: add override keyword (*)
  80f414e... Fix PR107193. (*)
  b88adba... Optimize nested permutation to single VEC_PERM_EXPR [PR5434 (*)
  db24bdc... [PR rtl-optimization/107182] Clear EDGE_CROSSING for jump-> (*)
  d2efb10... RISC-V: move struct vector_type_info from *.h to *.cc and c (*)
  1627d05... RISC-V: Add missing vsetvl instruction type. (*)
  27bfe54... Daily bump. (*)
  7af6a80... Add cpplib ro.po (*)
  c7cb239... c++: Lambda context mangling (*)
  29b0fe3... compiler: treat S("") as a string constant (*)
  0f6efd3... compiler: only build thunk struct type when it is needed (*)
  1d2f07e... libstdc++: Revert addition of constraints to make_signed/ma (*)
  67efffe... c-family: ICE with [[gnu::nocf_check]] [PR106937] (*)
  248c8ae... Don't ICE running selftests if errors were raised [PR99723] (*)
  d0bbecb... RISC-V: Add riscv_vector.h wrapper in testsuite to prevent  (*)
  99e9796... RISC-V: Adjust testcase for rvv/base/user-1.c (*)
  684d238... RISC-V: Add newline to the end of file [NFC] (*)
  80cb09d... Make range-op-float entries public. (*)
  e23f7da... Add frange::maybe_isnan (bool sign). (*)
  69988cd... The true side of x != x should set NAN. (*)
  58fa216... x UNORD x should set NAN on the TRUE side (and !NAN on the  (*)
  8b6bced... Return non-legacy ranges in range.h. (*)
  2bd112d... libstdc++: std::make_signed_t<cv bool> should be ill-formed (*)
  a99f511... Require fgraphite effective target for pr107153.c test [PR1 (*)
  98ad452... Add op1_range for __builtin_signbit. (*)
  9b8520f... Fix unrecognizable insn of cvtss2si. (*)
  70f66a4... openmp, fortran: Fix up IFN_ASSUME call (*)
  59d2785... arc: Remove obsolete mRcq and mRcw options. (*)
  e8f5074... arc: Remove Rcq constraint. (*)
  5ebbdf9... arc: Remove Rcw constraint (*)
  af681e9... arc: Remove Rcr constraint (*)
  5e81df8... arc: Use negative enter pattern instruction's offsets (*)
  decbb5b... libgfortran: Use `__gthread_t` instead of `pthread_t` (*)
  570eb45... Daily bump. (*)
  e95e91e... pru: Add cbranchdi4 pattern (*)
  73137f3... pru: Optimize DI shifts (*)
  66c48be... MIPS: improve -march=native arch detection (*)
  d7346a3... Daily bump. (*)
  705ed42... Fortran: error recovery for invalid types in array construc (*)
  6ffbf87... c++: track whether we expect a TARGET_EXPR to be elided (*)
  9ff6c33... Daily bump. (*)
  895dd02... c++: fixes for derived-to-base reference binding [PR107085] (*)
  f30e9fd... Set discriminators for call stmts on the same line within t (*)
  b9ad850... Use array_at_struct_end_p in __builtin_object_size [PR10183 (*)
  1879e48... Add a new option -fstrict-flex-arrays[=n] and new attribute (*)
  21e51a5... Specialize paths to version.h in _vxworks-versions.h (*)
  f09b995... analyzer: extract bits from integer constants [PR105783] (*)
  eb491ea... libiberty: Demangle variadic template lambdas (*)
  f7f4628... c++ modules: ICE with bitfield in class template (*)
  f8ba88b... c++: catch parm initialization tweak (*)
  1a30890... IPA: support -flto + -flive-patching=inline-clone (*)
  edbb255... c++ modules: static var in inline function [PR104433] (*)
  d3e5465... gimplify: prevent some C++ temporary elision (*)
  89228e3... tree-optimization/107153 - autopar SSA update issue (*)
  6bd2c12... libstdc++: Add --disable-libstdcxx-hosted as an alias for h (*)
  93b3ab6... libstdc++: Shuffle header dependencies of <functional> (*)
  df78e15... gcc: Fix comment typo (*)
  8e2f453... libstdc++: Use bold style for DR titles in the manual (*)
  7b8a77e... Reduce DF computation at -O0 (*)
  ffaf244... Convert nonzero mask back to tree. (*)
  fce601f... contrib: remove extra fetch from git_update_version (*)
  8a79685... libdecnumber: remove unused variable (*)
  e1d1842... fix clang warnings (*)
  bd0e351... remove dead variables (*)
  e66236c... Fix comment typos (*)
  88f04e9... c++: Improve handling of foreigner namespace attributes (*)
  348e46f... fixincludes: Deal also with the _Float128x cases [PR107059] (*)
  62ec780... fixincludes: Fix up powerpc floatn.h tweaks [PR107059] (*)
  b6ab375... Downgrade DWARF_VERSION_DEFAULT to 3 for VxWorks >= 7 (*)
  8dffd0e... Introduce DWARF_VERSION_DEFAULT and redefine for VxWorks (*)
  8307b7d... undef offsetof before defining it in stddef.h (*)
  8a9e92b... compiler: better arg type checking for selected builtins (*)
  629d04d... Daily bump. (*)
  20462a1... libgcc, arc: Fix build (*)
  0143b27... c++: fix broken conversion in coroutines (*)
  49b9a8c... [PR107170] Avoid copying incompatible types in legacy VRP. (*)
  629b481... analyzer: fix another ICE in PR 107158 (*)
  30d6356... analyzer: fixes to call_summary_replay::dump_to_pp (*)
  50c35c6... openmp: Map holds clause to IFN_ASSUME for Fortran (*)
  fa258f6... c: C2x typeof (*)
  09df0d8... c++: remove optimize_specialization_lookup_p (*)
  3ec926d... Fix wrong code generated by unroll-and-jam pass (*)
  b9d04e9... Minor cleanup in DF code (*)
  0af8d95... middle-end/107115 - avoid bogus redundant store removal dur (*)
  33b93ac... aarch64: Remove redundant zero-extends with LDAR (*)
  badd1ac... aarch64: Add test for LDAR generation from __atomic_load_n (*)
  db2f5d6... aarch64: update Ampere-1 core definition (*)
  b1cfbcc... aarch64: fix off-by-one in reading cpuinfo (*)
  85333b9... tree-optimization/107107 - tail-merging VN wrong-code (*)
  544d14e... ada: Implementation of support for storage models in gigi (*)
  6c62d9b... ada: Minor potential bug in sem_ch6.adb (*)
  1180b8f... ada: Reject conditional goto in lock-free protected subprog (*)
  56a9316... ada: Cleanup related to lock-free protected subprograms (*)
  a93fd54... ada: hardened conditionals: exemplify codegen changes (*)
  2113067... ada: hardened booleans: exemplify codegen changes (*)
  09203b7... ada: stack scrubbing: exemplify codegen changes (*)
  3da783c... ada: Fix inserting of validity checks in lock-free protecte (*)
  c3d6d60... ada: Add C declarations for Storage Model support (*)
  b1006d3... ada: Incorrect inferences drawn from if/elsif/while conditi (*)
  f775d36... ada: Accessibility error incorrectly flagged on call within (*)
  3e7ff13... ada: Clean up slice-of-component optimization (*)
  5a841af... ada: Do not issue compiler warnings in GNATprove mode (*)
  7d8ba0c... ada: Disable slice-of-component optimization in some cases (*)
  86b786d... ada: Fix spurious warning on unreferenced refinement consti (*)
  ed7278d... git_update_version: add robust logging (*)
  3c01e3a... arc: Remove max-page-size and common-page-size forced setti (*)
  146e459... libgcc: Decrease size of _Unwind_FrameState and even more s (*)
  847f5ad... openmp: Map holds clause to IFN_ASSUME for C/C++ (*)

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