summaryrefslogtreecommitdiff
path: root/gcc/ada
Commit message (Expand)AuthorAgeFilesLines
* [Ada] Handling up-level references in loops within library-level declarationsGary Dismukes2019-10-102-3/+97
* [Ada] Ensure constructor is a C++ constructorArnaud Charlet2019-10-102-3/+4
* [Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_TypeGary Dismukes2019-10-102-3/+4
* [Ada] Fix inlining of subprograms with deep param/result in GNATproveYannick Moy2019-10-102-4/+17
* [Ada] Various minor typo fixesGary Dismukes2019-10-109-21/+22
* [Ada] Spurious warning on call with out parameter in expression functionEd Schonberg2019-10-102-7/+9
* [Ada] Unnesting issues with entry families and accept statementsGary Dismukes2019-10-103-11/+20
* [Ada] Spurious visibility error on formal package with Abstract_StateEd Schonberg2019-10-102-4/+43
* [Ada] Fix awkward placement of freeze node for actual subtypeEric Botcazou2019-10-102-11/+4
* [Ada] Get rid of spurious error for _Tag on extension with reverse bit orderEric Botcazou2019-10-102-25/+44
* [Ada] Debug procedure for printing ancestorsBob Duff2019-10-103-5/+13
* [Ada] 'others' in conditional_expressionsBob Duff2019-10-106-28/+135
* [Ada] Missing Predicated_Parent link on array ItypeEd Schonberg2019-10-102-5/+13
* [Ada] Plug minor loophole for integer named numberEric Botcazou2019-10-102-4/+6
* [Ada] Do not inline subprograms with deep parameter/result in GNATproveYannick Moy2019-10-102-3/+116
* [Ada] Define default value for Process fieldVadim Godunko2019-10-102-5/+4
* [Ada] T'Size in pragma Compile_Time_ErrorBob Duff2019-10-102-4/+12
* [Ada] Assertion_Policy (Ignore) ignores invariantsBob Duff2019-10-105-10/+49
* [Ada] Fix handling of -gnatceg on incomplete unitArnaud Charlet2019-10-102-43/+19
* [Ada] Generation of procedures for blocks occurring in elaboration code for LLVMGary Dismukes2019-10-102-161/+269
* [Ada] Mention GNAT Studio instead of GPSAnthony Leonardo Gracio2019-10-1017-45/+54
* [Ada] Spurious restriction violation on Ghost codeEd Schonberg2019-10-102-15/+11
* [Ada] Replace in Ordered_Maps gets tampering failureBob Duff2019-10-1023-100/+109
* [Ada] Spurious visibility error in predicate in generic instanceEd Schonberg2019-10-102-12/+14
* [Ada] Flag Sec_Stack_Used incorrectly set by ghost codePatrick Bernardi2019-10-103-82/+97
* [Ada] Use declared type for deciding on SPARK pointer rulesPiotr Trojanek2019-10-102-5442/+5
* Mark C2x built-in functions as such.Joseph Myers2019-10-042-0/+5
* libada: Respect `--enable-version-specific-runtime-libs'Maciej W. Rozycki2019-10-012-3/+10
* libada: Remove racy duplicate gnatlib installationMaciej W. Rozycki2019-10-012-1/+9
* set DECL_SIZE_UNIT for zero-sized fieldsAlexandre Oliva2019-09-272-0/+6
* * osint.adb (OS_Time_To_GNAT_Time): Remove dependency on To_C/To_AdaArnaud Charlet2019-09-262-2/+18
* Provide Task_Info.Number_Of_Processors on SolarisRainer Orth2019-09-234-0/+35
* trans.c (Regular_Loop_to_gnu): Do not rotate the loop if -Og is enabled.Eric Botcazou2019-09-233-5/+20
* trans.c (gnat_compile_time_expr_list): New variable.Eric Botcazou2019-09-232-12/+39
* trans.c (Attribute_to_gnu): Test Can_Use_Internal_Rep on the underlying type ...Eric Botcazou2019-09-232-25/+29
* decl.c (components_to_record): Do not reorder fields in packed record types i...Eric Botcazou2019-09-232-4/+17
* [Ada] Emit DW_AT_GNU_bias with -fgnat-encodings=gdbTom Tromey2019-09-192-1/+6
* [Ada] Accept concatentation arguments to pragma AnnotateSteve Baird2019-09-194-14/+76
* [Ada] Get rid of useless temporary for slice in overaligned record typeEric Botcazou2019-09-192-2/+10
* [Ada] Sem_Ch12: add a comment to indicate future workEric Botcazou2019-09-192-0/+10
* [Ada] Fix copy operation with private discriminated record typeEric Botcazou2019-09-192-3/+10
* [Ada] Fix bogus "too late" error with nested generics and inliningEric Botcazou2019-09-192-0/+68
* [Ada] Fix bogus visibility error with nested generics and inliningEric Botcazou2019-09-192-3/+10
* [Ada] New routine GNAT.Sockets.Create_Socket_PairDmitriy Anisimkov2019-09-1910-146/+330
* [Ada] Use declared type for deciding on SPARK pointer rulesYannick Moy2019-09-192-7/+6
* [Ada] Spurious visibility error in generic child unitEd Schonberg2019-09-192-3/+23
* [Ada] Disable inlining of traversal function in GNATproveYannick Moy2019-09-192-0/+34
* [Ada] Allow constants of access type in Global contractsYannick Moy2019-09-192-5/+39
* [Ada] Exp_Attr: remove obsolete commentArnaud Charlet2019-09-192-3/+4
* [Ada] Fix run-time segfault with derived access-to-subprogram typeEric Botcazou2019-09-192-0/+10
View Lorry Controller Status