aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2019-08-21[Ada] Improve detection of end of the process by GNAT.ExpectVadim Godunko2-5/+16
2019-08-21[Ada] Minor refactorings/reformattingsPiotr Trojanek6-19/+25
2019-08-21[Ada] Allow for of iteration on formal vectorsClaire Dross2-1/+54
2019-08-21[Ada] More precise propagation of Size attribute in generic instancesYannick Moy2-0/+13
2019-08-21[Ada] Update references to the SPARK RMYannick Moy2-6/+10
2019-08-21[Ada] More complete information level for -gnatR4 outputEric Botcazou2-16/+36
2019-08-21[Ada] Add the System.Bitfield_Utils runtime unitBob Duff7-3/+686
2019-08-21[Ada] Bindo.Graphs: Minor typo fixesPiotr Trojanek3-2/+8
2019-08-21[Ada] Undefined master in task with limited class-wide aliased entry formalGary Dismukes2-1/+20
2019-08-21[Ada] Fix type mismatch in extended return statement expansionEric Botcazou2-25/+68
2019-08-21[Ada] Do not rewrite argument of pragma Entry_Queue_Length in analysisPiotr Trojanek3-10/+10
2019-08-21[Ada] Avoid spurious error in GNATprove mode on non-null access typesYannick Moy2-0/+11
2019-08-21[Ada] Ignore subprogram address in ownership checkingYannick Moy2-0/+6
2019-08-21[Ada] Fix assertion failure on derived private protected typeEric Botcazou2-4/+10
2019-08-21[Ada] Replace low-level membership tests with high-level routinesPiotr Trojanek4-4/+10
2019-08-21[Ada] Missing attribute update in new_copy_treeJavier Miranda2-7/+18
2019-08-21[Ada] doc/Makefile: automatically create doc/share/_staticJoel Brobecker2-5/+15
2019-08-21[Ada] Max_Entry_Queue_Length aspect for protected entriesJustin Squirek5-13/+39
2019-08-20[Ada] Unnesting: take inlining (-gnatn) into accountArnaud Charlet2-7/+41
2019-08-20[Ada] Crash on a Storage_Size aspect depending on attr. of another typeEd Schonberg2-10/+39
2019-08-20[Ada] Inconsistent scope chain due to quantified expressionPiotr Trojanek2-0/+7
2019-08-20[Ada] Adapt GNATprove expansion for slices with access prefixYannick Moy2-20/+28
2019-08-20[Ada] Improve efficiency of aggregates with <>Bob Duff2-3/+16
2019-08-20[Ada] Improve speed of discriminated return typesBob Duff3-71/+103
2019-08-20[Ada] Minor reformattingsGary Dismukes26-88/+94
2019-08-20[Ada] Set GNAT.OS_Lib.GM_Split's granularity back to 1 secondDmitriy Anisimkov2-8/+6
2019-08-20[Ada] Fix propagation of compiler internal flagEd Schonberg2-0/+23
2019-08-20[Ada] Crash on Loop_Entry for while_loop involving substringsEd Schonberg2-0/+27
2019-08-20[Ada] Spurious error in dispatching call with class-wide preconditionEd Schonberg2-11/+47
2019-08-20[Ada] Suppress Initialize_Scalars for Persistent_BSSBob Duff2-3/+27
2019-08-20[Ada] Illegal limited function call accepted in a type conversionGary Dismukes2-5/+34
2019-08-20[Ada] New pragma Aggregate_Individually_AssignPatrick Bernardi8-829/+903
2019-08-20[Ada] Enable delta_aggregate only in Ada 2020 modeBob Duff3-2/+13
2019-08-20[Ada] Improve generated code for initialization of atomicsBob Duff2-0/+7
2019-08-20[Ada] More complete information level for -gnatR4 outputEric Botcazou2-0/+14
2019-08-20[Ada] Fix a folding issue with System'To_AddressBob Duff2-3/+16
2019-08-20[Ada] Warn on Unchecked_Conversion to zero-sized arrayBob Duff2-16/+59
2019-08-20[Ada] Efficiency improvement in bounded ordered containersBob Duff3-2/+12
2019-08-20[Ada] Warning for out-of-order record representation clausesBob Duff6-13/+148
2019-08-20[Ada] Object_Size clause specifying 0 bits is illegalBob Duff2-0/+10
2019-08-20[Ada] Pragma Warning_As_Error works for style warningsBob Duff13-195/+253
2019-08-20[Ada] Get rid of linear searches in LibEric Botcazou5-26/+116
2019-08-20[Ada] Sem_Ch13: fix uninitialized parameter static analysis warningBob Duff2-0/+6
2019-08-20[Ada] Revert change for gnatprove that is no longer neededPiotr Trojanek2-13/+9
2019-08-20[Ada] Document requirements for Pragma Lock_FreeArnaud Charlet3-0/+65
2019-08-20[Ada] Initialize gnat_argc/gnat_argv only the first timePhilippe Gil2-4/+16
2019-08-20[Ada] Fix documentation for GNAT.Command_Line.Exit_From_Command_LineBob Duff2-2/+7
2019-08-20[Ada] Add missing dot at the end of lang.opt doc for -fdump-scosPierre-Marie de Rodat2-1/+7
2019-08-20Use function_arg_info for TARGET_PASS_BY_REFERENCERichard Sandiford2-1/+6
2019-08-19[Ada] Fix documentation for stream oriented attributesBob Duff3-33/+39