aarch64: Add missing ACLE support for PAC-RET
[gcc.git] / gcc / ada /
2020-07-11 GCC AdministratorDaily bump.
2020-07-10 Piotr Trojanek[Ada] Revert mistaken negation related to references...
2020-07-10 Eric Botcazou[Ada] Add warning for overlays changing scalar storage...
2020-07-10 Piotr Trojanek[Ada] Fix detection of actual parameters for procedure...
2020-07-10 Bob Duff[Ada] Ada2020: AI12-0368 Declare expressions can be...
2020-07-10 Ed Schonberg[Ada] Spurious error on parameterless acccess_to_subprogram
2020-07-10 Eric Botcazou[Ada] Further improve the expansion of array aggregates
2020-07-10 Arnaud Charlet[Ada] Preserve casing of output files
2020-07-10 Pascal Obry[Ada] Fix memory leak in routine Wait_On_Socket
2020-07-10 Pascal Obry[Ada] Minor style fixes
2020-07-10 Javier Miranda[Ada] Potentially unevaluated nested expressions
2020-07-10 Gary Dismukes[Ada] Reformatting and typo corrections
2020-07-10 Yannick Moy[Ada] Fix detection of volatile properties in SPARK
2020-07-10 Piotr Trojanek[Ada] Cleanup excessive conditions in Check_Completion
2020-07-10 Piotr Trojanek[Ada] Remove references to non-existing E_Protected_Object
2020-07-10 Arnaud Charlet[Ada] Use small limit for aggregates inside subprograms
2020-07-10 Eric Botcazou[Ada] Small cleanup throughout Exp_Ch4
2020-07-10 Javier Miranda[Ada] Spurious error in generic dispatching constructor...
2020-07-10 Yannick Moy[Ada] Fix assertion failure on (in-)out function parameter
2020-07-10 Piotr Trojanek[Ada] Revert too late setting of Ekind on discriminants
2020-07-10 Joffrey Huguet[Ada] Add global contracts to Ada.Numerics.Big_Numbers...
2020-07-10 Ed Schonberg[Ada] Part of implementation of AI12-0212: container...
2020-07-10 Arnaud Charlet[Ada] Make System.Generic_Bignums more flexible
2020-07-10 Eric Botcazou[Ada] Fix crash on quantified expression in expression...
2020-07-10 Eric Botcazou[Ada] Fix crash on quantified expression in expression...
2020-07-10 Eric Botcazou[Ada] Fix internal error on if-expression in call retur...
2020-07-10 Piotr Trojanek[Ada] Fix failing assertions related to volatile objects
2020-07-10 Yannick Moy[Ada] Remove use of debug flag -gnatdF for GNATprove
2020-07-10 Piotr Trojanek[Ada] Reuse SPARK expansion of attribute Update for...
2020-07-10 Piotr Trojanek[Ada] Fix expansion of 'Update with multiple choices...
2020-07-10 Arnaud Charlet[Ada] Crash in Walk_Library_Items on ghost units
2020-07-09 GCC AdministratorDaily bump.
2020-07-08 Eric Botcazou[Ada] Disable warning about unsafe use of __builtin_fra...
2020-07-08 Dmitriy Anisimkov[Ada] Fix C miss parentheses warning on Windows
2020-07-08 Eric Botcazou[Ada] Fix warnings in C runtime files on Windows
2020-07-08 Eric Botcazou[Ada] Do not apply constraint checks on allocator with...
2020-07-08 Javier Miranda[Ada] Fix recent regression on _Master declaration
2020-07-08 Arnaud Charlet[Ada] Clean up in Interfaces.C.Extensions
2020-07-08 Vasiliy Fofanov[Ada] Optional warning on build-in-place function calls
2020-07-08 Piotr Trojanek[Ada] Fix typo and layout in comments about matching
2020-07-08 Eric Botcazou[Ada] Fix internal error on string type comparision...
2020-07-08 Eric Botcazou[Ada] Fix incorrect placement of freeze node with predicate
2020-07-08 Gary Dismukes[Ada] Minor reformatting and typo fix
2020-07-08 Eric Botcazou[Ada] Add comment on implementation choice for byte...
2020-07-08 Piotr Trojanek[Ada] Accept aspect Relaxed_Initialization on generic...
2020-07-08 Piotr Trojanek[Ada] Analyze aspects once generic subprograms are...
2020-07-08 Arnaud Charlet[Ada] ACATS 4.1R - BD10001 - Error missed
2020-07-08 Ed Schonberg[Ada] Update entities on class-wide condition function...
2020-07-08 Bob Duff[Ada] Disallow Predicate_Failure without predicate
2020-07-08 Gary Dismukes[Ada] Typo corrections, plus minor reformatting in...
2020-07-08 Ed Schonberg[Ada] Ada_2020 AI12-0250 : Implement Iterator filters.
2020-07-08 Yannick Moy[Ada] Add utility function to recognize attribute ...
2020-07-08 Ghjuvan Lacambre[Ada] Add expected and actual size to "bit number out...
2020-07-08 Piotr Trojanek[Ada] Remove excessive validity checks on in-parameters
2020-07-08 Justin Squirek[Ada] Minor refactoring
2020-07-08 Gary Dismukes[Ada] Static expression function problems with -gnatc...
2020-07-08 Eric Botcazou[Ada] Fix inaccurate -gnatR output for derived untagged...
2020-07-08 Piotr Trojanek[Ada] Allow boolean expressions in aspect Relaxed_Initi...
2020-07-08 Piotr Trojanek[Ada] Style cleanups related to Current_Condition
2020-07-08 Piotr Trojanek[Ada] Extend optimization to True/False prefixed with...
2020-07-08 Bob Duff[Ada] Check predicates for subtypes of private types
2020-07-08 Eric Botcazou[Ada] Small tweak to Narrow_Large_Operation procedure
2020-07-08 GCC AdministratorDaily bump.
2020-07-07 Eric Botcazou[Ada] Small adjustment in the handling of alignment...
2020-07-07 Bob Duff[Ada] Avoid crash on node extension
2020-07-07 Arnaud Charlet[Ada] Assert failure on invalid Variable_Indexing
2020-07-07 Piotr Trojanek[Ada] Use Is_Generic_Subprogram where possible
2020-07-07 Piotr Trojanek[Ada] Fix typo in code to get a better error message
2020-07-07 Arnaud Charlet[Ada] ACATS 4.1J - B854003 - Subtype conformance check...
2020-07-07 Arnaud Charlet[Ada] ACATS 4.1K - C452003
2020-07-07 Ed Schonberg[Ada] Errors in handling of access_to_subprogram contracts
2020-07-07 Justin Squirek[Ada] Hang on conditional expression as actual
2020-07-07 Steve Baird[Ada] Simplify statically known Max_Size_In_Storage_Ele...
2020-07-07 Javier Miranda[Ada] Ada2020: AI12-0198 potentially unevaluated compon...
2020-07-07 Eric Botcazou[Ada] Move generation of range checks for entry familie...
2020-07-07 Piotr Trojanek[Ada] Freeze aspect expression relocated to pragma...
2020-07-07 Arnaud Charlet[Ada] ACATS 4.1H - BC60005 - null exclusion matching...
2020-07-07 Ed Schonberg[Ada] Handle explicit dereferences in expression functions
2020-07-07 Javier Miranda[Ada] Ada2020: AI12-0198 potentially unevaluated compon...
2020-07-07 Bob Duff[Ada] Use pragma Unsuppress in Time_IO
2020-07-07 Arnaud Charlet[Ada] Add support for XDR streaming in the default...
2020-07-07 Piotr Trojanek[Ada] Fix documentation of -gnatVa switch
2020-07-07 Ghjuvan Lacambre[Ada] Ensure No_Specification_Of_Aspect forbids pragmas...
2020-07-07 Gary Dismukes[Ada] Checking type invariants on in params of procedur...
2020-07-07 Piotr Trojanek[Ada] Change local object from variable to constant
2020-07-07 Piotr Trojanek[Ada] Fix expansion of delta aggregates with slices
2020-07-07 Javier Miranda[Ada] Ada2020: AI12-0198 potentially unevaluated compon...
2020-07-07 Piotr Trojanek[Ada] Remove extra checks for non-static context from...
2020-07-07 Arnaud Charlet[Ada] Spurious elaboration warnings with -gnatc and...
2020-07-07 Piotr Trojanek[Ada] Minor cleanup with Is_Assignable
2020-07-07 Piotr Trojanek[Ada] Set range checks for for 'Update on arrays in...
2020-07-07 Piotr Trojanek[Ada] Style fixes in the description of Analysis-Resolu...
2020-07-07 Piotr Trojanek[Ada] Allow aspect Relaxed_Initialization on protected...
2020-07-07 GCC AdministratorDaily bump.
2020-07-06 Piotr Trojanek[Ada] Avoid forced loading of System.Priority in CodePe...
2020-07-06 Bob Duff[Ada] Time_IO.Image: Allow printing the time zone
2020-07-06 Bob Duff[Ada] Time_IO.Value: Allow subseconds and time zones...
2020-07-06 Bob Duff[Ada] Clean up GNAT.Calendar.Time_IO.Value
2020-07-06 Bob Duff[Ada] Implement Time_IO.Image with Time_Zone
2020-07-06 Thomas Quinot[Ada] Use Stream_Element_Arrays internally for secure...
next