aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/inline.adb
AgeCommit message (Expand)AuthorFilesLines
2023-11-21ada: Another couple of cleanups in the finalization machineryEric Botcazou1-1/+1
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-9/+2
2023-09-15ada: Fix wrong optimization of extended return for discriminated record typeEric Botcazou1-0/+1
2023-08-01ada: Disable inlining of subprograms with Skip(_Flow_And)_Proof in GNATproveYannick Moy1-0/+49
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-1/+3
2023-05-26ada: Fix missing finalization in library-level instance bodyEric Botcazou1-46/+108
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-0/+2
2023-05-23ada: Fix latent issue in support for protected entriesEric Botcazou1-10/+0
2023-05-22ada: Small cleanup in support for protected subprogramsEric Botcazou1-11/+0
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-14ada: Fix style in code for generic formal subprograms with contractsPiotr Trojanek1-2/+2
2022-11-07ada: Cleanup comment about mapping parameters when inliningPiotr Trojanek1-8/+8
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-2/+2
2022-09-06[Ada] Retain Has_Private_View flag for actuals of inlined subprogramsPiotr Trojanek1-0/+10
2022-09-06[Ada] Fix comment about mapping of parameters and inlining static funcsPiotr Trojanek1-2/+3
2022-09-06[Ada] Place "at end" on body nodesBob Duff1-1/+2
2022-07-13[Ada] Handle bodies-to-inline just like generic templatesPiotr Trojanek1-10/+2
2022-07-13[Ada] Fix crash on frontend inlining of functions with single returnsPiotr Trojanek1-0/+1
2022-05-30[Ada] Add insertion character to Ineffective_Inline_Warnings messagesGhjuvan Lacambre1-2/+2
2022-05-17[Ada] Allow inlining for proof inside genericsYannick Moy1-7/+69
2022-05-16[Ada] Update comment justifying non-inlining for proof inside genericsYannick Moy1-2/+3
2022-05-16[Ada] Fix internal error on mix of controlled and protected typesEric Botcazou1-1/+1
2022-05-09[Ada] Remove redundant guards for empty listPiotr Trojanek1-9/+3
2022-01-11[Ada] Reuse Make_Temporary where possiblePiotr Trojanek1-1/+1
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek1-3/+3
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-12-01[Ada] Fix issues with ignored ghost code and unnestingRichard Kenner1-3/+8
2021-10-25[Ada] Fix a commentBob Duff1-1/+1
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-2/+2
2021-09-20[Ada] Remove redundant checks for non-empty list of aspectsPiotr Trojanek1-3/+1
2021-09-20[Ada] Fix shadowing in conditions for inliningPiotr Trojanek1-26/+29
2021-07-07[Ada] Simplify iteration over pending instantiationsPiotr Trojanek1-7/+2
2021-07-07[Ada] Transient scope cleanupBob Duff1-4/+1
2021-05-07[Ada] Minor reformattingsBob Duff1-35/+35
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-2/+2
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+6
2021-05-04[Ada] Clean up ??? marksBob Duff1-8/+2
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-28[Ada] Remove redundant assignment in Formal_Is_Used_OncePiotr Trojanek1-6/+3
2021-04-28[Ada] Replace dubious use of Traverse_Func with Traverse_ProcPiotr Trojanek1-9/+2
2020-12-14[Ada] Correctly mark subprogram as not always inlined in GNATprove modeYannick Moy1-13/+14
2020-10-26[Ada] Fix harmless assertion failure in GNATprove modePiotr Trojanek1-1/+18
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+2
2020-10-19[Ada] Simplify repeated calls with membership testPiotr Trojanek1-2/+2
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-30/+29
2020-07-15[Ada] Extend static functionsArnaud Charlet1-9/+7
2020-07-08[Ada] Static expression function problems with -gnatc and -gnatd.F (SPARK mode)Gary Dismukes1-0/+7
2020-06-17[Ada] Implement static expression functions for Ada 202x (AI12-0075)Gary Dismukes1-260/+430
2020-06-03[Ada] Fix missing overflow checks in analysis of predefined unitYannick Moy1-1/+9
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-2/+2
generated by cgit v1.1 at 2024-11-02 16:43:08 +0000