aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
AgeCommit message (Expand)AuthorFilesLines
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-0/+17
2024-06-13ada: Revert changing a GNATProve mode message to a non-warningViljar Indus1-1/+1
2024-06-13ada: Remove warning insertion characters from info messagesViljar Indus1-1/+1
2024-05-16ada: Fix missing length checks with case expressionsRonan Desplanques1-0/+3
2024-05-14ada: Reduce generated code duplication for streaming and Put_Image subprogramsSteve Baird1-5/+74
2024-05-07ada: Fix missing flag for GNATproveYannick Moy1-0/+11
2024-05-06ada: Prevent inlining in GNATprove for memory leaksYannick Moy1-2/+3
2024-02-26Finalization of object allocated by anonymous access designating local typeEric Botcazou1-7/+7
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2024-01-09ada: More aggressive inlining of subprogram calls in GNATprove modePiotr Trojanek1-4/+7
2023-12-19ada: Cleanup SPARK legality checkingYannick Moy1-100/+0
2023-11-30ada: Rework fix for wrong finalization of qualified aggregate in allocatorEric Botcazou1-1/+1
2023-11-30ada: Remove SPARK legality checksYannick Moy1-95/+0
2023-11-21ada: Fix spurious error on call with default parameter in generic packageEric Botcazou1-3/+11
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
generated by cgit v1.1 at 2024-07-04 10:35:44 +0000