This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch devel/sphinx in repository gcc.

from 4d03df89bfa Merge branch 'master' into devel/sphinx adds 954c9235297 analyzer testsuite: add explode-2a.c [PR101068] adds d726a57b993 analyzer: add class region_to_value_map adds 9a2c9579fdb analyzer: track dynamic extents of regions adds 1de31913d20 Fortran/OpenMP: Extend defaultmap clause for OpenMP 5 [PR92568] adds 913b13fcb1d Fix for vcmpequt builtin adds 4602714382f range-ops: (nonzero | X) is nonzero adds 6d43ec50966 Minor improvement to compare elimination adds cb326a6442f libstdc++: Use function object for __decay_copy helper adds a88fc03ba7e libstdc++: Remove precondition checks from ranges::subrange adds 9245b0e84c2 libstdc++: Add noexcept specifiers to some range adaptors adds 8b93548778a libstdc++: Make ranges CPOs final and not addressable adds 71790f398e1 Consider size_t mangling as unsigned int and long [PR100876]. adds ec3fafa9ec7 analyzer: fix bitfield endianness issues [PR99212,PR101082] adds ede6c3568f3 Daily bump. adds 4e56b134768 tree-optimization/101083 - fix ICE with SLP reassoc adds 6e96a5a503d [Ada] Small cleanup in System.Exceptions adds 059a91ea91b [Ada] Small cleanup in C header files adds a85d1c14073 [Ada] Clarify the documentation of -gnaty0 style check option adds 33117039208 [Ada] Raise expressions and unconstrained components adds c50041b99bc [Ada] Reorder code for validity checks of unchecked conversions adds a2d2310d80a [Ada] Implementation of AI12-0152: legality rules for Raise [...] adds cbb64f6b9ac [Ada] ACATS 4.1R-c611a04: Class-wide preconditions in dispa [...] adds 3e07c2df705 [Ada] Remove extra parens around a function call adds 663e6d79601 [Ada] Use more straightforward implementation for Current_E [...] adds 1ac6fcf57c5 [Ada] Fix missing array bounds checking adds 5c44cc1c736 [Ada] Do not perform useless work in Check_No_Parts_Violations adds e505bf515f5 [Ada] Make Incomplete_Or_Partial_View independent of the context adds ff4746bcdef [Ada] Don't look for aliases for generic subprograms adds 7626537ae76 [Ada] Fix ALI source location for dominance markers adds f5b4b6bf14a [Ada] Spurious accessibility error on "for of" loop parameter adds c5dc00ef38d [Ada] Non-static Interrupt_Priority allowed with restrictio [...] adds e66167fb494 [Ada] Mixing of positional and named entries allowed in enum rep adds 788fed4b39a [Ada] Include info about containers in GNAT RM Implementati [...] adds f7f37ed6494 [Ada] Cleanup related to volatile objects in restricted contexts adds 37cd8d97f3a [Ada] Wrong reference to System.Tasking in expanded code adds 7ef1d8e88bb [Ada] Adapt Is_Actual_Parameter to also work for entry parameters adds e027681d90c [Ada] Fix typos in all occurrences of "occuring" in GNAT adds 6dc7a8ab141 [Ada] Remove unused initialization with New_List adds cc9a7ae2299 [Ada] Fix aliasing check for actual parameters passed by reference adds 207962b929c [Ada] Cleanup repeated calls in Sloc_Range adds 07b7dc09b21 [Ada] Fix detection of volatile expressions in restricted contexts adds f4fe186bfe3 [Ada] Fix floating-point exponentiation with Integer'First [...] adds 3feba0a578c [Ada] Do not generate an Itype_Reference node for slices in [...] adds 1a9ff8d39c1 [Ada] Ignore volatile restrictions in preanalysis adds ccf0dee109b [Ada] Fix Is_Volatile_Function for functions declared in pr [...] adds 041f7417707 libffi: Fix up x86_64 classify_argument adds 3155d51bfd1 [PATCH] PR rtl-optimization/46235: Improved use of bt for b [...] adds 43fc4234ad3 tree-optimization/101088 - fix SM invalidation issue adds b4b50bf2864 stor-layout: Create DECL_BIT_FIELD_REPRESENTATIVE even for [...] adds a490b1dc0b3 testsuite: Use noipa attribute instead of noinline, noclone adds d7deee423f9 tree-sra: Do not refresh readonly decls (PR 100453) new 78a55ff9ef0 Merge branch 'master' into devel/sphinx

The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.

Summary of changes: gcc/ChangeLog | 68 +++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 276 +++++++++ gcc/ada/checks.adb | 58 +- gcc/ada/doc/gnat_rm/implementation_advice.rst | 16 + .../building_executable_programs_with_gnat.rst | 14 +- gcc/ada/exp_ch3.adb | 11 +- gcc/ada/exp_ch4.adb | 4 +- gcc/ada/exp_ch6.adb | 2 +- gcc/ada/exp_ch9.adb | 39 +- gcc/ada/exp_disp.adb | 10 + gcc/ada/exp_unst.adb | 5 +- gcc/ada/freeze.adb | 35 +- gcc/ada/ghost.adb | 18 +- gcc/ada/gnat_rm.texi | 619 +++++++++++---------- gcc/ada/gnat_ugn.texi | 21 +- gcc/ada/initialize.c | 70 +-- gcc/ada/libgnarl/s-taskin.ads | 3 + gcc/ada/libgnat/s-except.adb | 15 +- gcc/ada/libgnat/s-except.ads | 22 +- gcc/ada/libgnat/s-exponr.adb | 9 +- gcc/ada/par_sco.adb | 23 +- gcc/ada/restrict.adb | 2 +- gcc/ada/rtsfind.ads | 16 +- gcc/ada/runtime.h | 4 +- gcc/ada/sem_attr.adb | 9 +- gcc/ada/sem_ch13.adb | 48 +- gcc/ada/sem_ch3.adb | 13 +- gcc/ada/sem_ch6.adb | 2 +- gcc/ada/sem_ch8.adb | 2 +- gcc/ada/sem_res.adb | 134 +++-- gcc/ada/sem_util.adb | 192 ++++--- gcc/ada/sem_util.ads | 17 +- gcc/ada/sinput.adb | 21 +- gcc/ada/types.ads | 2 +- gcc/ada/urealp.adb | 10 +- gcc/analyzer/ChangeLog | 90 +++ gcc/analyzer/engine.cc | 48 +- gcc/analyzer/exploded-graph.h | 20 +- gcc/analyzer/program-state.cc | 13 +- gcc/analyzer/region-model-impl-calls.cc | 20 + gcc/analyzer/region-model-manager.cc | 94 ++-- gcc/analyzer/region-model-reachability.h | 8 + gcc/analyzer/region-model.cc | 240 +++++++- gcc/analyzer/region-model.h | 81 ++- gcc/analyzer/store.cc | 12 + gcc/analyzer/store.h | 1 + gcc/builtins.c | 6 +- gcc/c-family/ChangeLog | 5 + gcc/c/ChangeLog | 5 + gcc/compare-elim.c | 1 + gcc/config/i386/i386.md | 94 ++++ gcc/config/rs6000/rs6000-builtin.def | 6 +- gcc/cp/ChangeLog | 4 + gcc/doc/analyzer.texi | 7 + gcc/fortran/ChangeLog | 19 + gcc/fortran/dump-parse-tree.c | 38 +- gcc/fortran/f95-lang.c | 4 + gcc/fortran/gfortran.h | 26 +- gcc/fortran/openmp.c | 84 ++- gcc/fortran/trans-decl.c | 5 + gcc/fortran/trans-openmp.c | 97 +++- gcc/fortran/trans.h | 9 +- gcc/gimplify.c | 35 +- gcc/langhooks-def.h | 6 +- gcc/langhooks.c | 7 +- gcc/langhooks.h | 13 +- gcc/range-op.cc | 31 +- gcc/stor-layout.c | 26 +- gcc/testsuite/ChangeLog | 46 ++ gcc/testsuite/gcc.dg/analyzer/analyzer-decls.h | 3 + gcc/testsuite/gcc.dg/analyzer/capacity-1.c | 106 ++++ gcc/testsuite/gcc.dg/analyzer/capacity-2.c | 53 ++ gcc/testsuite/gcc.dg/analyzer/capacity-3.c | 82 +++ .../gcc.dg/analyzer/{explode-2.c => explode-2a.c} | 15 +- gcc/testsuite/gcc.dg/guality/pr49888.c | 2 +- gcc/testsuite/gcc.dg/pr101062.c | 29 + gcc/testsuite/gcc.dg/torture/pr101088.c | 45 ++ gcc/testsuite/gcc.dg/tree-ssa/pr100453.c | 18 + .../gcc.dg/vect/{pr97832-2.c => pr97832-4.c} | 3 +- gcc/testsuite/gcc.target/i386/bt-5.c | 44 ++ gcc/testsuite/gcc.target/i386/bt-6.c | 69 +++ gcc/testsuite/gcc.target/i386/bt-7.c | 69 +++ gcc/testsuite/gfortran.dg/gomp/defaultmap-1.f90 | 19 + gcc/testsuite/gfortran.dg/gomp/defaultmap-2.f90 | 108 ++++ gcc/testsuite/gfortran.dg/gomp/defaultmap-3.f90 | 60 ++ gcc/testsuite/gfortran.dg/gomp/defaultmap-4.f90 | 141 +++++ gcc/testsuite/gfortran.dg/gomp/defaultmap-5.f90 | 145 +++++ gcc/testsuite/gfortran.dg/gomp/defaultmap-6.f90 | 104 ++++ gcc/testsuite/gfortran.dg/gomp/defaultmap-7.f90 | 24 + gcc/testsuite/gfortran.dg/gomp/pr99928-1.f90 | 22 +- gcc/testsuite/gfortran.dg/gomp/pr99928-2.f90 | 18 +- gcc/testsuite/gfortran.dg/gomp/pr99928-3.f90 | 6 +- gcc/testsuite/gfortran.dg/gomp/pr99928-4.f90 | 6 +- gcc/testsuite/gfortran.dg/gomp/pr99928-5.f90 | 8 +- gcc/testsuite/gfortran.dg/gomp/pr99928-6.f90 | 8 +- gcc/testsuite/gfortran.dg/gomp/pr99928-8.f90 | 22 +- gcc/testsuite/gnat.dg/limited4.adb | 13 +- gcc/tree-sra.c | 21 +- gcc/tree-ssa-loop-im.c | 21 +- gcc/tree-vect-slp.c | 5 +- libffi/src/x86/ffi64.c | 9 +- .../{nested_struct2.c => nested_struct12.c} | 61 +- libgomp/ChangeLog | 5 + libgomp/testsuite/libgomp.fortran/defaultmap-8.f90 | 279 ++++++++++ libstdc++-v3/ChangeLog | 43 ++ libstdc++-v3/include/bits/iterator_concepts.h | 18 +- libstdc++-v3/include/bits/ranges_base.h | 82 ++- libstdc++-v3/include/bits/ranges_util.h | 85 ++- libstdc++-v3/include/std/ranges | 18 + libstdc++-v3/testsuite/std/ranges/adaptors/all.cc | 30 + .../std/ranges/headers/ranges/synopsis.cc | 26 +- libstdc++-v3/testsuite/std/ranges/single_view.cc | 24 + .../testsuite/std/ranges/subrange/constexpr.cc | 26 + 114 files changed, 4010 insertions(+), 998 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/analyzer/capacity-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/capacity-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/capacity-3.c copy gcc/testsuite/gcc.dg/analyzer/{explode-2.c => explode-2a.c} (75%) create mode 100644 gcc/testsuite/gcc.dg/pr101062.c create mode 100644 gcc/testsuite/gcc.dg/torture/pr101088.c create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr100453.c copy gcc/testsuite/gcc.dg/vect/{pr97832-2.c => pr97832-4.c} (92%) create mode 100644 gcc/testsuite/gcc.target/i386/bt-5.c create mode 100644 gcc/testsuite/gcc.target/i386/bt-6.c create mode 100644 gcc/testsuite/gcc.target/i386/bt-7.c create mode 100644 gcc/testsuite/gfortran.dg/gomp/defaultmap-1.f90 create mode 100644 gcc/testsuite/gfortran.dg/gomp/defaultmap-2.f90 create mode 100644 gcc/testsuite/gfortran.dg/gomp/defaultmap-3.f90 create mode 100644 gcc/testsuite/gfortran.dg/gomp/defaultmap-4.f90 create mode 100644 gcc/testsuite/gfortran.dg/gomp/defaultmap-5.f90 create mode 100644 gcc/testsuite/gfortran.dg/gomp/defaultmap-6.f90 create mode 100644 gcc/testsuite/gfortran.dg/gomp/defaultmap-7.f90 copy libffi/testsuite/libffi.call/{nested_struct2.c => nested_struct12.c} (52%) create mode 100644 libgomp/testsuite/libgomp.fortran/defaultmap-8.f90 create mode 100644 libstdc++-v3/testsuite/std/ranges/subrange/constexpr.cc