aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch3.ads
AgeCommit message (Expand)AuthorFilesLines
2022-05-09[Ada] Add utility to preanalyze assert expression without forcing its typePiotr Trojanek1-0/+3
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-10-11[Ada] Remove constant argumentsEtienne Servais1-7/+5
2021-07-05[Ada] Add Ada 2022 Image and Put_Image support for tagged typesSteve Baird1-5/+0
2021-05-07[Ada] Remove some ??? commentsGary Dismukes1-5/+8
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-10-15[Ada] Refine type from Nat to Pos in Make_IndexPiotr Trojanek1-1/+1
2020-07-16[Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment restrictionBob Duff1-1/+1
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-8/+4
2020-06-05[Ada] Make the Has_Dynamic_Range_Check flag obsoleteEric Botcazou1-2/+1
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-07-17[Ada] Minor reformattingHristian Kirtchev1-4/+4
2018-07-17[Ada] Crash processing abstract state aspect of a packageJavier Miranda1-4/+0
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2016-07-04sem_eval.adb (Decompose_Expr): Set 'out' parameters Kind and Cons to valid va...Bob Duff1-2/+2
2014-08-04sem.adb, sem.ads (In_Default_Expr): Global flag that is set to True during an...Yannick Moy1-0/+4
2014-07-31gnat_ugn.texi: Document new switch -gnato0.Robert Dewar1-29/+29
2014-07-30exp_aggr.adb: Update comments.Robert Dewar1-3/+7
2014-07-30[multiple changes]Arnaud Charlet1-1/+1
2014-07-30sem_ch3.ads, [...]: Minor reformatting.Robert Dewar1-3/+3
2013-04-11[multiple changes]Arnaud Charlet1-7/+1
2012-12-05[multiple changes]Arnaud Charlet1-1/+7
2012-10-01sem_ch13.adb (Add_Invariants): Analyze the invariant expression as an asserti...Yannick Moy1-1/+5
2011-12-22[multiple changes]Arnaud Charlet1-1/+1
2011-12-21sem_ch3.ads, [...] (Check_CPP_Type): New subprogram.Javier Miranda1-1/+5
2011-08-02[multiple changes]Arnaud Charlet1-7/+12
2011-08-01sem_ch3.adb, [...]: Minor reformattingRobert Dewar1-4/+4
2011-08-01[multiple changes]Arnaud Charlet1-0/+6
2010-10-21[multiple changes]Arnaud Charlet1-0/+4
2010-10-18[multiple changes]Arnaud Charlet1-1/+4
2010-10-11[multiple changes]Arnaud Charlet1-0/+2
2010-10-11[multiple changes]Arnaud Charlet1-1/+1
2010-06-23[multiple changes]Arnaud Charlet1-7/+5
2009-07-30a-teioed.adb, [...]: Minor reformattingRobert Dewar1-27/+26
2009-07-29sem_ch3.ads, [...] (Add_Internal_Interface_Entities): Routine moved from the ...Javier Miranda1-0/+5
2009-07-20[multiple changes]Arnaud Charlet1-0/+15
2009-06-25[multiple changes]Arnaud Charlet1-13/+19
2009-04-15[multiple changes]Arnaud Charlet1-2/+2
2008-09-14a-crbtgk.adb, [...]: Fix typos in comments.Ralf Wildenhues1-1/+1
2008-05-27mlib-prj.adb: Minor reformattingRobert Dewar1-0/+1
2008-05-26einfo.ads (Abstract_Interface_Alias): Renamed as Interface_Alias.Javier Miranda1-1/+1
2008-04-08fe.h: Remove global Optimize_Alignment flag, no longer usedRobert Dewar1-9/+9
2007-12-13sem_ch3.ads, [...] (Check_Abstract_Overriding): Avoid generation of spurious ...Javier Miranda1-6/+4
2007-09-10exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar1-4/+3
2007-08-14sem_ch11.adb: Improved warnings for unused variablesRobert Dewar1-1/+8
2007-04-06errout.adb (Unwind_Internal_Type): Use predicate Is_Access__Protected_Subprog...Ed Schonberg1-7/+5
2006-10-31g-awk.adb (Default_Session, [...]): Compile this file in Ada 95 mode, because...Bob Duff1-30/+42
2006-02-15sem_ch12.adb (Inline_Instance_Body): Remove erroneous assumption that Scope_S...Thomas Quinot1-0/+5
2005-11-15sem_ch3.ads, [...] (Build_Discriminal): Add link to original discriminant.Ed Schonberg1-6/+15