aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch6.ads
AgeCommit message (Expand)AuthorFilesLines
2025-01-07Update copyright years.Marc Poulhiès1-1/+1
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-0/+4
2023-05-22ada: Add Is_Past_Self_Hiding_Point flagBob Duff1-3/+0
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-0/+19
2022-09-12[Ada] Revert "Enforce matching of extra formals"Javier Miranda1-16/+0
2022-09-06[Ada] Enforce matching of extra formalsJavier Miranda1-0/+16
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-06-29[Ada] Overriding errors on renamings and instances overriding predefined oper...Gary Dismukes1-0/+3
2021-06-21[Ada] INOX: prototype "when" constructsJustin Squirek1-0/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-06-18[Ada] ACATS 4.1J - B854003 - Subtype conformance check missedArnaud Charlet1-0/+10
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-1/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] Spurious errors on aspect specifications in generic unitsEd Schonberg1-1/+2
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2016-05-02exp_ch9.adb, [...]: Minor reformatting and typo fixes.Gary Dismukes1-3/+3
2016-05-02[multiple changes]Arnaud Charlet1-1/+10
2015-10-23[multiple changes]Arnaud Charlet1-25/+0
2015-03-02[multiple changes]Arnaud Charlet1-7/+14
2014-07-29sem_ch6.adb: Move Build_Body_To_Inline...Ed Schonberg1-33/+0
2014-06-11[multiple changes]Arnaud Charlet1-1/+3
2014-01-27[multiple changes]Arnaud Charlet1-2/+1
2013-10-13einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents.Hristian Kirtchev1-3/+3
2013-10-10[multiple changes]Arnaud Charlet1-1/+13
2013-09-10[multiple changes]Arnaud Charlet1-0/+7
2013-04-24exp_ch6.adb: Remove with and use clause for Sem_Prag.Hristian Kirtchev1-5/+5
2013-01-02[multiple changes]Arnaud Charlet1-7/+8
2013-01-02errout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail if...Robert Dewar1-6/+10
2012-03-15sem_ch6.ads: Minor comment updates.Robert Dewar1-3/+9
2012-03-15[multiple changes]Arnaud Charlet1-2/+3
2012-03-07sem_ch3.adb (Analyze_Object_Declaration): If the object declaration has an in...Javier Miranda1-6/+26
2011-09-05[multiple changes]Arnaud Charlet1-0/+3
2011-09-02[multiple changes]Arnaud Charlet1-1/+5
2011-08-02[multiple changes]Arnaud Charlet1-1/+1
2011-08-01sem_ch3.adb, [...]: Minor reformattingRobert Dewar1-7/+7
2011-08-01[multiple changes]Arnaud Charlet1-1/+1
2011-08-01[multiple changes]Arnaud Charlet1-1/+1
2010-10-26[multiple changes]Arnaud Charlet1-3/+4
2010-10-12[multiple changes]Arnaud Charlet1-0/+4
2010-10-07gnat_rm.texi, [...]: Change spelling parametrize(d) => parameterize(d).Robert Dewar1-1/+1
2010-10-07exp_util.adb (Insert_Actions): Add handling of N_Parametrized_Expression.Robert Dewar1-0/+1
2010-09-09[multiple changes]Arnaud Charlet1-1/+3
2010-09-09sem_ch3.adb (Derive_Subprogram): The code that checks if a dispatching primit...Javier Miranda1-4/+4
2009-04-20[multiple changes]Arnaud Charlet1-10/+16
2009-04-10[multiple changes]Arnaud Charlet1-1/+3
2009-04-10sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for undocumented formal.Thomas Quinot1-1/+2
2008-07-30einfo.adb: Flag245 is now used.Hristian Kirtchev1-3/+5
generated by cgit v1.1 at 2025-02-25 08:36:48 +0000