aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_type.adb
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-09-05ada: Remove redundant protection against empty listPiotr Trojanek1-21/+19
2023-09-05ada: Add guard before querying the type for its interfacesPiotr Trojanek1-1/+3
2023-09-05ada: Remove redundant guard against an empty list of interfacesPiotr Trojanek1-3/+1
2023-06-20ada: Further fixes to handling of private views in instancesEric Botcazou1-10/+21
2023-06-15ada: Fix inverted implementation of RM 8.4(10) clause for operatorsEric Botcazou1-1/+1
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-3/+3
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-08ada: Clean up call to check if aspects are presentPiotr Trojanek1-1/+1
2022-05-12[Ada] Remove redundant guard against Any_StringPiotr Trojanek1-1/+0
2022-05-12[Ada] Accept raise expressions as operands of boolean operatorsPiotr Trojanek1-0/+1
2022-05-12[Ada] Revamp analysis of conditional expressionsEric Botcazou1-6/+6
2022-05-12[Ada] Fix remaining asymmetry in Specific_TypeEric Botcazou1-7/+16
2022-05-10[Ada] Fix hiding of user-defined operator that is not a homographEric Botcazou1-4/+5
2022-05-09[Ada] Revamp type resolution for comparison and equality operatorsEric Botcazou1-289/+257
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-06[Ada] Fix typo on compatibilityEtienne Servais1-1/+1
2022-01-06[Ada] Rename Any_Access into Universal_AccessEric Botcazou1-5/+5
2022-01-06[Ada] Removal of technical debtJustin Squirek1-4/+13
2021-11-10[Ada] Fix oversight in latest change to Has_Compatible_TypeEric Botcazou1-2/+14
2021-11-09[Ada] Tidy up implementation of Has_Compatible_TypeEric Botcazou1-17/+10
2021-10-01[Ada] Add missing guard before call to Interface_Present_In_AncestorEric Botcazou1-1/+2
2021-09-23[Ada] Wrappers of access-to-subprograms with pre/post conditionsJavier Miranda1-0/+6
2021-09-22[Ada] Removal of technical debtJustin Squirek1-2/+5
2021-06-18[Ada] Ada2020: Special handling of types derived from runtimeJavier Miranda1-12/+28
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-3/+3
2021-05-07[Ada] Minor reformattingsBob Duff1-28/+28
2021-05-07[Ada] Variable-sized node typesBob Duff1-2/+6
2021-05-07[Ada] Remove End_Interp_List from the overloaded resolution APIPiotr Trojanek1-18/+8
2021-05-03[Ada] Reuse Is_Universal_Numeric_Type where possiblePiotr Trojanek1-3/+2
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-28[Ada] Simplify data structures for overloaded interpretationsPiotr Trojanek1-117/+50
2021-04-28[Ada] Remove double initialization of interpretation tablesPiotr Trojanek1-1/+1
2020-11-24[Ada] Reuse Is_Packed_Array where possiblePiotr Trojanek1-4/+2
2020-11-24[Ada] Wrong resolution of universal_access = operatorsArnaud Charlet1-24/+88
2020-10-20[Ada] AI12-0339: Empty function for Aggregate aspect of Ada containersEd Schonberg1-0/+9
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-26/+25
2020-06-18[Ada] ACATS 4.1L - B452002 - Wrong universal access "=" rulesArnaud Charlet1-48/+55
2020-06-16[Ada] Implement AI12-0249, AI12-0295 (user-defined numeric & string literals)Steve Baird1-1/+14
2020-06-09[Ada] Refine implementation of AI05-0149 missing conversion checksArnaud Charlet1-5/+7
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-26/+1
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Reuse Is_Package_Or_Generic_Package where possiblePiotr Trojanek1-1/+1
2019-12-12[Ada] Spurious error on universal access equality operatorEd Schonberg1-2/+2
2019-09-17[Ada] Don't accept illegal (e.g., Integer'(null)) generic actualsSteve Baird1-1/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-03[Ada] Fix assertion failures with -gnatde and -gnatdvEric Botcazou1-2/+4
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-10-20[multiple changes]Pierre-Marie de Rodat1-2/+3
2017-10-20sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to compare a...Pierre-Marie de Rodat1-5/+2
generated by cgit v1.1 at 2024-07-19 08:14:08 +0000