summaryrefslogtreecommitdiff
path: root/gcc/ada/inline.adb
AgeCommit message (Expand)Author
2025-11-03ada: Keep source locations for inlined subprograms from predefined unitsPiotr Trojanek
2025-10-17Fix missing style violation report for package instantiationEric Botcazou
2025-09-09ada: Update the uses of Is_Ignored*_In_CodegenViljar Indus
2025-07-18ada: Do not inline function returning on the secondary stackMarc Poulhiès
2025-07-01ada: Remove wrong optimization in frontend inlining of procedure callsPiotr Trojanek
2025-06-10ada: Minor comment tweakEric Botcazou
2025-06-10ada: Small cleanup in instantiation of generic bodiesEric Botcazou
2025-06-06ada: Add new aspect Program_Exit for SPARKPiotr Trojanek
2025-06-06ada: Set Ekind early for entities created in expansionRonan Desplanques
2025-01-07Update copyright years.Marc Poulhiès
2025-01-06ada: Support new SPARK aspect Exit_CasesClaire Dross
2025-01-03ada: Rely on default parameter when making non-null nodesPiotr Trojanek
2024-12-13ada: Fix code indentationPiotr Trojanek
2024-11-12ada: The Library_Unit field was used for all sorts of different purposes, whi...squirek
2024-11-04ada: Split Library_Unit using multiple wrappersBob Duff
2024-09-05ada: Tweak assertions in Inline.Cannot_InlineRonan Desplanques
2024-08-01ada: Remove support for bodies in -gnatcegArnaud Charlet
2024-08-01ada: Couple of cleanups in finalization machineryEric Botcazou
2024-06-20ada: Fix inlining of fixed-lower-bound array for GNATproveYannick Moy
2024-06-13ada: Simplify code in Cannot_InlineViljar Indus
2024-06-13ada: Do not inline subprogram which could cause SPARK violationYannick Moy
2024-06-10ada: Enable inlining for subprograms with multiple return statementsPiotr Trojanek
2024-05-21ada: Simplify management of scopes while inliningPiotr Trojanek
2024-05-07ada: Remove redundant guard against empty list of declarationsPiotr Trojanek
2024-05-07ada: Cleanup detection of per-object constraints in inlining for SPARKPiotr Trojanek
2024-05-06ada: Fix detection of (Un)Hide_Info pragma in GNATprove modeYannick Moy
2024-05-06ada: Prevent inlining in GNATprove for memory leaksYannick Moy
2024-05-06ada: Do not inline in GNATprove the subprograms with (Un)Hide_InfoYannick Moy
2024-01-22Update copyright years.Marc Poulhiès
2024-01-09ada: Remove dead detection of recursive inlined subprogramsPiotr Trojanek
2024-01-09ada: Remove dead code for GNATprove inliningPiotr Trojanek
2023-11-30ada: Fix spelling of functions with(out) "side effects"Yannick Moy
2023-11-21ada: Another couple of cleanups in the finalization machineryEric Botcazou
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus
2023-09-15ada: Fix wrong optimization of extended return for discriminated record typeEric Botcazou
2023-08-01ada: Disable inlining of subprograms with Skip(_Flow_And)_Proof in GNATproveYannick Moy
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek
2023-05-26ada: Fix missing finalization in library-level instance bodyEric Botcazou
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek
2023-05-23ada: Fix latent issue in support for protected entriesEric Botcazou
2023-05-22ada: Small cleanup in support for protected subprogramsEric Botcazou
2023-01-09ada: Update copyright noticeArnaud Charlet
2022-11-14ada: Fix style in code for generic formal subprograms with contractsPiotr Trojanek
2022-11-07ada: Cleanup comment about mapping parameters when inliningPiotr Trojanek
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek
2022-09-06[Ada] Retain Has_Private_View flag for actuals of inlined subprogramsPiotr Trojanek
2022-09-06[Ada] Fix comment about mapping of parameters and inlining static funcsPiotr Trojanek
2022-09-06[Ada] Place "at end" on body nodesBob Duff
2022-07-13[Ada] Handle bodies-to-inline just like generic templatesPiotr Trojanek
2022-07-13[Ada] Fix crash on frontend inlining of functions with single returnsPiotr Trojanek
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-01 01:19:21 +0000