aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch7.adb
AgeCommit message (Expand)AuthorFilesLines
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
2017-09-13[multiple changes]Pierre-Marie de Rodat1-1/+2
2017-09-07[multiple changes]Arnaud Charlet1-1/+1
2017-09-07[multiple changes]Arnaud Charlet1-0/+6
2017-09-07[multiple changes]Arnaud Charlet1-0/+17
2017-09-07[multiple changes]Arnaud Charlet1-1/+13
2017-09-06[multiple changes]Arnaud Charlet1-1/+1
2017-09-06exp_util.adb (Side_Effect_Free): For CodePeer (only) treat uses of 'Image and...Steve Baird1-1/+0
2017-09-06[multiple changes]Arnaud Charlet1-4/+5
2017-09-06[multiple changes]Arnaud Charlet1-102/+136
2017-09-06[multiple changes]Arnaud Charlet1-14/+16
2017-09-06[multiple changes]Arnaud Charlet1-2/+2
2017-09-06[multiple changes]Arnaud Charlet1-2/+5
2017-04-28[multiple changes]Arnaud Charlet1-1/+5
generated by cgit v1.1 at 2024-10-06 08:54:01 +0000