aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)Author
2019-11-25 PR ada/92362Eric Botcazou
2019-11-25 PR ada/92575Eric Botcazou
2019-11-06introduce -fcallgraph-info optionEric Botcazou
2019-10-27 * locales.c (iso_3166): Add missing comma after "United-States".Jakub Jelinek
2019-10-15 * Makefile.rtl (a-except.o): Put -O1 earlier so that it can beArnaud Charlet
2019-10-12 PR ada/91995Eric Botcazou
2019-10-11 * gcc-interface/decl.c (elaborate_reference_1): Specifically deal withEric Botcazou
2019-10-11 * gcc-interface/decl.c (gnat_to_gnu_field): Adjust again the packingEric Botcazou
2019-10-11 * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Really test theEric Botcazou
2019-10-11 * gcc-interface/decl.c (Gigi_Equivalent_Type) <E_Array_Subtype>: NewEric Botcazou
2019-10-11 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Named_{Integer|Real}>:Eric Botcazou
2019-10-11[Ada] Repair ChangeLog entriesPierre-Marie de Rodat
2019-10-10[Ada] Handling up-level references in loops within library-level declarationsGary Dismukes
2019-10-10[Ada] Ensure constructor is a C++ constructorArnaud Charlet
2019-10-10[Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_TypeGary Dismukes
2019-10-10[Ada] Fix inlining of subprograms with deep param/result in GNATproveYannick Moy
2019-10-10[Ada] Various minor typo fixesGary Dismukes
2019-10-10[Ada] Spurious warning on call with out parameter in expression functionEd Schonberg
2019-10-10[Ada] Unnesting issues with entry families and accept statementsGary Dismukes
2019-10-10[Ada] Spurious visibility error on formal package with Abstract_StateEd Schonberg
2019-10-10[Ada] Fix awkward placement of freeze node for actual subtypeEric Botcazou
2019-10-10[Ada] Get rid of spurious error for _Tag on extension with reverse bit orderEric Botcazou
2019-10-10[Ada] Debug procedure for printing ancestorsBob Duff
2019-10-10[Ada] 'others' in conditional_expressionsBob Duff
2019-10-10[Ada] Missing Predicated_Parent link on array ItypeEd Schonberg
2019-10-10[Ada] Plug minor loophole for integer named numberEric Botcazou
2019-10-10[Ada] Do not inline subprograms with deep parameter/result in GNATproveYannick Moy
2019-10-10[Ada] Define default value for Process fieldVadim Godunko
2019-10-10[Ada] T'Size in pragma Compile_Time_ErrorBob Duff
2019-10-10[Ada] Assertion_Policy (Ignore) ignores invariantsBob Duff
2019-10-10[Ada] Fix handling of -gnatceg on incomplete unitArnaud Charlet
2019-10-10[Ada] Generation of procedures for blocks occurring in elaboration code for LLVMGary Dismukes
2019-10-10[Ada] Mention GNAT Studio instead of GPSAnthony Leonardo Gracio
2019-10-10[Ada] Spurious restriction violation on Ghost codeEd Schonberg
2019-10-10[Ada] Replace in Ordered_Maps gets tampering failureBob Duff
2019-10-10[Ada] Spurious visibility error in predicate in generic instanceEd Schonberg
2019-10-10[Ada] Flag Sec_Stack_Used incorrectly set by ghost codePatrick Bernardi
2019-10-10[Ada] Use declared type for deciding on SPARK pointer rulesPiotr Trojanek
2019-10-04Mark C2x built-in functions as such.Joseph Myers
2019-10-01libada: Respect `--enable-version-specific-runtime-libs'Maciej W. Rozycki
2019-10-01libada: Remove racy duplicate gnatlib installationMaciej W. Rozycki
2019-09-27set DECL_SIZE_UNIT for zero-sized fieldsAlexandre Oliva
2019-09-26 * osint.adb (OS_Time_To_GNAT_Time): Remove dependency on To_C/To_AdaArnaud Charlet
2019-09-23Provide Task_Info.Number_Of_Processors on SolarisRainer Orth
2019-09-23 * gcc-interface/trans.c (Regular_Loop_to_gnu): Do not rotate the loopEric Botcazou
2019-09-23 * gcc-interface/trans.c (gnat_compile_time_expr_list): New variable.Eric Botcazou
2019-09-23 * gcc-interface/trans.c (Attribute_to_gnu): Test Can_Use_Internal_RepEric Botcazou
2019-09-23 * gcc-interface/decl.c (components_to_record): Do not reorder fieldsEric Botcazou
2019-09-19[Ada] Emit DW_AT_GNU_bias with -fgnat-encodings=gdbTom Tromey
2019-09-19[Ada] Accept concatentation arguments to pragma AnnotateSteve Baird