aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2018-06-12ada-tree.h (TYPE_RETURN_BY_DIRECT_REF_P): Change from using TYPE_LANG_FLAG_4 ...Eric Botcazou5-30/+45
2018-06-12decl.c (gnat_to_gnu_entity): Do not get the expression of a dispatch table th...Eric Botcazou2-15/+12
2018-06-12decl.c (warn_on_field_placement): Use specific wording for discriminants.Eric Botcazou2-19/+52
2018-06-12decl.c (variant_desc): Add AUX field.Eric Botcazou3-67/+138
2018-06-11[Ada] Fix wrong code for initialization of fat pointer with -OgEric Botcazou2-20/+41
2018-06-11[Ada] Suppress the expansion of ignored assertion pragmasHristian Kirtchev5-43/+105
2018-06-11[Ada] Minor reformattingHristian Kirtchev11-69/+84
2018-06-11[Ada] Typo fixes and minor reformattingGary Dismukes3-13/+16
2018-06-11[Ada] Double finalization of limited controlled resultHristian Kirtchev3-271/+337
2018-06-11[Ada] Improve last exception info availability from C++ handlersOlivier Hainque5-44/+137
2018-06-11[Ada] Unnesting: refactor handling of uplevel refs. for unconstrained arraysEd Schonberg3-28/+186
2018-06-11[Ada] Dangling cursor checks in Element functionBob Duff7-0/+48
2018-06-11[Ada] Mark parameters as coming from source for GNATproveYannick Moy2-0/+21
2018-06-11[Ada] Missing predicate function body for derived type in nested packageEd Schonberg2-1/+21
2018-06-11[Ada] Reject violation of SPARK 6.1.4(12) with enclosing task unitYannick Moy2-11/+35
2018-06-11[Ada] Minor tweaks for RepinfoEric Botcazou2-3/+11
2018-06-11[Ada] Make GNAT.Array_Split a preelaborable unitHristian Kirtchev2-0/+5
2018-06-11[Ada] Simplify expansion of "and then" in CodePeer modeArnaud Charlet2-11/+29
2018-06-11[Ada] Crash on protected type entry familyJavier Miranda2-2/+10
2018-06-11[Ada] Minor reformattingArnaud Charlet5-10/+15
2018-06-11[Ada] Add Suppressible argument to Assertion_Policy in documentationYannick Moy3-3/+9
2018-06-11[Ada] Do not query the representation information in CodePeer/GNATproveYannick Moy2-1/+14
2018-06-11[Ada] Mark extended return of unconstrained type as never inlinedYannick Moy2-13/+64
2018-06-11[Ada] Do not force Part_Of on generic unitsYannick Moy2-12/+22
2018-06-11[Ada] Don't split AND THEN expressions in GNATprove_ModePiotr Trojanek2-2/+11
2018-06-11[Ada] Fix handling of Pre/Post contracts with AND THEN expressionsPiotr Trojanek2-1/+8
2018-06-11[Ada] Unnesting: robustify analysis of block statementsEd Schonberg2-5/+9
2018-06-11[Ada] Unnesting: fix handling of generic associationsEd Schonberg2-0/+11
2018-06-11[Ada] Memtrack: have only one definition of fwriteArnaud Charlet2-9/+11
2018-06-11[Ada] Wrong code in array aggregates of Ada coextensionsJavier Miranda4-2/+21
2018-06-11[Ada] Unnesting: fix handling of stubsEd Schonberg2-8/+24
2018-06-11[Ada] Refactor compilation of Ada units in Makefile.rtlArnaud Charlet2-18/+27
2018-06-11[Ada] Minor reformattingHristian Kirtchev7-38/+51
2018-06-11[Ada] Crash with Inline_Always on a function with an extended returnEd Schonberg2-8/+32
2018-06-11[Ada] Bindgen: protect reference to System.Parameters with Sec_Stack_UsedArnaud Charlet2-4/+13
2018-06-11[Ada] Performance degradation with referencesHristian Kirtchev6-175/+206
2018-06-11[Ada] Rename "GPL Edition" into "Community Edition"Valentine Reboul3-2/+7
2018-06-11[Ada] Crash on instantiation of nested generic in private partEd Schonberg2-2/+14
2018-06-11[Ada] Remove obsolete code in ErroutEric Botcazou2-31/+4
2018-06-11[Ada] Avoid a stack overflow in 'Value for invalid long stringsNicolas Roche2-1/+14
2018-06-11[Ada] Minor tweaks in RepinfoEric Botcazou3-9/+15
2018-06-11[Ada] Unnesting: improve handling of bounds for formal parametersEd Schonberg2-0/+20
2018-06-02decl.c (gnat_to_gnu_entity): If this is not a definition...Eric Botcazou3-10/+22
2018-06-02ada-tree.h (TYPE_PADDING_FOR_COMPONENT): New macro.Eric Botcazou3-12/+43
2018-05-31[Ada] Remove obsolete figure in documentationPierre-Marie de Rodat2-0/+4
2018-05-31[Ada] Add missing spec files for VxWorks runtimesPierre-Marie de Rodat8-0/+54
2018-05-31[Ada] Minor copyright header adjustmentsPierre-Marie de Rodat3-2/+7
2018-05-31[Ada] Document Stubs_Subdir in gnattest section on user guideFedor Rybin2-0/+8
2018-05-31[Ada] Static predicate check on characters of a string literalEd Schonberg2-2/+14
2018-05-31[Ada] Remove obsolete code in trans.cEric Botcazou2-9/+4