aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/inline.adb
AgeCommit message (Expand)AuthorFilesLines
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
2018-06-11[Ada] Minor reformattingHristian Kirtchev1-25/+27
2018-06-11[Ada] Crash with Inline_Always on a function with an extended returnEd Schonberg1-8/+25
2018-05-30[Ada] Spell preanalysis, preanalyze correctlyBob Duff1-1/+1
2018-05-21[Ada] Minor reformattingHristian Kirtchev1-1/+1
2018-05-21[Ada] Use type conversion when inlining may trigger a run-time checkYannick Moy1-8/+24
2018-05-21[Ada] Fix inconstent subprogram body headersPiotr Trojanek1-3/+3
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
generated by cgit v1.1 at 2024-11-09 02:04:55 +0000