aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_ch3.adb
AgeCommit message (Expand)AuthorFilesLines
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-20/+116
2022-11-07ada: New warning about noncomposing user-defined "="Bob Duff1-1/+2
2022-09-12[Ada] Revert "Enforce matching of extra formals"Javier Miranda1-109/+20
2022-09-06[Ada] Enforce matching of extra formalsJavier Miranda1-20/+109
2022-09-05[Ada] Bad Default_Initial_Condition check for a not-default-initialized objectSteve Baird1-0/+1
2022-09-05[Ada] Fix crash for Default_Initial_Condition on derived enumeration typeEric Botcazou1-2/+5
2022-07-06[Ada] Fix incorrect itype sharing for case expression in limited type returnEric Botcazou1-72/+76
2022-07-05[Ada] Reuse Get_Pragma_Arg to handle pragma argument associationsPiotr Trojanek1-5/+3
2022-07-05[Ada] Perform object rewriting as renaming only in the expanderEric Botcazou1-38/+33
2022-07-05[Ada] Fix dangling bounds for array result of BIP functionsEric Botcazou1-55/+781
2022-07-04[Ada] Small housekeeping work in Expand_N_Object_DeclarationEric Botcazou1-137/+119
2022-07-04[Ada] Adjust previous change to Rewrite_As_RenamingEric Botcazou1-6/+13
2022-07-04[Ada] Use static stack allocation for small dynamic string concatenationsEric Botcazou1-4/+20
2022-07-04[Ada] Call-initialize all controlled objects in placeEric Botcazou1-25/+23
2022-06-02[Ada] Fix spurious use of trampolines with interface typesEric Botcazou1-2/+2
2022-06-02[Ada] Build static dispatch tables always at the end of declarative partEric Botcazou1-32/+1
2022-06-01[Ada] Another case where freezing incorrectly suppresses checksSteve Baird1-0/+7
2022-06-01[Ada] Missing discriminant checks when accessing variant fieldSteve Baird1-34/+54
2022-05-30[Ada] Do not freeze profiles for dispatch tablesEric Botcazou1-2/+2
2022-05-17[Ada] Fix small glitch in Expand_N_Full_Type_DeclarationEric Botcazou1-2/+1
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-66/+27
2022-05-16[Ada] Remove duplicated detection of user-defined equalityPiotr Trojanek1-21/+3
2022-05-16[Ada] Improve building of untagged equalityPiotr Trojanek1-0/+1
2022-05-16[Ada] Fix spurious error on limited view with incomplete typeEric Botcazou1-2/+1
2022-05-13[Ada] Implement late initialization rules for type extensionsSteve Baird1-235/+506
2022-05-11[Ada] Set_Is_Known_Valid only if Safe_To_Capture_ValueAlexandre Oliva1-1/+4
2022-05-09[Ada] Fix indentation of "Start of processing for ..." labelsPiotr Trojanek1-2/+0
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Remove unnecessary guard for inserting non-empty listPiotr Trojanek1-3/+1
2022-01-07[Ada] Remove unnecessary guards for appending non-empty listsPiotr Trojanek1-3/+1
2022-01-06[Ada] Spurious error when using current instance of typeJustin Squirek1-0/+19
2022-01-05[Ada] Expand controlling function wrapper into expression functionPiotr Trojanek1-20/+33
2022-01-05[Ada] Expand controlling functions wrappers in GNATprove modePiotr Trojanek1-11/+0
2022-01-05[Ada] Remove extra whitespace in declarations and parameters listsPiotr Trojanek1-4/+4
2022-01-05[Ada] Fix layout of parameters in calls to Predef_Spec_Or_BodyPiotr Trojanek1-13/+13
2022-01-05[Ada] Simplify making of null procedure wrappersPiotr Trojanek1-43/+31
2022-01-05[Ada] Fix sharing of formal parameters between wrapper spec and bodyPiotr Trojanek1-75/+64
2021-12-02[Ada] Cleanup insertion of single freezing actionsPiotr Trojanek1-2/+1
2021-12-02[Ada] Cleanups related to expansion of dispatching primitivesPiotr Trojanek1-4/+2
2021-12-02[Ada] Separate building of equality from other dispatching routinesPiotr Trojanek1-168/+197
2021-12-01[Ada] Simplify building of inequality function bodyPiotr Trojanek1-13/+12
2021-11-10[Ada] Don't carry action bodies for expansion of array equalityPiotr Trojanek1-4/+3
2021-10-25[Ada] Simplify detection of a parent interface equalityPiotr Trojanek1-7/+4
2021-10-25[Ada] Remove redundant guard in expansion of dispatching callsPiotr Trojanek1-2/+1
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff1-5/+6
2021-10-11[Ada] Remove redundant guard in expansion of dispatching callsPiotr Trojanek1-6/+2
2021-10-11[Ada] Remove constant argumentsEtienne Servais1-9/+7
2021-10-11[Ada] Simplify initialization of concurrent componentsPiotr Trojanek1-5/+2
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-0/+92
generated by cgit v1.1 at 2024-08-17 14:53:57 +0000