aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
AgeCommit message (Expand)AuthorFilesLines
2023-11-07ada: Fix incorrect resolution of overloaded function call in instanceEric Botcazou1-0/+2
2023-11-07ada: Rename Is_Limited_View to reflect actual queryYannick Moy1-2/+2
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-0/+8
2023-09-15ada: Fix internal error on expression function with Refined_Post aspectEric Botcazou1-0/+3
2023-09-05ada: Spurious warning about negative modular literalSteve Baird1-0/+1
2023-08-07ada: Crash in GNATprove due to wrong detection of inliningYannick Moy1-8/+10
2023-08-07ada: Spurious error on class-wide preconditionsJavier Miranda1-0/+12
2023-07-28ada: Add guard for detection of class-wide precondition subprogramsPiotr Trojanek1-1/+4
2023-06-20ada: Fix crash on inlining in GNATproveYannick Moy1-0/+9
2023-06-20ada: Add the ability to add error codes to error messagesYannick Moy1-4/+5
2023-06-20ada: Fix for attribute Range in Exceptional_CasesPiotr Trojanek1-1/+2
2023-06-20ada: Fix for quantified expressions in Exceptional_CasesPiotr Trojanek1-1/+1
2023-06-20ada: Small fixes to handling of private views in instancesEric Botcazou1-11/+0
2023-06-13ada: Disable inlining in potentially unevaluated contextsPiotr Trojanek1-15/+6
2023-05-30ada: Fix regression of secondary stack management in return statementsEric Botcazou1-38/+31
2023-05-29ada: Fix memory leak in expression function returning Big_IntegerEric Botcazou1-4/+8
2023-05-29ada: Fix bogus error on conditional expression with only user-defined literalsEric Botcazou1-29/+98
2023-05-29ada: Fix crash on semi-recursive call in access-to-subprogram contractPiotr Trojanek1-2/+2
2023-05-29ada: Fix small fallout of previous changeEric Botcazou1-4/+6
2023-05-29ada: Fix remaining failures in Roman Numbers testEric Botcazou1-2/+6
2023-05-29ada: Accept parameters of enclosing subprograms in exceptional casesPiotr Trojanek1-0/+1
2023-05-29ada: Allow attributes like First and Last to be read in Exceptional_CasesPiotr Trojanek1-1/+9
2023-05-29ada: Repair support for user-defined literals in arithmetic operatorsEric Botcazou1-22/+32
2023-05-25ada: Tune handling of attributes Old in contract Exceptional_CasesPiotr Trojanek1-2/+30
2023-05-25ada: Accept aliased parameters in Exceptional_CasesPiotr Trojanek1-1/+2
2023-05-25ada: Restrict use of formal parameters within exceptional casesPiotr Trojanek1-0/+61
2023-05-23ada: Fix oversight in latest changeEric Botcazou1-1/+3
2023-05-23ada: Fix resolution of mod operator of System.Storage_ElementsEric Botcazou1-4/+19
2023-05-23ada: Remove the body of System.Storage_ElementsEric Botcazou1-5/+5
2023-05-22ada: Cleanup redundant condition in resolution of entity namesPiotr Trojanek1-6/+4
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-19/+19
2023-05-16ada: Implement inheritance of user-defined literal aspects for untagged typesEric Botcazou1-1/+0
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-05ada: INOX: prototype RFC on String InterpolationJavier Miranda1-3/+39
2023-01-03ada: Another small adjustment to special resolution of membership testEric Botcazou1-7/+12
2022-12-06ada: Elide the copy in extended returns for nonlimited by-reference typesEric Botcazou1-1/+1
2022-12-06ada: Small adjustment to special resolution of membership testEric Botcazou1-7/+11
2022-12-06ada: Use larger type for membership test of universal valueEric Botcazou1-0/+46
2022-12-06ada: Accessibility code reorganization and bug fixesJustin Squirek1-0/+1
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-11-08ada: Implement RM 4.5.7(10/3) name resolution ruleEric Botcazou1-26/+83
2022-11-08ada: Remove obsolete code in Resolve_If_ExpressionEric Botcazou1-12/+1
2022-11-07ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprovePiotr Trojanek1-31/+0
2022-11-07ada: Clean up unnecesary call in resolution of overloaded expressionsPiotr Trojanek1-2/+2
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-0/+1
2022-09-12[Ada] Fix issues with compiling ACATS test for user-defined literalsGary Dismukes1-0/+14
2022-09-05[Ada] Fix double identifiers in iterated component associationPiotr Trojanek1-3/+15
2022-07-13[Ada] Plug legality loophole for equality operator of untagged record typesEric Botcazou1-8/+1
2022-07-13[Ada] Fix internal error on untagged record type with equality operatorEric Botcazou1-1/+8
2022-07-12[Ada] Remove out-of-range warning in unreachable codeBob Duff1-3/+1
generated by cgit v1.1 at 2025-01-04 01:00:18 +0000