aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch7.adb
AgeCommit message (Expand)AuthorFilesLines
2022-07-12[Ada] Warn on unset objects in packages with no bodiesPiotr Trojanek1-0/+7
2022-06-02[Ada] Refine previous changes on making symbols public/privateArnaud Charlet1-41/+44
2022-05-30[Ada] Introduce Opt.CCG_ModeArnaud Charlet1-2/+2
2022-05-18[Ada] Fast implementation of floating-point mathematical functionsEric Botcazou1-13/+25
2022-05-17[Ada] Fix bogus visibility error with partially parameterized formal packageEric Botcazou1-2/+6
2022-05-16[Ada] Fix fallout of change in equality for untagged record typesEric Botcazou1-3/+27
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-7/+94
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-12-01[Ada] Improve messages on incorrect state refinement in SPARKYannick Moy1-0/+2
2021-12-01[Ada] Storage error on untagged prefixed subprogram calls with -gnatXGary Dismukes1-6/+6
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-5/+6
2021-10-04[Ada] Completion of support for AI12-0409 (attribute Preelaborable_Initializa...Gary Dismukes1-13/+28
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
generated by cgit v1.1 at 2024-08-19 12:11:46 +0000