aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff24-157/+221
2021-09-21[Ada] Enforce legality rule for Predicate_Failure aspect specificationsSteve Baird1-0/+26
2021-09-21[Ada] Refactor sort procedures of doubly linked list containersSteve Baird9-448/+455
2021-09-21[Ada] Update comment for Error_Msg_InternalPiotr Trojanek1-5/+5
2021-09-21[Ada] Simplify iteration when printing error message spansPiotr Trojanek1-3/+3
2021-09-21[Ada] Exception raised on empty file in GNATprove modeYannick Moy1-3/+4
2021-09-21[Ada] Refine patch for spurious link error involving discriminated typesEd Schonberg1-6/+23
2021-09-21[Ada] Remove "with GNAT.OS_Lib;" from libgnat/a-stbufi.adsBob Duff2-6/+8
2021-09-21Evaluate 'random ()' to '0' in 'pass_omp_oacc_neuter_broadcast'Thomas Schwinge1-3/+2
2021-09-21arm: pass architecture extensions to assembler if supportedRichard Earnshaw4-0/+62
2021-09-21tree-optimization/102421 - copy alignment info when splitting groupsRichard Biener2-0/+53
2021-09-21Fix no_fsanitize_address effective targetEric Botcazou9-12/+14
2021-09-21Fortran: Fix -Wno-missing-include-dirs handling [PR55534]Tobias Burnus19-79/+206
2021-09-20ipa-fnsummary: Remove inconsistent bp_pack_valueKewen Lin1-1/+0
2021-09-20C++: add type checking for static local vector variable in templatewangpc2-8/+25
2021-09-21Daily bump.GCC Administrator8-1/+484
2021-09-20Use EDGE_EXECUTABLE in ranger and return UNDEFINED for those edges.Andrew MacLeod6-36/+140
2021-09-20Make each def a new equivalency record.Andrew MacLeod2-1/+59
2021-09-20MAINTAINERS: add myself as Fortran reviewerHarald Anlauf1-2/+2
2021-09-20c-family: Add more predefined macros for math flagsMatthias Kretz13-0/+223
2021-09-20[Ada] Remove redundant checks for non-empty list of aspectsPiotr Trojanek1-3/+1
2021-09-20[Ada] Fix shadowing in conditions for inliningPiotr Trojanek1-26/+29
2021-09-20[Ada] Present and No functions for type UintBob Duff20-124/+124
2021-09-20[Ada] Add SPARK_Mode => Off to System.File_Control_BlockClaire Dross1-1/+1
2021-09-20[Ada] Use OS_Time for interface to TZ functions.Doug Rupp3-22/+21
2021-09-20[Ada] Accept volatile expressions as non-scalar actual parametersPiotr Trojanek1-26/+0
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff22-485/+325
2021-09-20[Ada] Cleanups related to building of dispatch tablesPiotr Trojanek2-2/+2
2021-09-20[Ada] Accept volatile properties on constant objectsPiotr Trojanek2-55/+29
2021-09-20[Ada] SPARK proof of the Ada.Strings.Fixed libraryPierre-Alexandre Bazin4-349/+1166
2021-09-20[Ada] Minor style fixes in Resolve_Aspect_AggregatePiotr Trojanek1-9/+11
2021-09-20[Ada] Adjust latest change for ELF platformsEric Botcazou1-6/+5
2021-09-20[Ada] Add support for PE-COFF PIE to System.Dwarf_LineEric Botcazou5-67/+111
2021-09-20[Ada] Fix repeated generation of dispatch tables in CodePeer modePiotr Trojanek1-1/+2
2021-09-20[Ada] Spurious link error with child unit and different Assertion modes.Ed Schonberg3-3/+51
2021-09-20[Ada] Clean up Uint fields (continued)Arnaud Charlet1-5/+0
2021-09-20[Ada] Refine types of local constants that store Etype resultsPiotr Trojanek4-8/+8
2021-09-20[Ada] Implementation of Preelaborable_Initialization attribute for AI12-0409Gary Dismukes10-57/+295
2021-09-20[Ada] Fix condition in op interpretation resolutionGhjuvan Lacambre1-1/+1
2021-09-20[Ada] Don't examine all discriminants when looking for the first onePiotr Trojanek1-0/+1
2021-09-20[Ada] Fix assertion in GNATprove_ModeBob Duff2-2/+10
2021-09-20[Ada] Small cleanup in System.Dwarf_LineEric Botcazou2-9/+6
2021-09-20[Ada] Only assign type to op if compatibleGhjuvan Lacambre1-1/+1
2021-09-20[Ada] Spurious accessibility error on allocator in generic instanceJustin Squirek1-1/+7
2021-09-20[Ada] Capitalize commentGhjuvan Lacambre1-1/+1
2021-09-20[Ada] Refactor scan_backend_switch to share logic across backendsGhjuvan Lacambre5-110/+176
2021-09-20[Ada] Work around CodePeer bug by declaring variableGhjuvan Lacambre1-1/+6
2021-09-20[Ada] Move Build_And_Insert_Cuda_Initialization to Expand_CUDA_PackageGhjuvan Lacambre3-28/+41
2021-09-20[Ada] usage.adb: make -gnatw.c description clearerGhjuvan Lacambre1-2/+4
2021-09-20[Ada] Remove inappropriate test from Is_By_Reference_TypeEric Botcazou1-4/+1
generated by cgit v1.1 at 2024-09-01 20:57:10 +0000