aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2020-09-03Preliminary work on support for 128bits integersArnaud Charlet3-0/+12
2020-09-03Look at fullest view when checking for static types in unnestingArnaud Charlet3-13/+96
2020-08-28Daily bump.GCC Administrator1-0/+6
2020-08-27vec: add exact argument for various grow functions.Martin Liska1-2/+2
2020-07-28Daily bump.GCC Administrator1-0/+188
2020-07-27[Ada] Revert "Revamp dump and aux output names"Alexandre Oliva1-4/+1
2020-07-27[Ada] Ada2020: AI12-0027 Access values and unaliased componentJavier Miranda3-10/+63
2020-07-27[Ada] Assert failure on incorrect codeArnaud Charlet2-3/+10
2020-07-27[Ada] Switch Ada_Version_Runtime to Ada 2020Arnaud Charlet33-55/+11
2020-07-27[Ada] Wrong accessibility on 'Access of formal in callJustin Squirek1-46/+16
2020-07-27[Ada] Bug in Enum_Subtype'Image in Ada 2020 modeBob Duff1-1/+1
2020-07-27[Ada] Refactor pragma argument gettersGhjuvan Lacambre1-81/+33
2020-07-27[Ada] AI12-0383 Renaming valuesArnaud Charlet1-4/+23
2020-07-27[Ada] AI12-0377 View conversions and out parameters revisitedArnaud Charlet1-15/+22
2020-07-27[Ada] Ada2020: wording of 'Image messagesBob Duff3-17/+33
2020-07-27[Ada] Unbounded string overriding controlDmitriy Anisimkov2-38/+150
2020-07-27[Ada] Remove disabled codeArnaud Charlet1-13/+0
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet89-4713/+2950
2020-07-27[Ada] AI12-0194: Language-defined aspects and entry bodiesGary Dismukes1-1/+2
2020-07-27[Ada] Spurious error in generic dispatching constructorJavier Miranda1-3/+7
2020-07-27[Ada] Ada2020: AI12-0027 Access values and unaliased componentJavier Miranda1-1/+17
2020-07-27[Ada] Remove obsolete special case in Switch_ViewEric Botcazou1-13/+16
2020-07-27[Ada] x86-lynx178elf: use a-numaux.ads instead of a-numaux__libc-x86.adsPatrick Bernardi1-1/+0
2020-07-27[Ada] Warnings on overloays involving generic In_ParametersEd Schonberg1-0/+4
2020-07-27[Ada] AI12-0382: Loosen type-invariant overriding requirement of AI12-0042Gary Dismukes1-9/+6
2020-07-27[Ada] Add range check for GNATprove on 'Pos to Long_Integer conversionPiotr Trojanek1-3/+9
2020-07-27[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def typesBob Duff7-8/+57
2020-07-24Daily bump.GCC Administrator1-0/+49
2020-07-23[Ada] Stub CUDA_Execute and CUDA_Global pragmasArnaud Charlet9-21/+221
2020-07-23[Ada] Ada2020: AI12-0027 Access values and unaliased componentArnaud Charlet7-249/+335
2020-07-23[Ada] Add push/pop capability in OutputArnaud Charlet2-0/+38
2020-07-17Daily bump.GCC Administrator1-0/+251
2020-07-16[Ada] Misplace of internal master renaming declarationJavier Miranda2-1/+36
2020-07-16[Ada] AI12-0132 Freezing of renames_as_bodyArnaud Charlet1-0/+16
2020-07-16[Ada] Ongoing work for AI12-0212 : container aggregatesEd Schonberg2-7/+301
2020-07-16[Ada] gnatbind: Fix No_Entry_Calls_In_Elaboration_Code messageBob Duff1-2/+1
2020-07-16[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPUBob Duff7-139/+176
2020-07-16[Ada] Remove duplicated lineEric Botcazou1-1/+0
2020-07-16[Ada] Wrong execution of Tan on large argumentArnaud Charlet3-629/+8
2020-07-16[Ada] Spurious error in instance nested in formal packageEd Schonberg1-0/+15
2020-07-16[Ada] v7r2cert: minor refactoringDoug Rupp1-35/+20
2020-07-16[Ada] Set missing Parent field of block entityEric Botcazou1-0/+1
2020-07-16[Ada] AI12-0004 Normalization and allowed charactersArnaud Charlet13-6/+490
2020-07-16[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPUBob Duff1-0/+1
2020-07-16[Ada] Adjust heuristics about size of static aggregatesBob Duff1-19/+77
2020-07-16[Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment restrictionBob Duff5-82/+74
2020-07-16[Ada] Implicit dereferencing in container indexingGary Dismukes1-1/+20
2020-07-16[Ada] AI12-0373 Additional check on Integer_Literal functionArnaud Charlet2-20/+19
2020-07-16[Ada] Handle N_Others_Choice case in range-building functionGhjuvan Lacambre2-1/+24
2020-07-16[Ada] Ada2020: AI12-0289 Implicitly null excluding anon accessBob Duff1-21/+55