aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2019-08-30decl.c (maybe_saturate_size): New function.Eric Botcazou3-6/+28
2019-08-30ada-tree.h (DECL_FORCED_BY_REF_P): New macro.Eric Botcazou4-20/+32
2019-08-30trans.c (gnat_to_gnu): Do not set the location on an expression used for a tag.Eric Botcazou2-2/+13
2019-08-30gigi.h (aggregate_type_contains_array_p): Declare.Eric Botcazou4-63/+70
2019-08-30trans.c (lvalue_required_p): Adjust GNU_TYPE in the recursive call.Eric Botcazou2-4/+12
2019-08-30utils.c (build_template): Deal with parameters passed by pointer to component...Eric Botcazou2-13/+21
2019-08-30decl.c (annotate_value): Inline the call also if List_Representation_Info is ...Eric Botcazou2-1/+6
2019-08-30* gcc-interface/trans.c (Attribute_to_gnu) <Attr_Size>: Add assertion.Eric Botcazou2-0/+7
2019-08-30gigi.h (gigi_checking_assert): New macro.Eric Botcazou4-146/+83
2019-08-23re PR middle-end/91283 (gcc.dg/torture/c99-contract-1.c FAILs)Jakub Jelinek2-2/+8
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