aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/inline.adb
AgeCommit message (Expand)AuthorFilesLines
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
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-12-12[Ada] Fix repeated words and typos in doc and commentsPiotr Trojanek1-1/+1
2019-10-10[Ada] Fix inlining of subprograms with deep param/result in GNATproveYannick Moy1-0/+14
2019-10-10[Ada] Do not inline subprograms with deep parameter/result in GNATproveYannick Moy1-0/+112
2019-09-19[Ada] Disable inlining of traversal function in GNATproveYannick Moy1-0/+29
2019-09-17[Ada] Do not inline dispatching operations in GNATprove modeYannick Moy1-0/+6
2019-08-20[Ada] Minor reformattingsGary Dismukes1-2/+2
2019-08-19[Ada] Lift restriction on instantiations that are compilation unitsEric Botcazou1-10/+14
2019-08-19[Ada] Further cleanup in inlining machineryEric Botcazou1-0/+3
2019-08-19[Ada] Further cleanup in inlining machineryEric Botcazou1-31/+6
2019-08-14[Ada] Further cleanup in inlining machineryEric Botcazou1-1/+1
generated by cgit v1.1 at 2024-07-18 06:59:53 +0000