aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_ch6.adb
AgeCommit message (Expand)AuthorFilesLines
2020-07-15[Ada] Minor reformatting of comments and some code, plus a typo correctionGary Dismukes1-2/+2
2020-07-15[Ada] Spurious accessibility error on allocatorJustin Squirek1-0/+6
2020-07-10[Ada] Spurious error on parameterless acccess_to_subprogramEd Schonberg1-1/+8
2020-07-10[Ada] Use small limit for aggregates inside subprogramsArnaud Charlet1-2/+1
2020-07-10[Ada] Spurious error in generic dispatching constructor callJavier Miranda1-1/+2
2020-07-10[Ada] Fix internal error on if-expression in call returning tagged typeEric Botcazou1-3/+10
2020-07-08[Ada] Optional warning on build-in-place function callsVasiliy Fofanov1-0/+23
2020-07-08[Ada] Static expression function problems with -gnatc and -gnatd.F (SPARK mode)Gary Dismukes1-39/+0
2020-07-07[Ada] Errors in handling of access_to_subprogram contractsEd Schonberg1-6/+16
2020-07-07[Ada] Hang on conditional expression as actualJustin Squirek1-1/+9
2020-07-07[Ada] Checking type invariants on in params of procedures, not functions (AI1...Gary Dismukes1-67/+79
2020-07-06[Ada] Various typo fixes and reformatting of commentsGary Dismukes1-4/+4
2020-07-06[Ada] Fix bad interaction between Unchecked_Conversion and limited typeEric Botcazou1-14/+27
2020-06-18[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-6/+0
2020-06-18[Ada] Implement AI12-0032 fixes for 'Old attribute accessibilitySteve Baird1-0/+15
2020-06-18[Ada] Minor cleanup in Expand_Call_HelperEric Botcazou1-18/+6
2020-06-17[Ada] Ada2020: AI12-0279 more dispatching points with aspect YieldJavier Miranda1-0/+33
2020-06-17[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-3/+77
2020-06-17[Ada] Implement static expression functions for Ada 202x (AI12-0075)Gary Dismukes1-0/+39
2020-06-16[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-8/+168
2020-06-15[Ada] Implement AI12-0343 Return Statement ChecksEric Botcazou1-148/+188
2020-06-15[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-2/+16
2020-06-15[Ada] Passing actual parameter values to out formals when Default_Value is setGary Dismukes1-0/+19
2020-06-15[Ada] Bad access checks on if/case expression as actualJustin Squirek1-12/+219
2020-06-15[Ada] Replace repeated Ekind with Ekind_InPiotr Trojanek1-2/+1
2020-06-15[Ada] Remove excessive parensPiotr Trojanek1-2/+2
2020-06-12[Ada] Fix handling of subprograms declared in a protected bodyArnaud Charlet1-13/+0
2020-06-10[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_To_Subprogram typesEd Schonberg1-2/+65
2020-06-10[Ada] Incorrect accessibility checks on functions callsJustin Squirek1-169/+0
2020-06-10[Ada] Fix incorrect insertion of post-call actions in if-expressionEric Botcazou1-5/+10
2020-06-09[Ada] Implement AI12-0028: Import of variadic C functionsEric Botcazou1-2/+1
2020-06-09[Ada] Code clean ups and comments updatesArnaud Charlet1-2/+6
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-26/+0
2020-06-03[Ada] Incorrect accessibility checking on aliased formalsJustin Squirek1-22/+32
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-1/+1
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-12-16[Ada] Do not issue restriction violations on ignored ghost codeYannick Moy1-2/+2
2019-12-16[Ada] Implement RM C.6(19) clause entirely in the front-endEric Botcazou1-20/+50
2019-12-13[Ada] Deallocation of controlled type implementing interface typesJavier Miranda1-1/+2
2019-12-12[Ada] Crash on use of Loop_Entry, Result, and Old as actualsJustin Squirek1-0/+9
2019-10-10[Ada] Spurious restriction violation on Ghost codeEd Schonberg1-1/+6
2019-09-19[Ada] Fix fallout of previous change for bit-packed arraysEric Botcazou1-13/+19
2019-09-19[Ada] Improve handling of explicit by-reference mechanismEric Botcazou1-3/+8
2019-09-18[Ada] Spurious run time error on anonymous access formalsJustin Squirek1-17/+17
2019-09-17[Ada] Adding assertions on extra formals for BIP function callsJavier Miranda1-4/+54
2019-08-21[Ada] Fix type mismatch in extended return statement expansionEric Botcazou1-25/+60
2019-08-20[Ada] Improve speed of discriminated return typesBob Duff1-58/+51
2019-08-14[Ada] Compiler speedup with inlining across unitsEric Botcazou1-56/+0
2019-08-13[Ada] Small cleanup and improvement in inlining machineryEric Botcazou1-28/+26
2019-08-13[Ada] Fix spurious error on nested instantiation with inliningEric Botcazou1-5/+6
generated by cgit v1.1 at 2024-07-19 11:28:11 +0000