git.ipfire.org Git - thirdparty/gcc.git/history

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/inline.adb

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / ada / inline.adb

12 days ago	Marc Poulhiès	ada: Do not inline function returning on the secondary...	blob \| commitdiff \| raw
2025-07-01	Piotr Trojanek	ada: Remove wrong optimization in frontend inlining...	blob \| commitdiff \| raw \| diff to current
2025-06-10	Eric Botcazou	ada: Minor comment tweak	blob \| commitdiff \| raw \| diff to current
2025-06-10	Eric Botcazou	ada: Small cleanup in instantiation of generic bodies	blob \| commitdiff \| raw \| diff to current
2025-06-06	Piotr Trojanek	ada: Add new aspect Program_Exit for SPARK	blob \| commitdiff \| raw \| diff to current
2025-06-06	Ronan Desplanques	ada: Set Ekind early for entities created in expansion	blob \| commitdiff \| raw \| diff to current
2025-01-07	Marc Poulhiès	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2025-01-06	Claire Dross	ada: Support new SPARK aspect Exit_Cases	blob \| commitdiff \| raw \| diff to current
2025-01-03	Piotr Trojanek	ada: Rely on default parameter when making non-null...	blob \| commitdiff \| raw \| diff to current
2024-12-13	Piotr Trojanek	ada: Fix code indentation	blob \| commitdiff \| raw \| diff to current
2024-11-12	squirek	ada: The Library_Unit field was used for all sorts...	blob \| commitdiff \| raw \| diff to current
2024-11-04	Bob Duff	ada: Split Library_Unit using multiple wrappers	blob \| commitdiff \| raw \| diff to current
2024-09-05	Ronan Desplanques	ada: Tweak assertions in Inline.Cannot_Inline	blob \| commitdiff \| raw \| diff to current
2024-08-01	Arnaud Charlet	ada: Remove support for bodies in -gnatceg	blob \| commitdiff \| raw \| diff to current
2024-08-01	Eric Botcazou	ada: Couple of cleanups in finalization machinery	blob \| commitdiff \| raw \| diff to current
2024-06-20	Yannick Moy	ada: Fix inlining of fixed-lower-bound array for GNATprove	blob \| commitdiff \| raw \| diff to current
2024-06-13	Viljar Indus	ada: Simplify code in Cannot_Inline	blob \| commitdiff \| raw \| diff to current
2024-06-13	Yannick Moy	ada: Do not inline subprogram which could cause SPARK...	blob \| commitdiff \| raw \| diff to current
2024-06-10	Piotr Trojanek	ada: Enable inlining for subprograms with multiple...	blob \| commitdiff \| raw \| diff to current
2024-05-21	Piotr Trojanek	ada: Simplify management of scopes while inlining	blob \| commitdiff \| raw \| diff to current
2024-05-07	Piotr Trojanek	ada: Remove redundant guard against empty list of decla...	blob \| commitdiff \| raw \| diff to current
2024-05-07	Piotr Trojanek	ada: Cleanup detection of per-object constraints in...	blob \| commitdiff \| raw \| diff to current
2024-05-06	Yannick Moy	ada: Fix detection of (Un)Hide_Info pragma in GNATprove...	blob \| commitdiff \| raw \| diff to current
2024-05-06	Yannick Moy	ada: Prevent inlining in GNATprove for memory leaks	blob \| commitdiff \| raw \| diff to current
2024-05-06	Yannick Moy	ada: Do not inline in GNATprove the subprograms with...	blob \| commitdiff \| raw \| diff to current
2024-01-22	Marc Poulhiès	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2024-01-09	Piotr Trojanek	ada: Remove dead detection of recursive inlined subprograms	blob \| commitdiff \| raw \| diff to current
2024-01-09	Piotr Trojanek	ada: Remove dead code for GNATprove inlining	blob \| commitdiff \| raw \| diff to current
2023-11-30	Yannick Moy	ada: Fix spelling of functions with(out) "side effects"	blob \| commitdiff \| raw \| diff to current
2023-11-21	Eric Botcazou	ada: Another couple of cleanups in the finalization...	blob \| commitdiff \| raw \| diff to current
2023-11-07	Viljar Indus	ada: Implement Aspects as fields under nodes	blob \| commitdiff \| raw \| diff to current
2023-09-15	Eric Botcazou	ada: Fix wrong optimization of extended return for...	blob \| commitdiff \| raw \| diff to current
2023-08-01	Yannick Moy	ada: Disable inlining of subprograms with Skip(_Flow_An...	blob \| commitdiff \| raw \| diff to current
2023-06-13	Piotr Trojanek	ada: Implement new aspect Always_Terminates for SPARK	blob \| commitdiff \| raw \| diff to current
2023-05-26	Eric Botcazou	ada: Fix missing finalization in library-level instance...	blob \| commitdiff \| raw \| diff to current
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: Small cleanup in support for protected subprograms	blob \| commitdiff \| raw \| diff to current
2023-01-09	Arnaud Charlet	ada: Update copyright notice	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-07	Piotr Trojanek	ada: Cleanup comment about mapping parameters when...	blob \| commitdiff \| raw \| diff to current
2022-09-12	Justin Squirek	[Ada] Tech debt: Expansion of contracts	blob \| commitdiff \| raw \| diff to current
2022-09-06	Piotr Trojanek	[Ada] Retain Has_Private_View flag for actuals of inlin...	blob \| commitdiff \| raw \| diff to current
2022-09-06	Piotr Trojanek	[Ada] Fix comment about mapping of parameters and inlin...	blob \| commitdiff \| raw \| diff to current
2022-09-06	Bob Duff	[Ada] Place "at end" on body nodes	blob \| commitdiff \| raw \| diff to current
2022-07-13	Piotr Trojanek	[Ada] Handle bodies-to-inline just like generic templates	blob \| commitdiff \| raw \| diff to current
2022-07-13	Piotr Trojanek	[Ada] Fix crash on frontend inlining of functions with...	blob \| commitdiff \| raw \| diff to current
2022-05-30	Ghjuvan Lacambre	[Ada] Add insertion character to Ineffective_Inline_War...	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-16	Yannick Moy	[Ada] Update comment justifying non-inlining for proof...	blob \| commitdiff \| raw \| diff to current
2022-05-16	Eric Botcazou	[Ada] Fix internal error on mix of controlled and prote...	blob \| commitdiff \| raw \| diff to current
2022-05-09	Piotr Trojanek	[Ada] Remove redundant guards for empty list	blob \| commitdiff \| raw \| diff to current
2022-01-11	Piotr Trojanek	[Ada] Reuse Make_Temporary where possible	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
2021-12-01	Richard Kenner	[Ada] Fix issues with ignored ghost code and unnesting	blob \| commitdiff \| raw \| diff to current
2021-10-25	Bob Duff	[Ada] Fix a comment	blob \| commitdiff \| raw \| diff to current
2021-10-25	Bob Duff	[Ada] Renamed_Or_Alias cleanup	blob \| commitdiff \| raw \| diff to current
2021-09-20	Piotr Trojanek	[Ada] Remove redundant checks for non-empty list of...	blob \| commitdiff \| raw \| diff to current
2021-09-20	Piotr Trojanek	[Ada] Fix shadowing in conditions for inlining	blob \| commitdiff \| raw \| diff to current
2021-07-07	Piotr Trojanek	[Ada] Simplify iteration over pending instantiations	blob \| commitdiff \| raw \| diff to current
2021-07-07	Bob Duff	[Ada] Transient scope cleanup	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-04	Bob Duff	[Ada] Clean up ??? marks	blob \| commitdiff \| raw \| diff to current
2021-05-03	Arnaud Charlet	[Ada] Update copyright notice	blob \| commitdiff \| raw \| diff to current
2021-04-28	Piotr Trojanek	[Ada] Remove redundant assignment in Formal_Is_Used_Once	blob \| commitdiff \| raw \| diff to current
2021-04-28	Piotr Trojanek	[Ada] Replace dubious use of Traverse_Func with Travers...	blob \| commitdiff \| raw \| diff to current
2020-12-14	Yannick Moy	[Ada] Correctly mark subprogram as not always inlined...	blob \| commitdiff \| raw \| diff to current
2020-10-26	Piotr Trojanek	[Ada] Fix harmless assertion failure in GNATprove mode	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-19	Piotr Trojanek	[Ada] Simplify repeated calls with membership test	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-15	Arnaud Charlet	[Ada] Extend static functions	blob \| commitdiff \| raw \| diff to current
2020-07-08	Gary Dismukes	[Ada] Static expression function problems with -gnatc...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Gary Dismukes	[Ada] Implement static expression functions for Ada...	blob \| commitdiff \| raw \| diff to current
2020-06-03	Yannick Moy	[Ada] Fix missing overflow checks in analysis of predef...	blob \| commitdiff \| raw \| diff to current
2020-06-03	Piotr Trojanek	[Ada] Iterate with procedural versions of Next_......	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Bump copyright year	blob \| commitdiff \| raw \| diff to current
2019-12-12	Piotr Trojanek	[Ada] Fix repeated words and typos in doc and comments	blob \| commitdiff \| raw \| diff to current
2019-10-10	Yannick Moy	[Ada] Fix inlining of subprograms with deep param/resul...	blob \| commitdiff \| raw \| diff to current
2019-10-10	Yannick Moy	[Ada] Do not inline subprograms with deep parameter...	blob \| commitdiff \| raw \| diff to current
2019-09-19	Yannick Moy	[Ada] Disable inlining of traversal function in GNATprove	blob \| commitdiff \| raw \| diff to current
2019-09-17	Yannick Moy	[Ada] Do not inline dispatching operations in GNATprove...	blob \| commitdiff \| raw \| diff to current
2019-08-20	Gary Dismukes	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2019-08-19	Eric Botcazou	[Ada] Lift restriction on instantiations that are compi...	blob \| commitdiff \| raw \| diff to current
2019-08-19	Eric Botcazou	[Ada] Further cleanup in inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-19	Eric Botcazou	[Ada] Further cleanup in inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-14	Eric Botcazou	[Ada] Further cleanup in inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-14	Eric Botcazou	[Ada] Further cleanup in inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-14	Bob Duff	[Ada] Incorrect error on inline protected function	blob \| commitdiff \| raw \| diff to current
2019-08-14	Eric Botcazou	[Ada] Compiler speedup with inlining across units	blob \| commitdiff \| raw \| diff to current
2019-08-14	Eric Botcazou	[Ada] Remove obsolete Pending_Descriptor table and...	blob \| commitdiff \| raw \| diff to current
2019-08-14	Eric Botcazou	[Ada] Small internal improvements to the inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-08-13	Eric Botcazou	[Ada] Small cleanup and improvement in inlining machinery	blob \| commitdiff \| raw \| diff to current
2019-07-09	Piotr Trojanek	[Ada] Reformat comments	blob \| commitdiff \| raw \| diff to current
2019-07-04	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-03	Ed Schonberg	[Ada] Crash on front-end inlining of subp. with aspect...	blob \| commitdiff \| raw \| diff to current
2019-07-03	Hristian Kirtchev	[Ada] Spurious visibility error in inlined function	blob \| commitdiff \| raw \| diff to current
next

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom