This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 2d4312bca25 tree-sra: Use MOVE_MAX for sra size limit [PR112824] new 1869441107b ada: Compiler crash on array aggregate association iteratin [...] new ef505b3a829 ada: Avoid calling Resolve with Stand.Any_Fixed as the expe [...] new 0827f611f87 ada: Use absolute paths in SARIF reports new b56a782224d ada: Spurious accessibility error with -gnatc new 3c95e0e8938 ada: Cleanup preanalysis of static expressions (part 6) new 453724978e4 ada: Mark constants inside a declare expression as referenced new 755f3d9ba29 ada: Fix compile-time failure due to duplicated attribute s [...] new 2f65e9eaafb ada: Fix Generate_Minimal_Reproducer on instantiations new f606f2417b3 ada: Fix adareducer oracle generation new ac936aa57ee ada: Fix New_Char_Array with empty arrays new 484795c24b2 ada: Fix buffer overflow for function call returning discri [...] new 9a616248899 ada: Fix couple of remaining incompatibilities with CHERI a [...] new f60377fd66e ada: Mark the types of operator arguments as used new c328b54f15d ada: Spurious accessibility error with -gnatc new 59772414183 ada: Extend and clarify documentation of stack size setting [...] new 83790d83c9f ada: Implement use implies with experimental extension new d8610fb01b7 ada: Fix unnecessarily large allocation in New_String new 64d277b6b82 ada: Fix various issues in the SARIF report new 2172d3efbc6 ada: Add error message for a declared-too-late abstract sta [...] new 69f1d543ede ada: Error about assignment to limited target on aggregate [...] new ed34ee07843 ada: Reject Valid_Value arguments originating from Standard new df0d3b2491c ada: Fix reproducer generation new d4325877f35 ada: Add missing Ghost aspect to Lemma_Not_In_Range_Big2xx3 [...] new 9d7bdc26617 ada: Implement built-in-place expansion of two-pass array a [...] new d46138a434b ada: Mitigate issue with tracebacks new d57eddd9b21 ada: Add missing Ghost aspect to Lemma_Not_In_Range_Big2xx6 [...] new 700f14ab324 ada: Tweak caching of streaming subprograms new a7c5e316e28 ada: Improve efficiency of very large shift counts new 201fd7899da ada: Fix crash on access to protected return new 4405925143b ada: Add Ghost aspect to Lo in s-arit32.adb new 9fc6eedace2 ada: Missing error on expression function returning incompl [...] new 429628e9d38 ada: Exception-raising loop incorrectly eliminated new cf1f3f7c342 ada: Remove useless global variable new 5ece6a80825 ada: Spurious compilation error with repeated loop index new c657fe14886 ada: Activate SPARK_Mode in Ada.Numerics.*_Random specs new b35d2322d7b ada: Tweak wording of documentation comments in Atree new 8a419accb77 ada: Fix SFN_Patterns documentation comment new 937f7c45a8c ada: Remove ghost code and SPARK annotations from runtime units new 35260dd303a ada: Add explicit null pointer check in C.Strings.Update new abc2efc4fba ada: Confusing "modified by call, but value overwritten" warning
The 40 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/ada/Makefile.rtl | 12 - gcc/ada/accessibility.adb | 11 +- gcc/ada/atree.ads | 15 +- gcc/ada/clean.adb | 7 +- gcc/ada/contracts.adb | 2 +- gcc/ada/diagnostics-json_utils.adb | 139 + gcc/ada/diagnostics-json_utils.ads | 5 + gcc/ada/diagnostics-sarif_emitter.adb | 266 +- .../gnat_rm/implementation_defined_attributes.rst | 6 +- .../doc/gnat_ugn/platform_specific_information.rst | 7 +- gcc/ada/exp_aggr.adb | 498 +-- gcc/ada/exp_attr.adb | 43 +- gcc/ada/exp_ch3.adb | 11 +- gcc/ada/exp_ch4.adb | 18 +- gcc/ada/exp_ch6.adb | 107 +- gcc/ada/exp_ch7.adb | 15 + gcc/ada/exp_ch9.adb | 6 +- gcc/ada/exp_pakd.adb | 34 +- gcc/ada/exp_util.adb | 21 +- gcc/ada/fname-uf.adb | 11 +- gcc/ada/freeze.adb | 9 +- gcc/ada/gcc-interface/Make-lang.in | 5 - gcc/ada/generate_minimal_reproducer.adb | 84 +- gcc/ada/gnat-style.texi | 4 +- gcc/ada/gnat_rm.texi | 20 +- gcc/ada/gnat_ugn.texi | 11 +- gcc/ada/gnatls.adb | 4 +- gcc/ada/libgnat/a-nbnbig.adb | 81 - gcc/ada/libgnat/a-nbnbig.ads | 241 -- gcc/ada/libgnat/a-nudira.ads | 42 +- gcc/ada/libgnat/a-nuflra.ads | 34 +- gcc/ada/libgnat/a-strfix.adb | 239 +- gcc/ada/libgnat/a-strmap.adb | 313 +- gcc/ada/libgnat/a-strsea.adb | 144 +- gcc/ada/libgnat/a-strsup.adb | 276 +- gcc/ada/libgnat/i-c.adb | 426 +-- gcc/ada/libgnat/i-c.ads | 4 + gcc/ada/libgnat/i-cstrin.adb | 102 +- gcc/ada/libgnat/s-aridou.adb | 3196 +------------------- gcc/ada/libgnat/s-aridou.ads | 107 +- gcc/ada/libgnat/s-arit128.adb | 1 - gcc/ada/libgnat/s-arit128.ads | 96 +- gcc/ada/libgnat/s-arit32.adb | 398 +-- gcc/ada/libgnat/s-arit32.ads | 62 +- gcc/ada/libgnat/s-arit64.adb | 5 - gcc/ada/libgnat/s-arit64.ads | 96 +- gcc/ada/libgnat/s-casuti.adb | 23 - gcc/ada/libgnat/s-exnint.ads | 11 - gcc/ada/libgnat/s-exnlli.ads | 11 - gcc/ada/libgnat/s-exnllli.ads | 12 - gcc/ada/libgnat/s-expint.ads | 12 - gcc/ada/libgnat/s-explli.ads | 12 - gcc/ada/libgnat/s-expllli.ads | 12 - gcc/ada/libgnat/s-explllu.ads | 12 - gcc/ada/libgnat/s-expllu.ads | 12 - gcc/ada/libgnat/s-expmod.adb | 276 +- gcc/ada/libgnat/s-expmod.ads | 35 +- gcc/ada/libgnat/s-exponn.adb | 185 +- gcc/ada/libgnat/s-exponn.ads | 33 +- gcc/ada/libgnat/s-expont.adb | 185 +- gcc/ada/libgnat/s-expont.ads | 33 +- gcc/ada/libgnat/s-exponu.adb | 24 +- gcc/ada/libgnat/s-exponu.ads | 17 +- gcc/ada/libgnat/s-expuns.ads | 12 - gcc/ada/libgnat/s-imaged.adb | 26 +- gcc/ada/libgnat/s-imaged.ads | 3 - gcc/ada/libgnat/s-imagef.adb | 26 +- gcc/ada/libgnat/s-imagef.ads | 2 - gcc/ada/libgnat/s-imagei.adb | 345 +-- gcc/ada/libgnat/s-imagei.ads | 62 +- gcc/ada/libgnat/s-imageu.adb | 274 -- gcc/ada/libgnat/s-imageu.ads | 45 +- gcc/ada/libgnat/s-imde128.ads | 3 +- gcc/ada/libgnat/s-imde32.ads | 3 +- gcc/ada/libgnat/s-imde64.ads | 3 +- gcc/ada/libgnat/s-imfi128.ads | 3 +- gcc/ada/libgnat/s-imfi32.ads | 3 +- gcc/ada/libgnat/s-imfi64.ads | 3 +- gcc/ada/libgnat/s-imgboo.adb | 25 - gcc/ada/libgnat/s-imgboo.ads | 21 +- gcc/ada/libgnat/s-imgint.ads | 23 +- gcc/ada/libgnat/s-imglli.ads | 23 +- gcc/ada/libgnat/s-imgllli.ads | 23 +- gcc/ada/libgnat/s-imglllu.ads | 17 +- gcc/ada/libgnat/s-imgllu.ads | 17 +- gcc/ada/libgnat/s-imguns.ads | 17 +- gcc/ada/libgnat/s-spark.ads | 39 - gcc/ada/libgnat/s-spcuop.adb | 42 - gcc/ada/libgnat/s-spcuop.ads | 57 - gcc/ada/libgnat/s-trasym__dwarf.adb | 18 + gcc/ada/libgnat/s-vaispe.adb | 87 - gcc/ada/libgnat/s-vaispe.ads | 185 -- gcc/ada/libgnat/s-valboo.adb | 11 - gcc/ada/libgnat/s-valboo.ads | 22 +- gcc/ada/libgnat/s-valint.ads | 18 +- gcc/ada/libgnat/s-vallli.ads | 18 +- gcc/ada/libgnat/s-valllli.ads | 18 +- gcc/ada/libgnat/s-vallllu.ads | 15 +- gcc/ada/libgnat/s-valllu.ads | 15 +- gcc/ada/libgnat/s-valspe.adb | 87 - gcc/ada/libgnat/s-valspe.ads | 246 -- gcc/ada/libgnat/s-valuei.adb | 70 - gcc/ada/libgnat/s-valuei.ads | 64 +- gcc/ada/libgnat/s-valueu.adb | 324 -- gcc/ada/libgnat/s-valueu.ads | 66 +- gcc/ada/libgnat/s-valuns.ads | 15 +- gcc/ada/libgnat/s-valuti.adb | 85 +- gcc/ada/libgnat/s-valuti.ads | 131 +- gcc/ada/libgnat/s-vauspe.adb | 203 -- gcc/ada/libgnat/s-vauspe.ads | 629 ---- gcc/ada/libgnat/s-veboop.adb | 102 - gcc/ada/libgnat/s-veboop.ads | 111 +- gcc/ada/libgnat/s-vs_int.ads | 59 - gcc/ada/libgnat/s-vs_lli.ads | 60 - gcc/ada/libgnat/s-vs_llu.ads | 58 - gcc/ada/libgnat/s-vs_uns.ads | 57 - gcc/ada/libgnat/s-vsllli.ads | 60 - gcc/ada/libgnat/s-vslllu.ads | 58 - gcc/ada/libgnat/s-widint.ads | 13 - gcc/ada/libgnat/s-widlli.ads | 13 - gcc/ada/libgnat/s-widllli.ads | 13 - gcc/ada/libgnat/s-widlllu.ads | 11 - gcc/ada/libgnat/s-widllu.ads | 11 - gcc/ada/libgnat/s-widthi.adb | 131 - gcc/ada/libgnat/s-widthu.adb | 120 - gcc/ada/libgnat/s-widthu.ads | 53 +- gcc/ada/libgnat/s-widuns.ads | 11 - gcc/ada/opt.ads | 8 +- gcc/ada/osint.adb | 132 +- gcc/ada/osint.ads | 15 + gcc/ada/rtsfind.adb | 4 +- gcc/ada/rtsfind.ads | 3 - gcc/ada/sem.ads | 12 +- gcc/ada/sem_attr.adb | 5 +- gcc/ada/sem_ch10.adb | 10 +- gcc/ada/sem_ch10.ads | 9 + gcc/ada/sem_ch12.adb | 4 +- gcc/ada/sem_ch13.adb | 38 +- gcc/ada/sem_ch3.adb | 110 +- gcc/ada/sem_ch3.ads | 17 +- gcc/ada/sem_ch6.adb | 17 +- gcc/ada/sem_ch8.adb | 44 + gcc/ada/sem_ch9.adb | 37 - gcc/ada/sem_eval.adb | 95 +- gcc/ada/sem_eval.ads | 37 +- gcc/ada/sem_prag.adb | 183 +- gcc/ada/sem_res.adb | 14 +- gcc/ada/sem_util.adb | 161 +- gcc/ada/sem_util.ads | 4 + gcc/ada/sem_warn.adb | 8 +- gcc/ada/switch-c.adb | 1 + 151 files changed, 1852 insertions(+), 11640 deletions(-) delete mode 100644 gcc/ada/libgnat/a-nbnbig.adb delete mode 100644 gcc/ada/libgnat/a-nbnbig.ads delete mode 100644 gcc/ada/libgnat/s-spark.ads delete mode 100644 gcc/ada/libgnat/s-spcuop.adb delete mode 100644 gcc/ada/libgnat/s-spcuop.ads delete mode 100644 gcc/ada/libgnat/s-vaispe.adb delete mode 100644 gcc/ada/libgnat/s-vaispe.ads delete mode 100644 gcc/ada/libgnat/s-valspe.adb delete mode 100644 gcc/ada/libgnat/s-valspe.ads delete mode 100644 gcc/ada/libgnat/s-vauspe.adb delete mode 100644 gcc/ada/libgnat/s-vauspe.ads delete mode 100644 gcc/ada/libgnat/s-vs_int.ads delete mode 100644 gcc/ada/libgnat/s-vs_lli.ads delete mode 100644 gcc/ada/libgnat/s-vs_llu.ads delete mode 100644 gcc/ada/libgnat/s-vs_uns.ads delete mode 100644 gcc/ada/libgnat/s-vsllli.ads delete mode 100644 gcc/ada/libgnat/s-vslllu.ads