[Ada] Unnesting: handle conditional expressions
[gcc.git] / gcc / ada / ChangeLog
2019-07-04 Ed Schonberg[Ada] Unnesting: handle conditional expressions
2019-07-04 Yannick Moy[Ada] Skip code not in SPARK for ownership analysis
2019-07-04 Hristian Kirtchev[Ada] Minor reformatting
2019-07-04 Yannick Moy[Ada] Better error messages for ownership errors in...
2019-07-04 Arnaud Charlet[Ada] CCG: reduce generated temporaries
2019-07-04 Piotr Trojanek[Ada] Keep assertions in internal units enabled for...
2019-07-04 Arnaud Charlet[Ada] CCG: restrict folding for boolean tests
2019-07-04 Arnaud Charlet[Ada] Reduce emitted code size in CCG for aggregate...
2019-07-04 Dmitriy Anisimkov[Ada] GNAT.Sockets: fix socket timeout on recent Window...
2019-07-04 Thomas Quinot[Ada] Get_Scos: Remove bogus, dead code
2019-07-04 Ed Schonberg[Ada] Spurious dimensionality error on aggregate with...
2019-07-03 Bob Duff[Ada] Document new flags in GNATpp
2019-07-03 Hristian Kirtchev[Ada] Forced elaboration order in Elaboration order...
2019-07-03 Bob Duff[Ada] Crash on anonymous access-to-class-wide with...
2019-07-03 Yannick Moy[Ada] Suppress warnings in generic instantiations with...
2019-07-03 Johannes Kanig[Ada] New routine to access file on command line
2019-07-03 Ed Schonberg[Ada] Crash on front-end inlining of subp. with aspect...
2019-07-03 Justin Squirek[Ada] Incorrect expansion on renamings of formal parameters
2019-07-03 Yannick Moy[Ada] Refine pointer support in SPARK
2019-07-03 Hristian Kirtchev[Ada] Spurious visibility error in inlined function
2019-07-03 Gary Dismukes[Ada] Minor editorial corrections and reformatting
2019-07-03 Bob Duff[Ada] Improve warnings about infinite loops
2019-07-03 Bob Duff[Ada] Document default new-line behavior for GNATpp
2019-07-03 Hristian Kirtchev[Ada] ABE checks v3.0, foundations of Elaboration order...
2019-07-03 Yannick Moy[Ada] SPARK pointer support extended to local borrowers...
2019-07-03 Ed Schonberg[Ada] Spurious error with static predicate in generic...
2019-07-03 Hristian Kirtchev[Ada] Minor reformatting
2019-07-03 Bob Duff[Ada] Style check for mixed-case identifiers
2019-07-03 Eric Botcazou[Ada] Extend -gnatw.z warning to array types
2019-07-03 Bob Duff[Ada] Spell "laid" correctly
2019-07-03 Ed Schonberg[Ada] Spurious error on dynamic predicate in a generic...
2019-07-03 Eric Botcazou[Ada] Fix bogus error on array with overaligned scalar...
2019-07-03 Ed Schonberg[Ada] Make loop labels unique for front-end inlined...
2019-07-03 Hristian Kirtchev[Ada] Update the section on resolving elaboration circu...
2019-07-03 Arnaud Charlet[Ada] Add a gnatbind option to generate C code
2019-07-03 Arnaud Charlet[Ada] Do not consider inlined subprograms when generati...
2019-07-03 Justin Squirek[Ada] Missing consistency check for constant modifier
2019-07-03 Arnaud Charlet[Ada] Clarify wording on documentation for No_Multiple_...
2019-07-03 Ed Schonberg[Ada] Spurious error on predicate of subtype in generic
2019-07-03 Eric Botcazou[Ada] Document that boolean types with convention C...
2019-07-03 Javier Miranda[Ada] Exp_Attr: remove dead code
2019-07-02 Iain Sandoe[PATCH, Ada, Darwin, PPC] PPC Darwin has stack check...
2019-07-01 Ed Schonberg[Ada] Spurious error on inst. of partially defaulted...
2019-07-01 Hristian Kirtchev[Ada] Minor reformatting
2019-07-01 Ed Schonberg[Ada] More permissive use of GNAT attribute Enum_Rep
2019-07-01 Eric Botcazou[Ada] Make No_Inline pragma effective for generic subpr...
2019-07-01 Ed Schonberg[Ada] Spurious error private subtype derivation
2019-07-01 Yannick Moy[Ada] SPARK support for pointers through ownership
2019-07-01 Dmitriy Anisimkov[Ada] GNAT.Sockets: refactor Has_Sockaddr_Len
2019-07-01 Ed Schonberg[Ada] Crash on improper pragma Weak_External
2019-07-01 Piotr Trojanek[Ada] Remove a SPARK rule about implicit Global
2019-07-01 Piotr Trojanek[Ada] Cleanup references to LynuxWorks in docs and...
2019-07-01 Ed Schonberg[Ada] Wrong code with -gnatVa on lock-free protected...
2019-07-01 Eric Botcazou[Ada] Make No_Inline pragma effective for protected...
2019-07-01 Ed Schonberg[Ada] Unnesting: improve handling of private and incomp...
2019-07-01 Pat Rogers[Ada] Correct size in representation clauses documentation
2019-07-01 Justin Squirek[Ada] Incorrect definition of Win32 compatible types
2019-07-01 Bob Duff[Ada] gprbuild fails to find ghost ALI files
2019-07-01 Yannick Moy[Ada] Improve error message on mult/div between fixed...
2019-07-01 Piotr Trojanek[Ada] Revert "Global => null" on calendar routines...
2019-07-01 Piotr Trojanek[Ada] Fix "componant" typos in comments
2019-07-01 Hristian Kirtchev[Ada] Clean up of GNAT.Graphs
2019-07-01 Hristian Kirtchev[Ada] Clean up of GNAT.Sets
2019-07-01 Hristian Kirtchev[Ada] Clean up of GNAT.Lists
2019-07-01 Hristian Kirtchev[Ada] Clean up of GNAT.Dynamic_HTables
2019-07-01 Hristian Kirtchev[Ada] Minor reformatting
2019-07-01 Javier Miranda[Ada] Disable expansion of 'Min/'Max of floating point...
2019-07-01 Hristian Kirtchev[Ada] Implement GNAT.Graphs
2019-07-01 Dmitriy Anisimkov[Ada] GNAT.Sockets: fix Get_Address when AF_INET6 is...
2019-07-01 Ed Schonberg[Ada] Compiler abort on use of Invalid_Value on numeric...
2019-07-01 Hristian Kirtchev[Ada] Crash due to missing freeze nodes in transient...
2019-07-01 Pierre-Marie de... [Ada] Fix formatting issues in the gnat_ugn documentation
2019-06-30 Iain Sandoe[PATCH, Ada] Push -shared-libgcc where needed.
2019-06-29 Eric Botcazoudecl.c (gnat_to_gnu_entity): Beep up comment on SAVED...
2019-06-29 Eric Botcazouutils.c (unchecked_convert): Tweak comment.
2019-06-29 Eric Botcazoudecl.c (gnat_to_gnu_entity): If the type requires stric...
2019-06-29 Eric Botcazoudecl.c (gnat_to_gnu_field): Rework error messages for...
2019-06-29 Eric Botcazoutrans.c (mark_visited_r): Set TYPE_SIZES_GIMPLIFIED...
2019-06-29 Eric Botcazoudecl.c (set_nonaliased_component_on_array_type): Add...
2019-06-29 Eric Botcazouexpr.c (expand_expr_real_1): Apply the big-endian adjus...
2019-06-25 Eric Botcazoudecl.c (gnat_to_gnu_entity): Remove superfluous test...
2019-06-24 Jan Hubickaipa-utils.h (type_with_linkage_p): Verify that type...
2019-06-24 Martin Seborutils.c (handle_nonnull_attribute): Quote attribute...
2019-06-18 Arnaud Charletre PR ada/80590 (non-bootstrap build failure of Ada...
2019-06-17 Arnaud Charletre PR ada/80590 (non-bootstrap build failure of Ada...
2019-05-28 Eric Botcazou* gcc-interface/utils.c (handle_stack_protect_attribute...
2019-05-28 Eric Botcazouimplementation_defined_pragmas.rst (Machine_Attribute...
2019-05-28 Eric Botcazoutrans.c (lvalue_required_for_attribute_p): Return 0...
2019-05-28 Eric Botcazoutrans.c (gnat_to_gnu): Remove superfluous tests on...
2019-05-28 Eric Botcazoutrans.c (walk_nesting_tree): New static function.
2019-05-28 Eric Botcazoudecl.c (gnat_to_gnu_entity): Remove obsolete test on...
2019-05-28 Eric Botcazoudecl.c (components_to_record): Set a name on the type...
2019-05-28 Eric Botcazouutils.c (gnat_internal_attribute_table): Add support...
2019-05-28 Eric Botcazoudecl.c (intrin_arglists_compatible_p): Do not return...
2019-05-27 Eric Botcazoutrans.c (Call_to_gnu): Do not initialize the temporary...
2019-05-27 Eric Botcazouada-builtin-types.def: New file.
2019-05-27 Eric Botcazouutils.c (maybe_pad_type): Issue the warning for the...
2019-05-27 Eric Botcazoutrans.c (Identifier_to_gnu): Minor tweaks.
2019-05-27 Eric Botcazoutrans.c (Gigi_Types_Compatible): New predicate.
2019-05-27 Eric Botcazoutrans.c (Call_to_gnu): Use the unpadded type when putti...
next