summaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
AgeCommit message (Expand)Author
2025-11-21ada: Fix memory leak for unconstrained limited arrays in anonymous contextsEric Botcazou
2025-11-18ada: Enforce checks on access to interface type conversionsJavier Miranda
2025-11-13ada: Type-resolution error on target name in assignment to indexed containerGary Dismukes
2025-11-13ada: Detect illegal value of static expression of decimal fixed point typeEric Botcazou
2025-11-05Ada: Fix qualified name of discriminant incorrectly accepted in constraintEric Botcazou
2025-11-03ada: Fix incorrect static string concatenation with null left stringEric Botcazou
2025-11-03ada: Get rid of Sy/Sm mixing (Chars)Bob Duff
2025-09-15ada: Update ghost code SPARK RM rulesViljar Indus
2025-09-09ada: Update the uses of Is_Ignored*_In_CodegenViljar Indus
2025-07-22ada: Tune check for restriction No_Relative_Delay and call to Set_HandlerPiotr Trojanek
2025-07-04ada: Do not generate incorrect warning about redundant type conversionSteve Baird
2025-06-06ada: Initial prototype of constructorssquirek
2025-06-06ada: Improve large unconstrained-but-definite warningRonan Desplanques
2025-06-05ada: Mark constants inside a declare expression as referencedViljar Indus
2025-06-05ada: Cleanup preanalysis of static expressions (part 6)Javier Miranda
2025-06-05ada: Avoid calling Resolve with Stand.Any_Fixed as the expected typeSteve Baird
2025-01-13ada: Remove redundant parentheses inside unary operatorsPiotr Trojanek
2025-01-07Update copyright years.Marc Poulhiès
2025-01-07ada: Cleanup preanalysis of static expressions (part 2)Javier Miranda
2025-01-03ada: Simplify check for No_Coextensions restrictionPiotr Trojanek
2025-01-03ada: Improve and correct support for inheritance of nonoverriding aspectsGary Dismukes
2024-12-13ada: Cleanup preanalysis of static expressionsJavier Miranda
2024-12-13ada: Refactor code of Check_Ambiguous_Call and Valid_ConversionJavier Miranda
2024-12-12ada: Refactor code of Check_Ambiguous_Call and Valid_ConversionJavier Miranda
2024-11-26ada: Clean up previous changeEric Botcazou
2024-11-26ada: Refactor code of Check_Ambiguous_Call and Valid_ConversionJavier Miranda
2024-11-18ada: Constraint error not raised in ACATS test c413007Javier Miranda
2024-11-12ada: Get rid of N_Unchecked_Expression nodeEric Botcazou
2024-11-04ada: Initial implementation of Extended_Access aspect (FE portion only)Steve Baird
2024-11-04ada: Assignment local variable only when it is usedPiotr Trojanek
2024-11-04ada: Add null exclusion to avoid run-time checksPiotr Trojanek
2024-11-04ada: Resolve intrinsic operators without homonymsPiotr Trojanek
2024-11-04ada: Fix asymmetry in resolution of unary intrinsic operatorsPiotr Trojanek
2024-10-25ada: Constraint error not raised in ACATS test c413007Javier Miranda
2024-10-25ada: Untagged incomplete view not detected in ACATS test b3a1a060Javier Miranda
2024-10-08ada: Improved support for incomplete parameter typesSteve Baird
2024-10-08ada: Add External_Initialization extensionRonan Desplanques
2024-09-03ada: Do not warn for partial access to Atomic Volatile_Full_Access objectsEric Botcazou
2024-08-02ada: Reject ambiguous function calls in interpolated string expressionsJavier Miranda
2024-08-02ada: Type conversion in instance incorrectly rejected.Steve Baird
2024-08-01ada: Style fixes: remove blank lines following 'begin' keywordsGhjuvan Lacambre
2024-08-01ada: Remove support for bodies in -gnatcegArnaud Charlet
2024-06-27ada: Bug using user defined string literals with interpolated stringsJavier Miranda
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek
2024-06-13ada: Revert changing a GNATProve mode message to a non-warningViljar Indus
2024-06-13ada: Remove warning insertion characters from info messagesViljar Indus
2024-05-16ada: Fix missing length checks with case expressionsRonan Desplanques
2024-05-14ada: Reduce generated code duplication for streaming and Put_Image subprogramsSteve Baird
2024-05-07ada: Fix missing flag for GNATproveYannick Moy
2024-05-06ada: Prevent inlining in GNATprove for memory leaksYannick Moy
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-31 15:11:33 +0000