aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch6.adb
AgeCommit message (Expand)AuthorFilesLines
2021-07-09[Ada] Crash on inlined separate subprogramJustin Squirek1-1/+6
2021-07-09[Ada] Initialize local variables related to static expression functionsPiotr Trojanek1-2/+2
2021-07-09[Ada] Reorder preanalysis of static expression functionsPiotr Trojanek1-10/+6
2021-07-09[Ada] Decouple analysis of static expression functions from GNATprovePiotr Trojanek1-69/+68
2021-07-09[Ada] Avoid repeated computing of type of expression functionsPiotr Trojanek1-8/+11
2021-07-09[Ada] Fix comment related to analysis of expression functionsPiotr Trojanek1-1/+1
2021-07-09[Ada] Avoid repeated calls in analysis of expression functionsPiotr Trojanek1-2/+2
2021-07-09[Ada] Refine types of local variables in analysis of expression functionsPiotr Trojanek1-2/+2
2021-07-09[Ada] Remove an unnecessary local constantPiotr Trojanek1-1/+0
2021-07-08[Ada] Simplify redundant checks for non-empty listsPiotr Trojanek1-1/+0
2021-07-07[Ada] Reduce scope of local variablesPiotr Trojanek1-4/+6
2021-07-07[Ada] Replace low-level membership tests with Is_Private_TypePiotr Trojanek1-2/+2
2021-07-06[Ada] Support for Object.Op subprogram-call notation for untagged typesGary Dismukes1-2/+96
2021-07-06[Ada] Spurious conformance error on expression functionEd Schonberg1-0/+11
2021-07-05[Ada] Simplify and reuse Is_Concurrent_InterfacePiotr Trojanek1-4/+1
2021-07-05[Ada] Fix missing error messages when returning limited typeGhjuvan Lacambre1-1/+2
2021-07-05[Ada] Refactoring related to Returns_By_RefBob Duff1-13/+1
2021-06-29[Ada] Overriding errors on renamings and instances overriding predefined oper...Gary Dismukes1-5/+7
2021-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff1-1/+1
2021-06-21[Ada] INOX: prototype "when" constructsJustin Squirek1-0/+12
2021-06-18[Ada] Ada2020: AI12-0195 overriding class-wide pre/post conditionsJavier Miranda1-7/+32
2021-06-18[Ada] Relax null exclusion mismatch check in Relaxed_RM_Semantics modeArnaud Charlet1-1/+3
2021-06-18[Ada] Ada2020: Special handling of types derived from runtimeJavier Miranda1-0/+12
2021-06-17[Ada] Removal of technical debtJustin Squirek1-22/+11
2021-06-17[Ada] Fix varsize node name conflictBob Duff1-7/+7
2021-06-16[Ada] Wrong reference to System.Tasking in expanded codeArnaud Charlet1-1/+1
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-6/+6
2021-05-07[Ada] Minor reformattingsBob Duff1-66/+66
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-17/+17
2021-05-07[Ada] Fix link from body protected entry implementation to source codePiotr Trojanek1-14/+1
2021-05-07[Ada] Variable-sized node typesBob Duff1-3/+39
2021-05-06[Ada] Assert failure on pragma Inline in procedure bodyArnaud Charlet1-4/+2
2021-05-04[Ada] Fix inconsistent iteration with First_Formal and Next_EntityPiotr Trojanek1-2/+2
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Remove leading and trailing spaces in error messagesPiotr Trojanek1-5/+5
2020-12-17[Ada] Fixes for GNAT error/warning messagesYannick Moy1-3/+3
2020-12-15[Ada] Postcondition checks performed before finalizationJustin Squirek1-4/+2
2020-12-15[Ada] Transform_Function_Array issuesArnaud Charlet1-11/+35
2020-11-27[Ada] Implement AI12-0187 (Stable properties of abstract data types)Steve Baird1-1/+11
2020-11-26[Ada] Minor reformatting and a typo fixGary Dismukes1-3/+2
2020-11-26[Ada] Improve error message on illegal prefixed procedure callEd Schonberg1-0/+21
2020-11-26[Ada] Compiler crash on named association in return aggregateJustin Squirek1-13/+201
2020-10-27[Ada] New flag Transform_Function_ArrayArnaud Charlet1-14/+15
2020-10-23[Ada] Further Ada 2020 work on accessibility checkingJustin Squirek1-170/+271
2020-10-22[Ada] Reimplementation of accessibility checkingJustin Squirek1-3/+3
2020-10-21[Ada] Make minimum accessibility level a constant objectPiotr Trojanek1-1/+2
2020-10-20[Ada] Add support for Unreferenced aspect on formal parametersArnaud Charlet1-3/+24
2020-10-20[Ada] Inlining nonstatic calls to static expression functionsGary Dismukes1-0/+6
2020-10-19[Ada] AI12-0352: Early derivation and equality of untagged typesArnaud Charlet1-2/+19
2020-10-16[Ada] Assorted style cleanupsPiotr Trojanek1-2/+0