aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/freeze.adb
AgeCommit message (Expand)AuthorFilesLines
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
2021-06-16[Ada] Do not perform useless work in Check_No_Parts_ViolationsEric Botcazou1-16/+19
2021-06-15[Ada] No_Task_Parts aspectBob Duff1-61/+85
2021-06-15[Ada] Error when passing subprogram'Access to null-defaulted formal subprogramGary Dismukes1-2/+5
2021-05-07[Ada] Minor reformattingsBob Duff1-49/+49
2021-05-07[Ada] Variable-sized node typesBob Duff1-3/+8
2021-05-07[Ada] Implement aspect No_Controlled_PartsJustin Squirek1-0/+370
2021-05-06[Ada] Remove excessive conditions in iterations across componentsPiotr Trojanek1-3/+2
2021-05-05[Ada] Remove redundant check in iteration over formal parametersPiotr Trojanek1-6/+4