aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
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
2020-10-19[Ada] Clarify current design of Errout wrt global variable usageYannick Moy1-0/+9
2020-10-19[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def typesBob Duff61-43/+904
2020-10-19[Ada] Ada2020: matching parentheses and bracketsBob Duff3-13/+34
2020-10-19[Ada] Crash in expression function defined in protected objectJavier Miranda1-0/+17
2020-10-19[Ada] AI12-0170: Abstract subprogram calls in class-wide precond exprsGary Dismukes1-2/+6
2020-10-19[Ada] Private type unexpectedly visibleJavier Miranda1-0/+19
2020-10-19[Ada] Clean up support of square bracketsArnaud Charlet2-4/+9
2020-10-19[Ada] Remove useless initialization and refine type of a local variablePiotr Trojanek1-1/+1
2020-10-19[Ada] Refine type of a local variablePiotr Trojanek1-1/+1
2020-10-19[Ada] Simplify membership test for operatorsPiotr Trojanek1-3/+1
2020-10-19[Ada] Simplify repeated calls with membership testPiotr Trojanek1-2/+2
2020-10-19Daily bump.GCC Administrator1-0/+32
2020-10-18revamp ada.numerics.auxAlexandre Oliva15-477/+598
2020-10-17Daily bump.GCC Administrator1-0/+381
generated by cgit v1.1 at 2024-09-28 17:59:52 +0000