aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2021-10-01[Ada] Subprogram_Variant in ignored ghost codeBob Duff1-0/+1
2021-10-01[Ada] Empty CUDA_Global procedures when compiling for hostGhjuvan Lacambre1-14/+78
2021-10-01[Ada] Improved checking for invalid index values when accessing array elementsSteve Baird3-11/+189
2021-10-01[Ada] Document rounding mode assumed for dynamic floating-point computationsEric Botcazou2-13/+13
2021-10-01[Ada] More work on efficiency improvementsBob Duff11-361/+590
2021-10-01[Ada] Add missing guard before call to Interface_Present_In_AncestorEric Botcazou1-1/+2
2021-10-01[Ada] Add new debug switch -gnatd.8Eric Botcazou2-1/+7
2021-10-01[Ada] Spurious warning about hiding in generic instantiationGary Dismukes1-0/+4
2021-10-01[Ada] Crash on improper use of GNAT attribute Type_KeyEd Schonberg2-1/+10
2021-10-01[Ada] Crash on renaming within declare expressionJustin Squirek1-1/+3
2021-10-01[Ada] Fix CodePeer warningsGhjuvan Lacambre2-0/+5
2021-10-01[Ada] Add Evaluable_Kind and Global_Name_KindRichard Kenner2-0/+19
2021-10-01[Ada] Stub CUDA_Device aspectGhjuvan Lacambre7-5/+110
2021-10-01[Ada] Assert_Failure on derived type with inherited Default_Initial_ConditionGary Dismukes1-44/+3
2021-10-01[Ada] Add more node unionsRichard Kenner3-13/+51
2021-10-01[Ada] Implementation of AI12-0212: iterator specs in array aggregates (II)Ed Schonberg1-6/+17
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda26-974/+2804
2021-10-01[Ada] Fix deleting CodePeer files for non-ordinary unitsPiotr Trojanek1-3/+4
2021-10-01[Ada] Improve error message for .ali file version mismatchSteve Baird1-34/+92
2021-10-01[Ada] Fix bug in inherited user-defined-literal aspects for tagged typesSteve Baird3-9/+106
2021-10-01[Ada] Info. gathering in preparation for more efficiency improvementsBob Duff11-66/+243
2021-10-01[Ada] Support gmem.out longer than 2G on 32 bit platformsDmitriy Anisimkov1-60/+67
2021-10-01[Ada] Spurious range checks on aggregate with non-static boundsEd Schonberg1-6/+16
2021-10-01[Ada] Add N_Is_DeclRichard Kenner2-1/+16
2021-10-01[Ada] Add N_Entity_NameRichard Kenner2-0/+11
2021-10-01[Ada] Improve error message for .ali file version mismatchSteve Baird1-4/+72
2021-10-01[Ada] No ABE check needed for an expression function call.Steve Baird1-0/+7
2021-10-01[Ada] Fix CodePeer warningsGhjuvan Lacambre1-1/+1
2021-10-01[Ada] Document that gnatmem requires fixed-position executablesEric Botcazou1-6/+8
2021-10-01[Ada] Switch to SR0660Doug Rupp1-2/+2
2021-09-24Daily bump.GCC Administrator1-0/+140
2021-09-23[Ada] Fix obsolete comment mentioning girder discriminantsEric Botcazou1-1/+1
2021-09-23[Ada] Add Subprogram_Body_Or_TypeRichard Kenner2-1/+8
2021-09-23[Ada] Add N_Has_Bounds and N_Is_IndexRichard Kenner6-4/+21
2021-09-23[Ada] Adjust documentation of gnatsymbolizeEric Botcazou1-10/+8
2021-09-23[Ada] Tune detection of internally generated positional aggregatesPiotr Trojanek1-1/+4
2021-09-23[Ada] Wrappers of access-to-subprograms with pre/post conditionsJavier Miranda5-1/+105
2021-09-23[Ada] Ada2022: implementation of AI12-0212 : iterator specs in array aggregatesEd Schonberg2-30/+329
2021-09-23[Ada] Follow-on efficiency improvementsBob Duff1-0/+7
2021-09-23[Ada] If unnesting and relocating subprogram call, make new Parameter_Associa...Richard Kenner1-0/+16
2021-09-23[Ada] Remove Initializes contracts from Ada.Strings.BoundedPiotr Trojanek1-2/+0
2021-09-23[Ada] Cleanup and efficiency improvementsBob Duff16-563/+691
2021-09-23[Ada] Minimize parts of Ada.Strings.Fixed marked SPARK_Mode => OffYannick Moy2-9/+29
2021-09-23[Ada] Remove global parameter in Global contracts of Ada.Strings.BoundedPiotr Trojanek1-80/+48
2021-09-23[Ada] Update "Implementation Defined Characteristics" documentation.Steve Baird2-696/+956
2021-09-23Daily bump.GCC Administrator1-0/+407
2021-09-22[Ada] Simplify contract of Ada.Strings.Fixed.Trim for proofYannick Moy2-50/+17
2021-09-22[Ada] Reuse routines for detecting attributes Old and ResultPiotr Trojanek2-5/+2
2021-09-22[Ada] Spurious error on deferred constant with predicateYannick Moy1-1/+2
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff19-103/+65
generated by cgit v1.1 at 2024-09-27 06:19:51 +0000