aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_ch7.adb
AgeCommit message (Expand)AuthorFilesLines
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-1/+1
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-537/+11
2022-09-06[Ada] Place "at end" on body nodesBob Duff1-172/+52
2022-07-05[Ada] Misc cleanup related to finalizationBob Duff1-35/+20
2022-07-05[Ada] Fix dangling bounds for array result of BIP functionsEric Botcazou1-25/+3
2022-07-04[Ada] Call-initialize all controlled objects in placeEric Botcazou1-2/+7
2022-06-02[Ada] Restore full generation of static dispatch tables with -gnatzrEric Botcazou1-7/+12
2022-06-02[Ada] Get rid of secondary stack for most calls returning tagged typesEric Botcazou1-32/+9
2022-06-01[Ada] Rename Returns_On_Secondary_Stack into Needs_Secondary_StackEric Botcazou1-1/+1
2022-05-30[Ada] Avoid creating a finalization wrapper block for functionsBob Duff1-52/+28
2022-05-19[Ada] Fix spurious violations of No_Secondary_Stack restrictionEric Botcazou1-1/+1
2022-05-19[Ada] Avoid copy operation for returns involving function callsEric Botcazou1-9/+4
2022-05-18[Ada] Use specific predicate before manipulating BIP_Alloc_FormEric Botcazou1-4/+2
2022-05-17[Ada] Typo fix in finalization commentMarc Poulhiès1-8/+8
2022-05-16[Ada] Type invariant or postcondition may cause uninitialized memory readsJustin Squirek1-8/+27
2022-05-16[Ada] Implement component finalization ordering rules for type extensionsSteve Baird1-5/+47
2022-01-11[Ada] Avoid redundant checks for empty listsPiotr Trojanek1-1/+1
2022-01-11[Ada] Reuse Make_Temporary where possiblePiotr Trojanek1-11/+4
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] Simplify traversal in hooking of transient scopesPiotr Trojanek1-15/+7
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-1/+1
2022-01-06[Ada] New restriction No_Tagged_Type_RegistrationBob Duff1-2/+6
2021-12-01[Ada] Do not free task for _parentGhjuvan Lacambre1-2/+3
2021-10-20[Ada] Crash on object of protected type with defaulted access componentJustin Squirek1-7/+21
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff1-4/+3
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff1-4/+4
2021-09-21[Ada] Crash on build of Initialization procedure for derived containerEd Schonberg1-1/+4
2021-09-20[Ada] Cleanups related to building of dispatch tablesPiotr Trojanek1-1/+1
2021-09-20[Ada] Move Build_And_Insert_Cuda_Initialization to Expand_CUDA_PackageGhjuvan Lacambre1-6/+1
2021-07-08[Ada] Transient scope cleanupBob Duff1-2/+2
2021-07-06[Ada] Tbuild cleanupBob Duff1-1/+1
2021-07-06[Ada] Transient scope cleanupBob Duff1-244/+230
2021-07-05[Ada] Refactoring related to Returns_By_RefBob Duff1-40/+0
2021-05-07[Ada] Minor reformattingsBob Duff1-41/+41
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-1/+1
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+6
2021-05-05[Ada] Move Build_And_Insert_CUDA_Initialization to expansion phaseGhjuvan Lacambre1-0/+8
2021-05-04[Ada] Missing finalization on generic instantiationArnaud Charlet1-60/+149
2021-05-03[Ada] Refine type of a counter object from Int to NatPiotr Trojanek1-1/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Expansion in _postconditions confusing CodePeerJustin Squirek1-4/+13
2021-04-29[Ada] Bad handling of array sliding in aggregateArnaud Charlet1-4/+1
2020-12-17[Ada] Remove unused subprograms in validswArnaud Charlet1-16/+0
2020-12-17[Ada] Crash on if expression inside declare expressionArnaud Charlet1-1/+1
2020-12-17[Ada] Compiler crash on protected component of controlled typeArnaud Charlet1-2/+23
2020-12-15[Ada] Postcondition checks performed before finalizationJustin Squirek1-49/+615
2020-12-15[Ada] Crash on unnesting unnamed blocksArnaud Charlet1-30/+19
2020-12-14[Ada] Additional fixes for Default_Initial_ConditionGary Dismukes1-15/+42
2020-11-26[Ada] Reuse Is_Access_Object_Type where possiblePiotr Trojanek1-2/+1