aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/freeze.ads
AgeCommit message (Expand)AuthorFilesLines
2024-06-13ada: Missing postcondition runtime check in inherited primitiveJavier Miranda1-5/+8
2024-05-20ada: Get rid of secondary stack for indefinite record types with size clauseEric Botcazou1-6/+5
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-07-06[Ada] Fix spurious error for aggregate with box component choiceEric Botcazou1-9/+0
2022-05-30[Ada] Do not freeze profiles for dispatch tablesEric Botcazou1-6/+0
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-0/+9
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-2/+2
2020-10-22[Ada] Update the head comment of Check_Compile_Time_SizeEric Botcazou1-7/+7
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-08-21[Ada] Spurious crash on expression function as completion with contractsEd Schonberg1-0/+11
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-10-09exp_ch7.adb (Create_Finalizer): Suppress checks within the finalizer.Bob Duff1-7/+7
2016-05-16exp_util.adb (Remove_Side_Effects): Also make a constant if we need to captur...Eric Botcazou1-6/+6
2016-04-21Minor reformatting.Arnaud Charlet1-12/+11
2016-04-21[multiple changes]Arnaud Charlet1-3/+14
2015-05-27[multiple changes]Arnaud Charlet1-3/+1
2015-05-22exp_ch5.adb, [...]: This is a general change that deals with the fact that mo...Robert Dewar1-5/+4
2014-07-16[multiple changes]Arnaud Charlet1-0/+4
2014-06-11[multiple changes]Arnaud Charlet1-2/+2
2013-01-04Update Copyright years for files modified in 2011 and/or 2012.Jakub Jelinek1-1/+1
2011-08-01[multiple changes]Arnaud Charlet1-5/+4
2010-10-11[multiple changes]Arnaud Charlet1-15/+15
2010-08-10sem_aggr.adb (Resolve_Extension_Aggregate): Warn on the use of C++ constructo...Javier Miranda1-2/+2
2009-07-13[multiple changes]Arnaud Charlet1-1/+1
2009-07-11[multiple changes]Arnaud Charlet1-2/+7
2009-04-09Licensing changes to GPLv3 resp. GPLv3 with GCC Runtime Exception.Jakub Jelinek1-7/+7
2008-08-20Fix copyright notice.Arnaud Charlet1-1/+1
2008-03-30a-textio.ads, [...]: Fix comment typos.Ralf Wildenhues1-1/+1
2007-08-14exp_util.ads, [...]: This patch replaces a number of occurrences of explicit ...Robert Dewar1-1/+7
2007-06-06Minor editing.Arnaud Charlet1-1/+1
2005-11-15a-secain.adb, [...]: Minor reformattingRobert Dewar1-2/+2
2005-07-01Update FSF addressR. Kelley Cook1-2/+2
2003-10-213psoccon.ads, [...]: Files added.Arnaud Charlet1-3/+9
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-12-13freeze.ads: Update copyright date.Geert Bosch1-1/+1
2001-12-12s-stalib.adb: Add more comments on with statements being neededGeert Bosch1-1/+6
2001-10-2886numaux.adb, [...]: Fix spelling errors.Joseph Myers1-2/+2
2001-10-02New Language: AdaRichard Kenner1-0/+223