aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch12.adb
AgeCommit message (Expand)AuthorFilesLines
2020-07-08[Ada] Accept aspect Relaxed_Initialization on generic subprogramsPiotr Trojanek1-7/+7
2020-07-08[Ada] Analyze aspects once generic subprograms are recognizedPiotr Trojanek1-7/+7
2020-07-07[Ada] Use Is_Generic_Subprogram where possiblePiotr Trojanek1-2/+1
2020-07-07[Ada] ACATS 4.1H - BC60005 - null exclusion matching for formal subprogramsArnaud Charlet1-3/+2
2020-07-06[Ada] Hang on generic declaration with ambiguous formal packageJustin Squirek1-4/+13
2020-06-17[Ada] Add assertions to Preserve_Comes_From_Source and reuse itPiotr Trojanek1-3/+3
2020-06-17[Ada] Fix casing from GNATProve to GNATprovePiotr Trojanek1-2/+2
2020-06-16[Ada] Implement AI12-0351 Matching for actuals for formal derived typesEric Botcazou1-2/+10
2020-06-12[Ada] Compiler locks up with -gnatX and formal subprogram with aspectsEd Schonberg1-7/+14
2020-06-12[Ada] Compiler crash on instance with overloaded actual and aspectsEd Schonberg1-18/+69
2020-06-11[Ada] Allow specifying volatility refinement aspects for typesSteve Baird1-0/+47
2020-06-11[Ada] Crash on dispatching conditional entry callJavier Miranda1-0/+1
2020-06-10[Ada] Minor reformatting and some typo fixesGary Dismukes1-3/+3
2020-06-09[Ada] Remove kludge for AI05-0087Arnaud Charlet1-22/+8
2020-06-09[Ada] Ada2020 AI12-0282: Shared variable control aspects in genericsEd Schonberg1-2/+21
2020-06-09[Ada] Ada2020 AI12-0282: Shared variable control aspects in genericsEd Schonberg1-37/+39
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-8/+0
2020-06-08[Ada] AI12-0287 Legality Rules for null exclusions in renaming are too fierceArnaud Charlet1-13/+21
2020-06-05[Ada] Minor wording changes wrt Ada 202xArnaud Charlet1-5/+5
2020-06-04[Ada] Ada_2020: contracts for formal subprogramsEd Schonberg1-3/+210
2020-06-04[Ada] Put_Image attributeBob Duff1-0/+1
2020-06-04[Ada] Set convention and inlined flag on default null procedureEric Botcazou1-1/+7
2020-06-04[Ada] Add another ad-hoc case to the Has_Private_View mechanismEric Botcazou1-0/+31
2020-06-04[Ada] Fix fallout of cleanup to Has_Private_View mechanismEric Botcazou1-0/+31
2020-06-04[Ada] Minor editorial fixesGary Dismukes1-2/+2
2020-06-03[Ada] Fix for missing calls to Adjust primitive with nested genericsEric Botcazou1-126/+81
2020-06-03[Ada] Small housekeeping work in Check_Private_ViewEric Botcazou1-19/+9
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-138/+35
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Reuse Is_Package_Or_Generic_Package where possiblePiotr Trojanek1-1/+1
2019-12-18[Ada] AI12-0282: shared variable control aspects on formal typesEd Schonberg1-2/+94
2019-12-16[Ada] Validate_Access_Subprogram_Instance: check if not null types matchGhjuvan Lacambre1-0/+6
2019-12-16[Ada] Implement new legality rules introduced in C.6(13) by AI12-0128Eric Botcazou1-7/+24
2019-12-12[Ada] Fix repeated words and typos in doc and commentsPiotr Trojanek1-3/+3
2019-12-12[Ada] Implement AI12-0036 (a new legality check for instantiations)Steve Baird1-0/+29
2019-10-10[Ada] Various minor typo fixesGary Dismukes1-1/+1
2019-10-10[Ada] Spurious visibility error on formal package with Abstract_StateEd Schonberg1-0/+38
2019-09-19[Ada] Sem_Ch12: add a comment to indicate future workEric Botcazou1-0/+5
2019-09-19[Ada] Fix bogus "too late" error with nested generics and inliningEric Botcazou1-0/+62
2019-09-19[Ada] Fix spurious type mismatch failure on nested instantiationsEric Botcazou1-3/+11
2019-08-19[Ada] Lift restriction on instantiations that are compilation unitsEric Botcazou1-14/+21
2019-08-19[Ada] Minor refactoringsPiotr Trojanek1-4/+1
2019-08-19[Ada] Further cleanup in inlining machineryEric Botcazou1-24/+68
2019-08-14[Ada] Further cleanup in the inlining machineryEric Botcazou1-4/+9
2019-08-14[Ada] Compiler speedup with inlining across unitsEric Botcazou1-13/+8
2019-08-14[Ada] Remove obsolete Pending_Descriptor table and related bitsEric Botcazou1-19/+4
2019-08-14[Ada] Fix internal error on inlined subprogram instanceEric Botcazou1-4/+0
2019-08-13[Ada] Fix spurious instantiation error on private record typeEric Botcazou1-1/+10
2019-08-13[Ada] Small cleanup and improvement in inlining machineryEric Botcazou1-20/+0
2019-08-13[Ada] Fix spurious error on nested instantiation with inliningEric Botcazou1-16/+15
generated by cgit v1.1 at 2024-08-19 14:31:08 +0000