aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2020-10-20[Ada] Refine type for type constraining routinesPiotr Trojanek1-10/+10
2020-10-20[Ada] Prevent crashes when pretty-printing freeze nodes from gdbPiotr Trojanek1-2/+4
2020-10-20[Ada] AI12-0339: Empty function for Aggregate aspect of Ada containersEd Schonberg36-19/+248
2020-10-20[Ada] Add support for Unreferenced aspect on formal parametersArnaud Charlet8-17/+63
2020-10-20[Ada] Refine result type of Get_AccessibilityPiotr Trojanek2-2/+2
2020-10-20[Ada] Replace low-level Ekind membership tests with high-level Is_FormalPiotr Trojanek4-5/+5
2020-10-20[Ada] Implement AI12-0280 Making 'Old more flexibleSteve Baird8-94/+1245
2020-10-20[Ada] Spurious error in current instance used as formal packageJavier Miranda1-0/+175
2020-10-20[Ada] Make attribute Update an obsolescent featureClaire Dross1-0/+5
2020-10-20[Ada] CUDA: build procedure calls instead of function callsRichard Kenner1-9/+9
2020-10-20[Ada] Crash on cond expression as actual for anonymous access formalJustin Squirek1-11/+16
2020-10-20[Ada] Fixes for pretty command-line GNATprove output with -gnatdFYannick Moy2-40/+82
2020-10-20[Ada] Hang on cond expression as actual for anonymous access formalJustin Squirek1-6/+9
2020-10-20[Ada] gnatpp: Fix documentation of threshold switchesBob Duff1-4/+4
2020-10-20[Ada] New warning on not fully initialized box aggregateArnaud Charlet18-46/+88
2020-10-20[Ada] Inlining nonstatic calls to static expression functionsGary Dismukes1-0/+6
2020-10-20[Ada] Crash on precondition, discriminant and protected objectsArnaud Charlet1-1/+1
2020-10-20[Ada] Issue with gnatbind -V switch and Ada 2012Arnaud Charlet1-14/+17
2020-10-20[Ada] Fix comments as volatility properties can apply to objectsYannick Moy2-5/+5
2020-10-20[Ada] Spurious discriminant check on "for of" loopArnaud Charlet1-2/+26
2020-10-20[Ada] Flexible AST node structureBob Duff24-270/+317
2020-10-20[Ada] Fix internal error on bit-aligned component of function callEric Botcazou1-16/+21
2020-10-20[Ada] Document Ada.Task_InitializationPat Rogers2-725/+707
2020-10-20[Ada] Display source code pointing at locations in messages for GNATproveYannick Moy4-11/+114
2020-10-20[Ada] Remove extra validity check in case statementArnaud Charlet1-1/+29
2020-10-20[Ada] Ada_2020: Further code cleanup for container aggregatesEd Schonberg1-32/+37
2020-10-20[Ada] Propagate predicate function to a full view of a private subtypePiotr Trojanek1-0/+10
2020-10-20[Ada] Code clean upArnaud Charlet1-15/+4
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek23-130/+845
2020-10-20[Ada] Minor reorder subprogram declarations alphabeticallyPiotr Trojanek1-5/+5
2020-10-20Daily bump.GCC Administrator1-0/+242
2020-10-19[Ada] Ada_2020: Implement Key_Expression for named container aggregatesEd Schonberg3-39/+149
2020-10-19[Ada] Missing check on array concatenationArnaud Charlet1-2/+3
2020-10-19[Ada] Suppress warnings in expansion of "for ... of" loopsBob Duff1-1/+7
2020-10-19[Ada] Use alternate stack for signal handling on PowerPC/LinuxEric Botcazou1-1/+1
2020-10-19[Ada] Remove excessive guards in building predicate functionsPiotr Trojanek1-4/+4
2020-10-19[Ada] Alternative display of multi-line messages for GNATproveYannick Moy3-15/+39
2020-10-19[Ada] AI12-0352: Early derivation and equality of untagged typesArnaud Charlet1-2/+19
2020-10-19[Ada] Compiler abort on in_out function parameter with type invariantEd Schonberg1-1/+7
2020-10-19[Ada] Wrong freezing for expression function with contracts in a genericArnaud Charlet2-2/+2
2020-10-19[Ada] Implement initialization of CUDA runtimeGhjuvan Lacambre8-2/+731
2020-10-19[Ada] Expanded names in ghost assignmentsBob Duff10-202/+246
2020-10-19[Ada] Do not replace bounds for packed arrays that depend on discriminantsGhjuvan Lacambre1-1/+5
2020-10-19[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def typesBob Duff2-10/+16
2020-10-19[Ada] ACATS 4.1R - Exception missedArnaud Charlet2-7/+19
2020-10-19[Ada] Reject use of Relaxed_Initialization on scalar/access param or resultYannick Moy1-0/+23
2020-10-19[Ada] No range check on fixed point to integer conversionArnaud Charlet4-36/+55
2020-10-19[Ada] Clarify protection offered by preconditions on Ada.Text_IO unitsYannick Moy1-2/+3
2020-10-19[Ada] Fix typo in error message about contract casesPiotr Trojanek1-1/+1
2020-10-19[Ada] Simplify detection of by-copy typesPiotr Trojanek1-3/+1
generated by cgit v1.1 at 2024-11-03 07:11:29 +0000