[Ada] Enable Put_Image in pre-Ada-2020 modes
[gcc.git] / gcc / ada /
2020-06-12 Bob Duff[Ada] Enable Put_Image in pre-Ada-2020 modes
2020-06-12 Arnaud Charlet[Ada] AI12-0074 View conversions and out parameters...
2020-06-12 Olivier Hainque[Ada] Bump secondary stack alignment factor in full...
2020-06-12 Piotr Trojanek[Ada] Alphabetic ordering for name and pragmas
2020-06-12 Arnaud Charlet[Ada] Fix handling of Ada 83 OUT parameter rule
2020-06-12 Steve Baird[Ada] Implement AI12-0369
2020-06-12 Ed Schonberg[Ada] Compiler locks up with -gnatX and formal subprogr...
2020-06-12 Eric Botcazou[Ada] Improve code generated for assignment of dynamic...
2020-06-12 Dmitriy Anisimkov[Ada] Don't correct socket timeout on Windows Server...
2020-06-12 Arnaud Charlet[Ada] AI12-0350 Swap for Indefinite_Holders
2020-06-12 Arnaud Charlet[Ada] Fix handling of subprograms declared in a protect...
2020-06-12 Ed Schonberg[Ada] Diagnose illegal overriding indicators in protect...
2020-06-12 Piotr Trojanek[Ada] Reuse Is_Entry where possible
2020-06-12 Piotr Trojanek[Ada] Detect overlapping actuals in entry calls
2020-06-12 Arnaud Charlet[Ada] ACATS 4.2Q - BDD2007
2020-06-12 Bob Duff[Ada] Put_Image: preload type Sink, change what types...
2020-06-12 Piotr Trojanek[Ada] Remove redundant iterations in checks for overlap...
2020-06-12 Piotr Trojanek[Ada] Remove suppression for overlapping actuals in...
2020-06-12 Arnaud Charlet[Ada] ACATS 4.1Q - CDD2A04 - RLS not followed
2020-06-12 Piotr Trojanek[Ada] Simplify getting discriminant value from a list...
2020-06-12 Eric Botcazou[Ada] Implement AI12-0175 Preelaborable packages with...
2020-06-12 Bob Duff[Ada] Remove unnecessary use_clause from stringt.ads
2020-06-12 Eric Botcazou[Ada] Small cleanup in handling of Ada 2012 implicit...
2020-06-12 Ed Schonberg[Ada] Compiler crash on instance with overloaded actual...
2020-06-12 Bob Duff[Ada] Put_Image attribute
2020-06-12 Eric Botcazou[Ada] Fix typos in comments
2020-06-12 Justin Squirek[Ada] Missing accessibility error on object in type...
2020-06-12 Bob Duff[Ada] Ada2020: update Big_Numbers.* specs
2020-06-12 Eric Botcazou[Ada] Implement AI12-0269 No_Return for functions
2020-06-12 GCC AdministratorDaily bump.
2020-06-11 Eric Botcazou[Ada] Fix missing insertion of explicit dereference...
2020-06-11 Eric Botcazou[Ada] Fix assertion failure on entry call through unche...
2020-06-11 Bob Duff[Ada] Make libgnat/a-nbnbin__gmp.adb compile
2020-06-11 Piotr Trojanek[Ada] Refine type of a routine parameter from Node_Id...
2020-06-11 Piotr Trojanek[Ada] Refine type of a counter-like variable
2020-06-11 Piotr Trojanek[Ada] Iterate with procedural version of Next routine...
2020-06-11 Eric Botcazou[Ada] Fix wrong access to large bit-packed arrays with...
2020-06-11 Piotr Trojanek[Ada] Update SPARK RM rule numbers after removing a...
2020-06-11 Ed Schonberg[Ada] Additional warnings on overlapping actuals of...
2020-06-11 Steve Baird[Ada] Allow specifying volatility refinement aspects...
2020-06-11 Piotr Trojanek[Ada] Avoid "others => <>" association in resolved...
2020-06-11 Bob Duff[Ada] Put_Image attribute
2020-06-11 Piotr Trojanek[Ada] Skip unnecessary iterations over constraint expre...
2020-06-11 Piotr Trojanek[Ada] Move duplicated routines for building itypes...
2020-06-11 Piotr Trojanek[Ada] Refine type for sorting case-choices tables
2020-06-11 Piotr Trojanek[Ada] Create constrained itypes for nested record aggre...
2020-06-11 Eric Botcazou[Ada] Consolidate handling of implicit dereferences...
2020-06-11 Piotr Trojanek[Ada] Remove a dubious optimization for Object Specific...
2020-06-11 Piotr Trojanek[Ada] Make Object Specific Dispatch tables constant
2020-06-11 Piotr Trojanek[Ada] Remove useless code in Backend_Processing_Possible
2020-06-11 Piotr Trojanek[Ada] Fix punctuation in comment of Building_Static_Dis...
2020-06-11 Arnaud Charlet[Ada] AI12-0356 Root_Storage_Pool_With_Subpools & Preel...
2020-06-11 Javier Miranda[Ada] Crash on dispatching conditional entry call
2020-06-11 Bob Duff[Ada] Fix unnesting crash with Predicate_Failure/no...
2020-06-11 Bob Duff[Ada] Put_Image attribute
2020-06-11 Piotr Trojanek[Ada] Simplify iteration over formal parameters for...
2020-06-11 Ghjuvan Lacambre[Ada] Generate predicate checks for on assignments...
2020-06-11 Justin Squirek[Ada] Missing accessibility error on object in type...
2020-06-11 Arnaud Charlet[Ada] Remove aspects that were commented out
2020-06-11 Arnaud Charlet[Ada] Add fallback on Integer_Arithmetic
2020-06-11 GCC AdministratorDaily bump.
2020-06-10 Arnaud Charlet[Ada] AI12-0364 Add a modular atomic arithmetic package
2020-06-10 Arnaud Charlet[Ada] AI12-0311 New checks for language-defined units
2020-06-10 Ghjuvan Lacambre[Ada] Don't build equivalent record aggregate if type...
2020-06-10 Arnaud Charlet[Ada] Ada 202x AI12-0192 "requires late initialization"
2020-06-10 Eric Botcazou[Ada] Add missing Sloc on new explicit dereferences
2020-06-10 Ed Schonberg[Ada] Additional warnings on overlapping actuals of...
2020-06-10 Eric Botcazou[Ada] Implement AI12-0162 Memberships and Unchecked_Unions
2020-06-10 Eric Botcazou[Ada] Remove obsolete code in Resolve_Call
2020-06-10 Eric Botcazou[Ada] Insert explicit dereferences when building actual...
2020-06-10 Bob Duff[Ada] Disable unwanted warnings in Assertion_Policy...
2020-06-10 Vasiliy Fofanov[Ada] Fix gnatmetric switches description
2020-06-10 Arnaud Charlet[Ada] Update headers
2020-06-10 Eric Botcazou[Ada] Improve code generated for dynamic discriminated...
2020-06-10 Arnaud Charlet[Ada] Remove more references to ASIS
2020-06-10 Arnaud Charlet[Ada] Fix typo in exception message
2020-06-10 Piotr Trojanek[Ada] Fix minor typo in comment of membership choice...
2020-06-10 Piotr Trojanek[Ada] Revert workaround for expansion of Enum_Rep in...
2020-06-10 Piotr Trojanek[Ada] Fold Enum_Rep attribute in evaluation and not...
2020-06-10 Javier Miranda[Ada] Classwide controlled obj not dispatching
2020-06-10 Ed Schonberg[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_...
2020-06-10 Ghjuvan Lacambre[Ada] Fix assertion failure on functions with contracts
2020-06-10 Piotr Trojanek[Ada] Simplify detection of static membership choices
2020-06-10 Piotr Trojanek[Ada] Minor fix style and typos in comments
2020-06-10 Piotr Trojanek[Ada] Remove unreferenced GNATprove utility routine...
2020-06-10 Arnaud Charlet[Ada] Remove Determine_License
2020-06-10 Justin Squirek[Ada] Incorrect accessibility checks on functions calls
2020-06-10 Ghjuvan Lacambre[Ada] Reject illegal bodies for null procedures
2020-06-10 Eric Botcazou[Ada] Fix incorrect insertion of post-call actions...
2020-06-10 Gary Dismukes[Ada] Minor reformatting and some typo fixes
2020-06-10 GCC AdministratorDaily bump.
2020-06-09 Javier Miranda[Ada] Missing check on private overriding of dispatchin...
2020-06-09 Eric Botcazou[Ada] Small enhancement in XEinfo utility
2020-06-09 Eric Botcazou[Ada] Implement AI12-0028: Import of variadic C functions
2020-06-09 Arnaud Charlet[Ada] Code clean ups and comments updates
2020-06-09 Arnaud Charlet[Ada] Improve handling of null unbounded strings
2020-06-09 Arnaud Charlet[Ada] Remove kludge for AI05-0087
2020-06-09 Eric Botcazou[Ada] Small cleanup in Einfo unit
2020-06-09 Ed Schonberg[Ada] Ada2020 AI12-0282: Shared variable control aspect...
2020-06-09 Arnaud Charlet[Ada] Improve handling of aggregates in Side_Effect_Free
next