summaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch6.ads
Commit message (Expand)AuthorAgeFilesLines
* [Ada] ACATS 4.1J - B854003 - Subtype conformance check missedArnaud Charlet2020-06-181-0/+10
* [Ada] Bump copyright yearArnaud Charlet2020-06-021-1/+1
* [Ada] Reformat commentsPiotr Trojanek2019-07-091-1/+1
* [Ada] Bump copyright years to 2019Pierre-Marie de Rodat2019-01-081-1/+1
* [Ada] Spurious errors on aspect specifications in generic unitsEd Schonberg2018-12-111-1/+2
* [Ada] Bump copyright notices to 2018Arnaud Charlet2018-01-111-1/+1
* exp_ch9.adb, [...]: Minor reformatting and typo fixes.Gary Dismukes2016-05-021-3/+3
* [multiple changes]Arnaud Charlet2016-05-021-1/+10
* [multiple changes]Arnaud Charlet2015-10-231-25/+0
* [multiple changes]Arnaud Charlet2015-03-021-7/+14
* sem_ch6.adb: Move Build_Body_To_Inline...Ed Schonberg2014-07-291-33/+0
* [multiple changes]Arnaud Charlet2014-06-111-1/+3
* [multiple changes]Arnaud Charlet2014-01-271-2/+1
* einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents.Hristian Kirtchev2013-10-131-3/+3
* [multiple changes]Arnaud Charlet2013-10-101-1/+13
* [multiple changes]Arnaud Charlet2013-09-101-0/+7
* exp_ch6.adb: Remove with and use clause for Sem_Prag.Hristian Kirtchev2013-04-241-5/+5
* [multiple changes]Arnaud Charlet2013-01-021-7/+8
* errout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail if...Robert Dewar2013-01-021-6/+10
* sem_ch6.ads: Minor comment updates.Robert Dewar2012-03-151-3/+9
* [multiple changes]Arnaud Charlet2012-03-151-2/+3
* sem_ch3.adb (Analyze_Object_Declaration): If the object declaration has an in...Javier Miranda2012-03-071-6/+26
* [multiple changes]Arnaud Charlet2011-09-051-0/+3
* [multiple changes]Arnaud Charlet2011-09-021-1/+5
* [multiple changes]Arnaud Charlet2011-08-021-1/+1
* sem_ch3.adb, [...]: Minor reformattingRobert Dewar2011-08-011-7/+7
* [multiple changes]Arnaud Charlet2011-08-011-1/+1
* [multiple changes]Arnaud Charlet2011-08-011-1/+1
* [multiple changes]Arnaud Charlet2010-10-261-3/+4
* [multiple changes]Arnaud Charlet2010-10-121-0/+4
* gnat_rm.texi, [...]: Change spelling parametrize(d) => parameterize(d).Robert Dewar2010-10-071-1/+1
* exp_util.adb (Insert_Actions): Add handling of N_Parametrized_Expression.Robert Dewar2010-10-071-0/+1
* [multiple changes]Arnaud Charlet2010-09-091-1/+3
* sem_ch3.adb (Derive_Subprogram): The code that checks if a dispatching primit...Javier Miranda2010-09-091-4/+4
* [multiple changes]Arnaud Charlet2009-04-201-10/+16
* [multiple changes]Arnaud Charlet2009-04-101-1/+3
* sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for undocumented formal.Thomas Quinot2009-04-101-1/+2
* einfo.adb: Flag245 is now used.Hristian Kirtchev2008-07-301-3/+5
* einfo.ads (Abstract_Interface_Alias): Renamed as Interface_Alias.Javier Miranda2008-05-261-4/+16
* sem_ch10.adb, [...]: Fix comment typos.Ralf Wildenhues2008-04-131-4/+4
* alloc.ads: Add entries for Obsolescent_Warnings tableRobert Dewar2008-04-081-5/+20
* inline.adb (Back_End_Cannot_Inline): Use new flag Has_Pragma_Inline_Always in...Robert Dewar2007-12-131-0/+10
* exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar2007-09-101-4/+3
* einfo.ads, einfo.adb: Create a limited view of an incomplete type...Ed Schonberg2007-08-141-2/+2
* einfo.ads, einfo.adb: (First_Component_Or_Discriminant): New functionRobert Dewar2007-04-061-3/+20
* sem_ch6.ads, [...] (Analyze_Subprogram_Declaration): A null procedure cannot ...Ed Schonberg2006-10-311-1/+7
* a-secain.adb, [...]: Minor reformattingRobert Dewar2005-11-151-1/+1
* sem_ch6.ads, [...] (Check_Conformance): In case of anonymous access types the...Javier Miranda2005-09-051-9/+11
* Update FSF addressR. Kelley Cook2005-07-011-2/+2
* 3psoccon.ads, [...]: Files added.Arnaud Charlet2003-10-211-12/+27