aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/freeze.adb
AgeCommit message (Expand)AuthorFilesLines
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-92/+23
2022-11-07ada: Fix inherited postconditions in inlined subprogramsBob Duff1-5/+10
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-6/+6
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-3/+29
2022-09-12[Ada] Revert "Enforce matching of extra formals"Javier Miranda1-17/+86
2022-09-06[Ada] Enforce matching of extra formalsJavier Miranda1-86/+17
2022-09-05[Ada] Fix crash for Default_Initial_Condition on derived enumeration typeEric Botcazou1-4/+14
2022-09-05[Ada] Remove excessive guards against inserting empty lists of actionsPiotr Trojanek1-3/+1
2022-07-12[Ada] Proper freezing for dispatching expression functions.Ed Schonberg1-1/+37
2022-07-06[Ada] Fix spurious error for aggregate with box component choiceEric Botcazou1-75/+0
2022-06-02[Ada] Fix detection of deferred constants for freezing errorEric Botcazou1-1/+2
2022-05-30[Ada] Add insertion character for overlay modification warningsGhjuvan Lacambre1-3/+3
2022-05-30[Ada] Do not freeze profiles for dispatch tablesEric Botcazou1-16/+4
2022-05-18[Ada] Freezing too strict in instancesArnaud Charlet1-7/+10
2022-05-17[Ada] Enhance the warning on C enum with size clause for size /= 32Etienne Servais1-5/+12
2022-05-17[Ada] Crash freezing declaration that will raise constraint errorJavier Miranda1-2/+6
2022-05-17[Ada] Spurious error on subprogram with class-wide preconditionsJavier Miranda1-0/+7
2022-05-13[Ada] Compiler crash on -gnata -O2Javier Miranda1-44/+58
2022-05-13[Ada] Ada ABI change when building with assertionsJavier Miranda1-1/+41
2022-05-09[Ada] Fix indentation of "Start of processing for ..." labelsPiotr Trojanek1-1/+1
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-1/+1
2022-01-06[Ada] Removal of technical debtJustin Squirek1-1/+5
2021-12-02[Ada] Cleanup insertion of single freezing actionsPiotr Trojanek1-2/+1
2021-12-02[Ada] Simplify iteration over record componentsPiotr Trojanek1-5/+3
2021-12-01[Ada] Fix incorrect fixed-point computation in expression functionEric Botcazou1-22/+17
2021-11-09[Ada] Fix Codepeer warningGhjuvan Lacambre1-1/+1
2021-11-09[Ada] Improve integration of strub with type systemsAlexandre Oliva1-3/+72
2021-10-25[Ada] Follow-on cleanups for Uint fieldsBob Duff1-3/+1
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-7/+7
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-1/+1
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff1-8/+30
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-131/+442
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff1-6/+6
2021-09-22[Ada] More precise analysis of function renamings in GNATproveYannick Moy1-7/+20
2021-09-22[Ada] Fix imprecise wording for error on scalar storage orderEric Botcazou1-3/+9
2021-09-21[Ada] Add assertions to UintpBob Duff1-2/+6
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff1-11/+16
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff1-3/+3
2021-07-12[Ada] Clean up Uint fieldsBob Duff1-4/+8
2021-07-08[Ada] Remove Unknown_ functionsBob Duff1-5/+5
2021-07-07[Ada] Implement new legality checks specified by AI12-0412Gary Dismukes1-6/+6
2021-07-05[Ada] Add Ada 2022 Image and Put_Image support for tagged typesSteve Baird1-0/+1
2021-07-05[Ada] Fix crash when printing error messageJustin Squirek1-3/+4
2021-07-05[Ada] Clean up Get_Index_BoundsBob Duff1-5/+5
2021-06-29[Ada] Reuse Is_Subprogram_Or_Entry where possiblePiotr Trojanek1-1/+1
2021-06-18[Ada] Ada2020: AI12-0195 overriding class-wide pre/post conditionsJavier Miranda1-1/+44
2021-06-18[Ada] Premature freezing of typesArnaud Charlet1-6/+77
2021-06-18[Ada] Remove AAMP from compiler sourcesBob Duff1-2/+1
generated by cgit v1.1 at 2024-07-18 07:00:00 +0000