aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/inline.adb
AgeCommit message (Expand)AuthorFilesLines
2024-05-07ada: Remove redundant guard against empty list of declarationsPiotr Trojanek1-2/+1
2024-05-07ada: Cleanup detection of per-object constraints in inlining for SPARKPiotr Trojanek1-14/+14
2024-05-06ada: Fix detection of (Un)Hide_Info pragma in GNATprove modeYannick Moy1-1/+4
2024-05-06ada: Prevent inlining in GNATprove for memory leaksYannick Moy1-0/+58
2024-05-06ada: Do not inline in GNATprove the subprograms with (Un)Hide_InfoYannick Moy1-3/+86
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2024-01-09ada: Remove dead detection of recursive inlined subprogramsPiotr Trojanek1-19/+0
2024-01-09ada: Remove dead code for GNATprove inliningPiotr Trojanek1-13/+2
2023-11-30ada: Fix spelling of functions with(out) "side effects"Yannick Moy1-1/+1
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
generated by cgit v1.1 at 2024-11-12 19:42:40 +0000