aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_ch6.adb
AgeCommit message (Expand)AuthorFilesLines
2022-11-08ada: Clean up call to check if aspects are presentPiotr Trojanek1-2/+2
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-37/+277
2022-11-07ada: Fix detection of external calls to protected objects in instancesPiotr Trojanek1-1/+1
2022-11-07ada: Don't reuse operator nodes in expansionPiotr Trojanek1-1/+1
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-2/+2
2022-09-20replace "the the" typosMartin Liska1-1/+1
2022-09-12[Ada] Temporary tweak new expansion of contractsEric Botcazou1-4/+4
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-160/+10
2022-09-12[Ada] Revert "Enforce matching of extra formals"Javier Miranda1-26/+26
2022-09-06[Ada] Enforce matching of extra formalsJavier Miranda1-26/+26
2022-09-02[Ada] Error on return of object whose full view has undefaulted discriminantsGary Dismukes1-1/+1
2022-07-13[Ada] Fix CodePeer warnings in GNAT sourcesJustin Squirek1-1/+1
2022-07-06[Ada] Document the various function return mechanismsEric Botcazou1-1/+42
2022-07-06[Ada] Remove explicit call to Make_Unchecked_Type_ConversionPiotr Trojanek1-3/+1
2022-07-05[Ada] Fix dangling bounds for array result of BIP functionsEric Botcazou1-812/+45
2022-07-04[Ada] Do not use front-end build-in-place mechanism for nonlimited typesEric Botcazou1-83/+16
2022-07-04[Ada] Call-initialize all controlled objects in placeEric Botcazou1-10/+21
2022-07-04[Ada] Plug loophole for built-in-place return with limited_with clauseEric Botcazou1-1/+2
2022-06-02[Ada] Get rid of secondary stack for most calls returning tagged typesEric Botcazou1-48/+61
2022-06-02[Ada] Move registering code for predefined primitives to Exp_DispEric Botcazou1-103/+5
2022-06-01[Ada] Rename Returns_On_Secondary_Stack into Needs_Secondary_StackEric Botcazou1-5/+5
2022-06-01[Ada] Get rid of secondary stack for controlled components of limited typesEric Botcazou1-5/+6
2022-06-01[Ada] Use Actions field of freeze nodes for subprograms (continued)Eric Botcazou1-2/+10
2022-05-30[Ada] Fix expansion of structural subprogram variantsPiotr Trojanek1-7/+21
2022-05-19[Ada] Fix spurious violations of No_Secondary_Stack restrictionEric Botcazou1-3/+4
2022-05-19[Ada] Avoid copy operation for returns involving function callsEric Botcazou1-3/+3
2022-05-19[Ada] Get rid of secondary stack for controlled componentsEric Botcazou1-12/+79
2022-05-17[Ada] Streamline implementation of Has_Compatible_RepresentationEric Botcazou1-6/+6
2022-05-17[Ada] Use Actions field of freeze nodes for subprogramsEric Botcazou1-2/+13
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-10/+0
2022-05-10[Ada] Reuse Is_Rewrite_Substitution where possiblePiotr Trojanek1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-1/+1
2022-01-06[Ada] Removal of technical debtJustin Squirek1-4/+8
2021-12-02[Ada] Remove extra space after assignment symbolPiotr Trojanek1-1/+1
2021-11-09[Ada] Build activation chain for BIP only when neededEtienne Servais1-2/+5
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-1/+3
2021-10-11[Ada] Incorrect Dynamic_Predicate results for static argumentsSteve Baird1-1/+43
2021-10-01[Ada] Subprogram_Variant in ignored ghost codeBob Duff1-0/+1
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-13/+374
2021-09-21[Ada] Interface behaves differently from abstract tagged nullJavier Miranda1-0/+4
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff1-0/+2
2021-07-09[Ada] Crash on expansion of BIP construct in -gnatf modeJustin Squirek1-0/+9
2021-07-08[Ada] Transient scope cleanupBob Duff1-14/+11
2021-07-07[Ada] Replace low-level membership tests with Is_Private_TypePiotr Trojanek1-1/+1
2021-07-07[Ada] Transient scope cleanupBob Duff1-43/+20
2021-07-05[Ada] INOX: prototype alternative accessibility modelJustin Squirek1-9/+20
2021-07-05[Ada] Refactoring related to Returns_By_RefBob Duff1-24/+2
2021-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff1-1/+3
2021-06-21[Ada] INOX: prototype "when" constructsJustin Squirek1-0/+17