aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch9.adb
AgeCommit message (Expand)AuthorFilesLines
2022-11-04ada: Support lock-free protected objects with pragma Initialize_ScalarsPiotr Trojanek1-0/+9
2022-11-04ada: Reject expanded global names in lock-free protected objectsPiotr Trojanek1-2/+2
2022-10-06ada: Reject conditional goto in lock-free protected subprogramsPiotr Trojanek1-1/+1
2022-10-06ada: Cleanup related to lock-free protected subprogramsPiotr Trojanek1-5/+3
2022-09-12[Ada] Lock_Free aspect takes precedence over Ceiling_Locking locking policySteve Baird1-0/+25
2022-09-06[Ada] Disable lock free protected implementation if target lacks supportSteve Baird1-0/+5
2022-09-06[Ada] Enable lock free protected implementation by defaultSteve Baird1-179/+184
2022-05-18[Ada] Ada2022: AI12-0143 Index attribute for entry familiesJavier Miranda1-0/+72
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff1-3/+3
2021-07-08[Ada] Simplify redundant checks for non-empty listsPiotr Trojanek1-3/+1
2021-07-07[Ada] Assertion errors on concurrent types with -gnatc and extensions enabledGary Dismukes1-0/+12
2021-05-07[Ada] Minor reformattingsBob Duff1-42/+42
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-16/+16
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+6
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Remove leading and trailing spaces in error messagesPiotr Trojanek1-3/+3
2020-12-17[Ada] Fixes for GNAT error/warning messagesYannick Moy1-10/+10
2020-10-23[Ada] Further Ada 2020 work on accessibility checkingJustin Squirek1-1/+2
2020-10-22[Ada] AI12-0211: Consistency of inherited nonoverridable aspectsSteve Baird1-0/+8
2020-10-22[Ada] Reimplementation of accessibility checkingJustin Squirek1-1/+1
2020-10-15[Ada] Avoid unnecessary (re)assignments in Make_InfoPiotr Trojanek1-1/+1
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-8/+8
2020-07-07[Ada] Move generation of range checks for entry families to expanderEric Botcazou1-3/+3
2020-06-10[Ada] Remove more references to ASISArnaud Charlet1-2/+2
2020-06-09[Ada] Propagate DIC, Invariant and Predicate attributes to viewsEric Botcazou1-0/+10
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-12/+0
2020-06-05[Ada] Spurious error on address clause in task bodyEd Schonberg1-0/+18
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-12-12[Ada] Fix repeated words and typos in doc and commentsPiotr Trojanek1-1/+1
2019-08-21[Ada] Replace low-level membership tests with high-level routinesPiotr Trojanek1-2/+1
2019-07-11[Ada] Missing finalization of private protected typeHristian Kirtchev1-22/+26
2019-07-05[Ada] Compiler loop on illegal nested accept statementEd Schonberg1-1/+7
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-07-31[Ada] Replace low-level calls to Ekind with high-level calls to Is_FormalPiotr Trojanek1-1/+1
2018-05-23[Ada] Suppression of elaboration-related warningsHristian Kirtchev1-6/+9
2018-05-21[Ada] Aspects on stubsHristian Kirtchev1-1/+1
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-11-16opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev1-3/+4
2017-11-09[multiple changes]Pierre-Marie de Rodat1-10/+10
2017-11-09[multiple changes]Pierre-Marie de Rodat1-3/+3
2017-10-09[multiple changes]Pierre-Marie de Rodat1-0/+40
2017-09-25[multiple changes]Pierre-Marie de Rodat1-0/+3
2017-09-07[multiple changes]Arnaud Charlet1-1/+1
2017-04-28[multiple changes]Arnaud Charlet1-3/+3
2017-04-27[multiple changes]Arnaud Charlet1-3/+2
2017-04-25sem_ch9.adb, [...]: Minor reformatting and typo fixes.Gary Dismukes1-2/+2
2017-04-25[multiple changes]Arnaud Charlet1-18/+3
2017-01-23sem_util.adb (New_Copy_Tree): Code cleanup: removal of the internal map (ie.Javier Miranda1-0/+26
2017-01-23sem_ch3.adb, [...]: Minor reformatting.Hristian Kirtchev1-0/+1
generated by cgit v1.1 at 2024-08-17 13:50:42 +0000