summaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch9.adb
Commit message (Expand)AuthorAgeFilesLines
* [Ada] Fixes for GNAT error/warning messagesYannick Moy2020-12-171-10/+10
* [Ada] Further Ada 2020 work on accessibility checkingJustin Squirek2020-10-231-1/+2
* [Ada] AI12-0211: Consistency of inherited nonoverridable aspectsSteve Baird2020-10-221-0/+8
* [Ada] Reimplementation of accessibility checkingJustin Squirek2020-10-221-1/+1
* [Ada] Avoid unnecessary (re)assignments in Make_InfoPiotr Trojanek2020-10-151-1/+1
* [Ada] Use membership tests in front-endArnaud Charlet2020-07-271-8/+8
* [Ada] Move generation of range checks for entry families to expanderEric Botcazou2020-07-071-3/+3
* [Ada] Remove more references to ASISArnaud Charlet2020-06-101-2/+2
* [Ada] Propagate DIC, Invariant and Predicate attributes to viewsEric Botcazou2020-06-091-0/+10
* [Ada] Remove processing of SPARK_05 restrictionArnaud Charlet2020-06-081-12/+0
* [Ada] Spurious error on address clause in task bodyEd Schonberg2020-06-051-0/+18
* [Ada] Bump copyright yearArnaud Charlet2020-06-021-1/+1
* [Ada] Fix repeated words and typos in doc and commentsPiotr Trojanek2019-12-121-1/+1
* [Ada] Replace low-level membership tests with high-level routinesPiotr Trojanek2019-08-211-2/+1
* [Ada] Missing finalization of private protected typeHristian Kirtchev2019-07-111-22/+26
* [Ada] Compiler loop on illegal nested accept statementEd Schonberg2019-07-051-1/+7
* [Ada] Bump copyright years to 2019Pierre-Marie de Rodat2019-01-081-1/+1
* [Ada] Replace low-level calls to Ekind with high-level calls to Is_FormalPiotr Trojanek2018-07-311-1/+1
* [Ada] Suppression of elaboration-related warningsHristian Kirtchev2018-05-231-6/+9
* [Ada] Aspects on stubsHristian Kirtchev2018-05-211-1/+1
* [Ada] Bump copyright notices to 2018Arnaud Charlet2018-01-111-1/+1
* opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev2017-11-161-3/+4
* [multiple changes]Pierre-Marie de Rodat2017-11-091-10/+10
* [multiple changes]Pierre-Marie de Rodat2017-11-091-3/+3
* [multiple changes]Pierre-Marie de Rodat2017-10-091-0/+40
* [multiple changes]Pierre-Marie de Rodat2017-09-251-0/+3
* [multiple changes]Arnaud Charlet2017-09-071-1/+1
* [multiple changes]Arnaud Charlet2017-04-281-3/+3
* [multiple changes]Arnaud Charlet2017-04-271-3/+2
* sem_ch9.adb, [...]: Minor reformatting and typo fixes.Gary Dismukes2017-04-251-2/+2
* [multiple changes]Arnaud Charlet2017-04-251-18/+3
* sem_util.adb (New_Copy_Tree): Code cleanup: removal of the internal map (ie.Javier Miranda2017-01-231-0/+26
* sem_ch3.adb, [...]: Minor reformatting.Hristian Kirtchev2017-01-231-0/+1
* [multiple changes]Arnaud Charlet2017-01-201-0/+13
* sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...Hristian Kirtchev2017-01-131-13/+19
* [multiple changes]Arnaud Charlet2017-01-131-1/+1
* [multiple changes]Arnaud Charlet2017-01-121-1/+1
* contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped.Bob Duff2017-01-121-3/+3
* einfo.ads, einfo.adb: Remove uses of flags Has_Default_Init_Cond...Hristian Kirtchev2017-01-091-0/+10
* snames.ads-tmpl (Renamed): New name for the pragma argument.Bob Duff2017-01-061-4/+5
* [multiple changes]Arnaud Charlet2016-10-121-0/+1
* [multiple changes]Arnaud Charlet2016-07-071-1/+7
* [multiple changes]Arnaud Charlet2016-06-201-7/+36
* bindgen.adb, [...]: Minor reformatting.Hristian Kirtchev2016-06-161-4/+4
* sem_ch9.adb, [...]: Minor reformatting and typo fixes.Gary Dismukes2016-06-161-3/+4
* [multiple changes]Arnaud Charlet2016-06-161-1/+18
* [multiple changes]Arnaud Charlet2016-06-141-1/+1
* [multiple changes]Arnaud Charlet2016-06-141-10/+2
* [multiple changes]Arnaud Charlet2016-04-211-3/+1
* [multiple changes]Arnaud Charlet2016-04-201-0/+1
View Lorry Controller Status