aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2019-10-27* locales.c (iso_3166): Add missing comma after "United-States".Jakub Jelinek2-1/+5
2019-10-15Makefile.rtl (a-except.o): Put -O1 earlier so that it can be overriden if nee...Arnaud Charlet2-2/+7
2019-10-12re PR ada/91995 (gnat miscompilation and bootstrap failure on m68k-linux)Eric Botcazou5-61/+36
2019-10-11decl.c (elaborate_reference_1): Specifically deal with pointer displacement.Eric Botcazou3-3/+21
2019-10-11decl.c (gnat_to_gnu_field): Adjust again the packing for a field without stri...Eric Botcazou2-0/+12
2019-10-11decl.c (annotate_value): Really test the sign of the value when deciding to b...Eric Botcazou2-9/+14
2019-10-11decl.c (Gigi_Equivalent_Type): New case.Eric Botcazou2-0/+10
2019-10-11decl.c (gnat_to_gnu_entity): New case to deal with the definition of named nu...Eric Botcazou4-20/+72
2019-10-11[Ada] Repair ChangeLog entriesPierre-Marie de Rodat1-1/+5659
2019-10-10[Ada] Handling up-level references in loops within library-level declarationsGary Dismukes2-3/+97
2019-10-10[Ada] Ensure constructor is a C++ constructorArnaud Charlet2-3/+4
2019-10-10[Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_TypeGary Dismukes2-3/+4
2019-10-10[Ada] Fix inlining of subprograms with deep param/result in GNATproveYannick Moy2-4/+17
2019-10-10[Ada] Various minor typo fixesGary Dismukes9-21/+22
2019-10-10[Ada] Spurious warning on call with out parameter in expression functionEd Schonberg2-7/+9
2019-10-10[Ada] Unnesting issues with entry families and accept statementsGary Dismukes3-11/+20
2019-10-10[Ada] Spurious visibility error on formal package with Abstract_StateEd Schonberg2-4/+43
2019-10-10[Ada] Fix awkward placement of freeze node for actual subtypeEric Botcazou2-11/+4
2019-10-10[Ada] Get rid of spurious error for _Tag on extension with reverse bit orderEric Botcazou2-25/+44
2019-10-10[Ada] Debug procedure for printing ancestorsBob Duff3-5/+13
2019-10-10[Ada] 'others' in conditional_expressionsBob Duff6-28/+135
2019-10-10[Ada] Missing Predicated_Parent link on array ItypeEd Schonberg2-5/+13
2019-10-10[Ada] Plug minor loophole for integer named numberEric Botcazou2-4/+6
2019-10-10[Ada] Do not inline subprograms with deep parameter/result in GNATproveYannick Moy2-3/+116
2019-10-10[Ada] Define default value for Process fieldVadim Godunko2-5/+4
2019-10-10[Ada] T'Size in pragma Compile_Time_ErrorBob Duff2-4/+12
2019-10-10[Ada] Assertion_Policy (Ignore) ignores invariantsBob Duff5-10/+49
2019-10-10[Ada] Fix handling of -gnatceg on incomplete unitArnaud Charlet2-43/+19
2019-10-10[Ada] Generation of procedures for blocks occurring in elaboration code for LLVMGary Dismukes2-161/+269
2019-10-10[Ada] Mention GNAT Studio instead of GPSAnthony Leonardo Gracio17-45/+54
2019-10-10[Ada] Spurious restriction violation on Ghost codeEd Schonberg2-15/+11
2019-10-10[Ada] Replace in Ordered_Maps gets tampering failureBob Duff23-100/+109
2019-10-10[Ada] Spurious visibility error in predicate in generic instanceEd Schonberg2-12/+14
2019-10-10[Ada] Flag Sec_Stack_Used incorrectly set by ghost codePatrick Bernardi3-82/+97
2019-10-10[Ada] Use declared type for deciding on SPARK pointer rulesPiotr Trojanek2-5442/+5
2019-10-04Mark C2x built-in functions as such.Joseph Myers2-0/+5
2019-10-01libada: Respect `--enable-version-specific-runtime-libs'Maciej W. Rozycki2-3/+10
2019-10-01libada: Remove racy duplicate gnatlib installationMaciej W. Rozycki2-1/+9
2019-09-27set DECL_SIZE_UNIT for zero-sized fieldsAlexandre Oliva2-0/+6
2019-09-26* osint.adb (OS_Time_To_GNAT_Time): Remove dependency on To_C/To_AdaArnaud Charlet2-2/+18
2019-09-23Provide Task_Info.Number_Of_Processors on SolarisRainer Orth4-0/+35
2019-09-23trans.c (Regular_Loop_to_gnu): Do not rotate the loop if -Og is enabled.Eric Botcazou3-5/+20
2019-09-23trans.c (gnat_compile_time_expr_list): New variable.Eric Botcazou2-12/+39
2019-09-23trans.c (Attribute_to_gnu): Test Can_Use_Internal_Rep on the underlying type ...Eric Botcazou2-25/+29
2019-09-23decl.c (components_to_record): Do not reorder fields in packed record types i...Eric Botcazou2-4/+17
2019-09-19[Ada] Emit DW_AT_GNU_bias with -fgnat-encodings=gdbTom Tromey2-1/+6
2019-09-19[Ada] Accept concatentation arguments to pragma AnnotateSteve Baird4-14/+76
2019-09-19[Ada] Get rid of useless temporary for slice in overaligned record typeEric Botcazou2-2/+10
2019-09-19[Ada] Sem_Ch12: add a comment to indicate future workEric Botcazou2-0/+10
2019-09-19[Ada] Fix copy operation with private discriminated record typeEric Botcazou2-3/+10