gcc.gnu.org Git - gcc.git/history - gcc/ada/sem

]> gcc.gnu.org Git - gcc.git/history - gcc/ada/sem_ch12.adb

2023-05-26	Eric Botcazou	ada: Fix missing finalization in library-level instance...	blob \| commitdiff \| raw
2023-05-23	Piotr Trojanek	ada: Accept and analyze new aspect Exceptional_Cases	blob \| commitdiff \| raw \| diff to current
2023-05-23	Eric Botcazou	ada: Fix latent issue in support for protected entries	blob \| commitdiff \| raw \| diff to current
2023-05-22	Eric Botcazou	ada: Fix missing finalization in library-unit instance...	blob \| commitdiff \| raw \| diff to current
2023-05-22	Bob Duff	ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not...	blob \| commitdiff \| raw \| diff to current
2023-05-22	Bob Duff	ada: Add Is_Past_Self_Hiding_Point flag	blob \| commitdiff \| raw \| diff to current
2023-05-22	Arnaud Charlet	ada: Remove extra parentheses	blob \| commitdiff \| raw \| diff to current
2023-05-16	Marc Poulhiès	ada: Trivial refactoring in Instantiate_*_Body	blob \| commitdiff \| raw \| diff to current
2023-01-09	Arnaud Charlet	ada: Update copyright notice	blob \| commitdiff \| raw \| diff to current
2023-01-05	Marc Poulhiès	ada: Fix nested generic instantiation	blob \| commitdiff \| raw \| diff to current
2023-01-05	Marc Poulhiès	ada: Fix generic instantiation of sibling package	blob \| commitdiff \| raw \| diff to current
2022-11-21	Bob Duff	ada: Move warnings switches	blob \| commitdiff \| raw \| diff to current
2022-11-14	Piotr Trojanek	ada: Adjust locations in aspects on generic formal...	blob \| commitdiff \| raw \| diff to current
2022-11-14	Piotr Trojanek	ada: Fix style in code for generic formal subprograms...	blob \| commitdiff \| raw \| diff to current
2022-11-14	Piotr Trojanek	ada: Expand generic formal subprograms with contracts...	blob \| commitdiff \| raw \| diff to current
2022-11-08	Piotr Trojanek	ada: Propagate aspect Ghost when instantiating null...	blob \| commitdiff \| raw \| diff to current
2022-11-08	Piotr Trojanek	ada: Remove unneeded code in handling formal type defaults	blob \| commitdiff \| raw \| diff to current
2022-11-07	Piotr Trojanek	ada: Clean up code for visibility of generic actuals	blob \| commitdiff \| raw \| diff to current
2022-11-04	Piotr Trojanek	ada: Remove redundant calls in handling of aspect speci...	blob \| commitdiff \| raw \| diff to current
2022-11-04	Ghjuvan Lacambre	ada: Refactor: replace uses of `not Present(X)` with...	blob \| commitdiff \| raw \| diff to current
2022-09-26	Piotr Trojanek	ada: Fix location of pragmas coming from aspects in...	blob \| commitdiff \| raw \| diff to current
2022-07-13	Justin Squirek	[Ada] Fix CodePeer warnings in GNAT sources	blob \| commitdiff \| raw \| diff to current
2022-07-12	Piotr Trojanek	[Ada] Fix spurious warning on unreferenced internal...	blob \| commitdiff \| raw \| diff to current
2022-07-06	Yannick Moy	[Ada] Support ghost generic formal parameters	blob \| commitdiff \| raw \| diff to current
2022-07-05	Piotr Trojanek	[Ada] Remove unnecessary dead code after calls to nonre...	blob \| commitdiff \| raw \| diff to current
2022-05-18	Marc Poulhiès	[Ada] Fix incorrect freezing with generic child unit	blob \| commitdiff \| raw \| diff to current
2022-05-17	Yannick Moy	[Ada] Allow inlining for proof inside generics	blob \| commitdiff \| raw \| diff to current
2022-05-17	Eric Botcazou	[Ada] Fix bogus visibility error with partially paramet...	blob \| commitdiff \| raw \| diff to current
2022-05-12	Piotr Trojanek	[Ada] Fix warning about generic subprograms withed...	blob \| commitdiff \| raw \| diff to current
2022-05-11	Piotr Trojanek	[Ada] Fix style of body header boxes	blob \| commitdiff \| raw \| diff to current
2022-05-10	Piotr Trojanek	[Ada] Cleanup detection of No_Elist with No and Present	blob \| commitdiff \| raw \| diff to current
2022-05-09	Piotr Trojanek	[Ada] Fix indentation of "Start of processing for ...	blob \| commitdiff \| raw \| diff to current
2022-01-11	Piotr Trojanek	[Ada] Remove extra space in single object declarations	blob \| commitdiff \| raw \| diff to current
2022-01-11	Arnaud Charlet	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	blob \| commitdiff \| raw \| diff to current
2022-01-07	Piotr Trojanek	[Ada] Remove unnecessary guards for appending non-empty...	blob \| commitdiff \| raw \| diff to current
2022-01-06	Eric Botcazou	[Ada] Fix regression in freezing code for instantiations	blob \| commitdiff \| raw \| diff to current
2022-01-06	Etienne Servais	[Ada] Fix typo in comments found running aspell	blob \| commitdiff \| raw \| diff to current
2022-01-05	Piotr Trojanek	[Ada] Remove redundant code related to instances with...	blob \| commitdiff \| raw \| diff to current
2022-01-05	Piotr Trojanek	[Ada] Deconstruct dead wrappers added for external...	blob \| commitdiff \| raw \| diff to current
2021-12-02	Eric Botcazou	[Ada] Enhance freezing code for instantiations	blob \| commitdiff \| raw \| diff to current
2021-12-01	Gary Dismukes	[Ada] Allow formal functions to have a default in the...	blob \| commitdiff \| raw \| diff to current
2021-12-01	Eric Botcazou	[Ada] Tidy up freezing code for instantiations (continued)	blob \| commitdiff \| raw \| diff to current
2021-12-01	Eric Botcazou	[Ada] Tidy up freezing code for instantiations	blob \| commitdiff \| raw \| diff to current
2021-12-01	Piotr Trojanek	[Ada] Replace low-level detection of subprograms with...	blob \| commitdiff \| raw \| diff to current
2021-10-25	Bob Duff	[Ada] Renamed_Or_Alias cleanup	blob \| commitdiff \| raw \| diff to current
2021-10-20	Bob Duff	[Ada] tech debt: Clean up Uint fields, such as Esize	blob \| commitdiff \| raw \| diff to current
2021-10-20	Eric Botcazou	[Ada] Expose and use type-generic GCC atomic builtins	blob \| commitdiff \| raw \| diff to current
2021-09-23	Richard Kenner	[Ada] Add N_Has_Bounds and N_Is_Index	blob \| commitdiff \| raw \| diff to current
2021-09-21	Bob Duff	[Ada] Clean up uses of Esize and RM_Size	blob \| commitdiff \| raw \| diff to current
2021-09-20	Bob Duff	[Ada] Clean up Uint fields, remove unused routines	blob \| commitdiff \| raw \| diff to current
2021-07-08	Piotr Trojanek	[Ada] Simplify redundant checks for non-empty lists	blob \| commitdiff \| raw \| diff to current
2021-07-07	Arnaud Charlet	[Ada] Front-end inlining and instantiations of UC	blob \| commitdiff \| raw \| diff to current
2021-07-07	Piotr Trojanek	[Ada] Fix location of errors about volatile compatibility	blob \| commitdiff \| raw \| diff to current
2021-06-29	Eric Botcazou	[Ada] Small tweak in a couple of comments	blob \| commitdiff \| raw \| diff to current
2021-06-29	Bob Duff	[Ada] tech debt: Parent (Empty) is not allowed	blob \| commitdiff \| raw \| diff to current
2021-06-21	Ed Schonberg	[Ada] Implementation of AI12-205: defaults for formal...	blob \| commitdiff \| raw \| diff to current
2021-06-18	Piotr Trojanek	[Ada] Reuse Package_Specification in Is_Incomplete_Or_P...	blob \| commitdiff \| raw \| diff to current
2021-06-17	Gary Dismukes	[Ada] Error in instance on incomplete actual passed...	blob \| commitdiff \| raw \| diff to current
2021-06-17	Justin Squirek	[Ada] Removal of technical debt	blob \| commitdiff \| raw \| diff to current
2021-06-15	Bob Duff	[Ada] Variable-sized node types -- cleanup	blob \| commitdiff \| raw \| diff to current
2021-06-15	Arnaud Charlet	[Ada] Rename Ada 202* to Ada 2022	blob \| commitdiff \| raw \| diff to current
2021-05-07	Bob Duff	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2021-05-07	Bob Duff	[Ada] Variable-sized node types -- cleanup	blob \| commitdiff \| raw \| diff to current
2021-05-07	Bob Duff	[Ada] Variable-sized node types	blob \| commitdiff \| raw \| diff to current
2021-05-05	Piotr Trojanek	[Ada] Remove redundant checks for empty lists	blob \| commitdiff \| raw \| diff to current
2021-05-04	Piotr Trojanek	[Ada] Fix inconsistent iteration with First_Formal...	blob \| commitdiff \| raw \| diff to current
2021-05-03	Arnaud Charlet	[Ada] Update copyright notice	blob \| commitdiff \| raw \| diff to current
2021-05-03	Piotr Trojanek	[Ada] Fix calls to Error_Msg_NE instead of Error_Msg_N	blob \| commitdiff \| raw \| diff to current
2021-05-03	Piotr Trojanek	[Ada] Remove leading and trailing spaces in error messages	blob \| commitdiff \| raw \| diff to current
2020-12-17	Yannick Moy	[Ada] Fixes for GNAT error/warning messages	blob \| commitdiff \| raw \| diff to current
2020-11-27	Arnaud Charlet	[Ada] Fix tree for expanded instantiations correspondin...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ed Schonberg	[Ada] Spurious error on formal package with overloaded...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Piotr Trojanek	[Ada] Fix casing of "circular instantiation" error	blob \| commitdiff \| raw \| diff to current
2020-11-25	Piotr Trojanek	[Ada] Remove dead and duplicated diagnostics for generi...	blob \| commitdiff \| raw \| diff to current
2020-11-24	Piotr Trojanek	[Ada] Reuse In_Same_List where possible	blob \| commitdiff \| raw \| diff to current
2020-11-24	Eric Botcazou	[Ada] Fix internal error on multiple nested instantiations	blob \| commitdiff \| raw \| diff to current
2020-10-26	Yannick Moy	[Ada] Fix GNATprove crash on generics with access types	blob \| commitdiff \| raw \| diff to current
2020-10-26	Yannick Moy	[Ada] Do not instantiate generic bodies outside of...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Eric Botcazou	[Ada] Implement new legality rules introduced in C...	blob \| commitdiff \| raw \| diff to current
2020-10-21	Eric Botcazou	[Ada] Fix problematic placement of freeze node after...	blob \| commitdiff \| raw \| diff to current
2020-10-21	Javier Miranda	[Ada] Spurious error in current instance used as formal...	blob \| commitdiff \| raw \| diff to current
2020-10-21	Eric Botcazou	[Ada] Use helper function in Freeze_Subprogram_Body	blob \| commitdiff \| raw \| diff to current
2020-10-20	Javier Miranda	[Ada] Spurious error in current instance used as formal...	blob \| commitdiff \| raw \| diff to current
2020-10-20	Piotr Trojanek	[Ada] Support for new aspect Subprogram_Variant on...	blob \| commitdiff \| raw \| diff to current
2020-10-16	Javier Miranda	[Ada] Crash in generic renaming declaration of child...	blob \| commitdiff \| raw \| diff to current
2020-10-15	Arnaud Charlet	[Ada] Assert failure on incorrect code	blob \| commitdiff \| raw \| diff to current
2020-10-15	Piotr Trojanek	[Ada] Simplify membership tests with N_Entity subtype	blob \| commitdiff \| raw \| diff to current
2020-07-27	Arnaud Charlet	[Ada] Use membership tests in front-end	blob \| commitdiff \| raw \| diff to current
2020-07-27	Eric Botcazou	[Ada] Remove obsolete special case in Switch_View	blob \| commitdiff \| raw \| diff to current
2020-07-16	Ed Schonberg	[Ada] Spurious error in instance nested in formal package	blob \| commitdiff \| raw \| diff to current
2020-07-08	Piotr Trojanek	[Ada] Accept aspect Relaxed_Initialization on generic...	blob \| commitdiff \| raw \| diff to current
2020-07-08	Piotr Trojanek	[Ada] Analyze aspects once generic subprograms are...	blob \| commitdiff \| raw \| diff to current
2020-07-07	Piotr Trojanek	[Ada] Use Is_Generic_Subprogram where possible	blob \| commitdiff \| raw \| diff to current
2020-07-07	Arnaud Charlet	[Ada] ACATS 4.1H - BC60005 - null exclusion matching...	blob \| commitdiff \| raw \| diff to current
2020-07-06	Justin Squirek	[Ada] Hang on generic declaration with ambiguous formal...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Piotr Trojanek	[Ada] Add assertions to Preserve_Comes_From_Source...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Piotr Trojanek	[Ada] Fix casing from GNATProve to GNATprove	blob \| commitdiff \| raw \| diff to current
2020-06-16	Eric Botcazou	[Ada] Implement AI12-0351 Matching for actuals for...	blob \| commitdiff \| raw \| diff to current
2020-06-12	Ed Schonberg	[Ada] Compiler locks up with -gnatX and formal subprogr...	blob \| commitdiff \| raw \| diff to current
2020-06-12	Ed Schonberg	[Ada] Compiler crash on instance with overloaded actual...	blob \| commitdiff \| raw \| diff to current
next

GNU Compiler Collection

RSS Atom

This page took 1.490806 seconds and 108 git commands to generate.