aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/inline.ads
AgeCommit message (Expand)AuthorFilesLines
2024-05-06ada: Prevent inlining in GNATprove for memory leaksYannick Moy1-2/+3
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-05-26ada: Fix missing finalization in library-level instance bodyEric Botcazou1-4/+10
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-21ada: Move warnings switchesBob Duff1-1/+1
2022-05-17[Ada] Allow inlining for proof inside genericsYannick Moy1-0/+9
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-12-14[Ada] Correctly mark subprogram as not always inlined in GNATprove modeYannick Moy1-6/+8
2020-07-15[Ada] Extend static functionsArnaud Charlet1-4/+4
2020-06-17[Ada] Implement static expression functions for Ada 202x (AI12-0075)Gary Dismukes1-0/+6
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-08-14[Ada] Compiler speedup with inlining across unitsEric Botcazou1-10/+0
2019-08-14[Ada] Remove obsolete Pending_Descriptor table and related bitsEric Botcazou1-14/+0
2019-08-13[Ada] Small cleanup and improvement in inlining machineryEric Botcazou1-0/+3
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-07-17[Ada] Configuration state not observed for instance bodiesHristian Kirtchev1-19/+9
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-01-13inline.adb, inline.ads (Call_Can_Be_Inlined_In_GNATprove_Mode): New function ...Yannick Moy1-1/+8
2016-04-20exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Valid]): Disable expans...Arnaud Charlet1-3/+3
2015-10-20[multiple changes]Arnaud Charlet1-6/+4
2015-10-20[multiple changes]Arnaud Charlet1-1/+1
2015-05-12[multiple changes]Arnaud Charlet1-10/+10
2015-02-20exp_ch3.adb (Default_Initialize_Object): Call Add_Inlined_Body on the Abort_U...Eric Botcazou1-9/+6
2014-08-01[multiple changes]Arnaud Charlet1-22/+15
2014-08-01gnatchop.adb, [...]: Minor reformatting.Robert Dewar1-3/+7
2014-07-31[multiple changes]Arnaud Charlet1-1/+20
2014-07-31[multiple changes]Arnaud Charlet1-0/+3
2014-07-30[multiple changes]Arnaud Charlet1-3/+6
2014-07-292014-07-29 Yannick Moy <moy@adacore.com>Yannick Moy1-5/+14
2014-07-29[multiple changes]Arnaud Charlet1-5/+6
2014-07-29[multiple changes]Arnaud Charlet1-8/+8
2014-07-29sem_ch6.adb: Move Build_Body_To_Inline...Ed Schonberg1-3/+78
2014-01-29exp_ch9.adb, inline.ads: Minor reformatting.Robert Dewar1-1/+1
2014-01-29[multiple changes]Arnaud Charlet1-0/+5
2013-09-10[multiple changes]Arnaud Charlet1-3/+7
2013-09-10[multiple changes]Arnaud Charlet1-1/+4
2012-08-06[multiple changes]Arnaud Charlet1-1/+1
2012-03-07sem_ch3.adb (Analyze_Object_Declaration): If the object declaration has an in...Javier Miranda1-6/+1
2010-06-23[multiple changes]Arnaud Charlet1-1/+6
2007-09-10exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar1-4/+3
2007-08-14inline.adb, [...]: Suppress unmodified in-out parameter warning in some cases...Robert Dewar1-3/+20
2005-07-01Update FSF addressR. Kelley Cook1-2/+2
2003-04-241aexcept.adb, [...]: Merge header, formatting and other trivial changes from ...Geert Bosch1-1/+0
2002-10-23Nathanael Nerode <neroden@gcc.gnu.org> PR ada/6919 (forward port of patch for...Nathanael Nerode1-1/+1
2002-03-14Delete all lines containing "$Revision:".Geoffrey Keating1-1/+0
2001-10-02New Language: AdaRichard Kenner1-0/+134
generated by cgit v1.1 at 2024-08-28 01:56:04 +0000