aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/inline.adb
AgeCommit message (Expand)AuthorFilesLines
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
2019-08-14[Ada] Further cleanup in inlining machineryEric Botcazou1-1/+1
2019-08-14[Ada] Incorrect error on inline protected functionBob Duff1-0/+14
2019-08-14[Ada] Compiler speedup with inlining across unitsEric Botcazou1-44/+322
2019-08-14[Ada] Remove obsolete Pending_Descriptor table and related bitsEric Botcazou1-1/+0
2019-08-14[Ada] Small internal improvements to the inlining machineryEric Botcazou1-37/+38
2019-08-13[Ada] Small cleanup and improvement in inlining machineryEric Botcazou1-6/+25
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-1/+1
2019-07-04[Ada] Minor reformattingHristian Kirtchev1-5/+5
2019-07-03[Ada] Crash on front-end inlining of subp. with aspect specificationsEd Schonberg1-0/+31
2019-07-03[Ada] Spurious visibility error in inlined functionHristian Kirtchev1-91/+176
2019-07-03[Ada] Minor reformattingHristian Kirtchev1-17/+19
2019-07-03[Ada] Make loop labels unique for front-end inlined callsEd Schonberg1-0/+62
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-09-26[Ada] Issue info message on inlined subprograms in GNATprove modeYannick Moy1-2/+2
2018-09-26[Ada] Do not issue by default info messages for inlining in GNATproveYannick Moy1-7/+14
2018-07-17[Ada] Remove extra parentheses in Expand_Inlined_CallPiotr Trojanek1-2/+2
2018-07-16[Ada] Minor reformattingHristian Kirtchev1-8/+9
2018-07-16[Ada] Code cleanup on functions inliningJavier Miranda1-36/+45
2018-07-16[Ada] Inline: rewrap commentYannick Moy1-4/+4
2018-06-11[Ada] Minor reformattingHristian Kirtchev1-2/+2
2018-06-11[Ada] Minor reformattingArnaud Charlet1-2/+2
2018-06-11[Ada] Mark extended return of unconstrained type as never inlinedYannick Moy1-13/+57
generated by cgit v1.1 at 2024-09-27 22:52:50 +0000