aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch7.adb
AgeCommit message (Expand)AuthorFilesLines
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff1-1/+1
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff1-2/+2
2021-09-20[Ada] Implementation of Preelaborable_Initialization attribute for AI12-0409Gary Dismukes1-2/+7
2021-07-06[Ada] Support for Object.Op subprogram-call notation for untagged typesGary Dismukes1-0/+9
2021-06-18[Ada] Ada2020: Special handling of types derived from runtimeJavier Miranda1-0/+3
2021-06-17[Ada] Removal of technical debtJustin Squirek1-1/+1
2021-05-07[Ada] Minor reformattingsBob Duff1-42/+42
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-6/+6
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+11
2021-05-05[Ada] Move Build_And_Insert_CUDA_Initialization to expansion phaseGhjuvan Lacambre1-8/+0
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-10-19[Ada] Implement initialization of CUDA runtimeGhjuvan Lacambre1-0/+8
2020-10-19[Ada] Private type unexpectedly visibleJavier Miranda1-0/+19
2020-10-15[Ada] Get finalization right when a function returns a function callSteve Baird1-0/+1
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-14/+14
2020-06-19[Ada] Attempt to hide public entities in nested instance bodiesEric Botcazou1-16/+35
2020-06-09[Ada] Propagate DIC, Invariant and Predicate attributes to viewsEric Botcazou1-19/+5
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-62/+0
2020-06-03[Ada] Improve handling of SPARK_Mode in generic instancesYannick Moy1-0/+9
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Reuse Is_Package_Or_Generic_Package where possiblePiotr Trojanek1-3/+3
2019-12-13[Ada] Crash on inherited private operation in child packageEd Schonberg1-0/+3
2019-10-10[Ada] Mention GNAT Studio instead of GPSAnthony Leonardo Gracio1-1/+1
2019-09-19[Ada] Spurious visibility error in generic child unitEd Schonberg1-3/+15
2019-08-14[Ada] Fix discrepancy in mechanism tracking private and full viewsEric Botcazou1-31/+75
2019-07-10[Ada] Minor reformattingHristian Kirtchev1-5/+5
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-1/+1
2019-07-03[Ada] Minor reformattingHristian Kirtchev1-2/+2
2019-07-03[Ada] Do not consider inlined subprograms when generating C codeArnaud Charlet1-4/+10
2019-07-01[Ada] Remove a SPARK rule about implicit GlobalPiotr Trojanek1-1/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] Do not expand code inside ignored ghost bodiesYannick Moy1-0/+17
2018-12-11[Ada] Minor reformattingHristian Kirtchev1-4/+5
2018-12-03[Ada] Fix internal error on package instantiation on private typeEric Botcazou1-0/+9
2018-11-14[Ada] Minor reformattingHristian Kirtchev1-5/+5
2018-11-14[Ada] Visibility error on used enumerated typeJustin Squirek1-2/+13
2018-10-09[Ada] Internal error on inlined renaming of subprogram instanceEric Botcazou1-2/+9
2018-09-26[Ada] Inlining of renamed subprogram instances in package bodyEric Botcazou1-21/+44
2018-05-24[Ada] Quadratic compile time with tagged typesJustin Squirek1-5/+5
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-1/+2
2018-05-21[Ada] Placement of pragma Elaboration_ChecksHristian Kirtchev1-0/+6
2018-05-21[Ada] Only allow Has_Discriminants on type entitiesPiotr Trojanek1-1/+4
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-12-05[multiple changes]Pierre-Marie de Rodat1-0/+4
2017-11-16[multiple changes]Pierre-Marie de Rodat1-0/+5
2017-11-09[multiple changes]Pierre-Marie de Rodat1-11/+7
2017-10-09[multiple changes]Pierre-Marie de Rodat1-8/+12
2017-10-09[multiple changes]Pierre-Marie de Rodat1-8/+2
2017-10-09exp_ch6.adb (Expand_N_Extended_Return_Statement): Add self-checking code so i...Pierre-Marie de Rodat1-6/+29
2017-09-25[multiple changes]Pierre-Marie de Rodat1-0/+13
generated by cgit v1.1 at 2024-07-01 04:26:46 +0000