aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
AgeCommit message (Expand)AuthorFilesLines
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
2022-07-12[Ada] Warn about unreachable code after calls with No_ReturnPiotr Trojanek1-0/+9
2022-07-12[Ada] Fix missing Overflow and Range checksMarc Poulhiès1-3/+5
2022-07-06[Ada] Missing error on tagged type conversionJavier Miranda1-34/+102
2022-07-06[Ada] Restore accidentally removed part of a comment about unset referencesPiotr Trojanek1-0/+1
2022-07-04[Ada] Assertions in Einfo.UtilsBob Duff1-3/+3
2022-07-04[Ada] Give missing error on ambiguous operand of equality operatorEric Botcazou1-15/+20
2022-06-01[Ada] Rename Returns_On_Secondary_Stack into Needs_Secondary_StackEric Botcazou1-4/+2
2022-06-01[Ada] Missing discriminant checks when accessing variant fieldSteve Baird1-1/+5
2022-05-30[Ada] Deconstruct deferred referencesPiotr Trojanek1-16/+0
2022-05-19[Ada] Fix spurious violations of No_Secondary_Stack restrictionEric Botcazou1-2/+4
2022-05-18[Ada] Crash building VSS with compiler built with assertionsJavier Miranda1-1/+6
2022-05-17[Ada] Restore defensive guard in checks for volatile actualsPiotr Trojanek1-1/+2
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-19/+81
2022-05-13[Ada] Accept effectively volatile components in actualsPiotr Trojanek1-0/+6
2022-05-13[Ada] Remove redundant guard in checks for volatile actualsPiotr Trojanek1-2/+1
2022-05-12[Ada] Reuse collective subtype for comparison operators where possiblePiotr Trojanek1-6/+1
2022-05-10[Ada] Remove repeated conversions between Source_Ptr and IntPiotr Trojanek1-2/+2
2022-05-10[Ada] Fix style in resolution of expression with actionsPiotr Trojanek1-0/+16
2022-05-10[Ada] Reuse Is_Rewrite_Substitution where possiblePiotr Trojanek1-1/+1
2022-05-10[Ada] Check declare and qualified expressions for unset referencesPiotr Trojanek1-0/+2
2022-05-10[Ada] Check if- and case-expressions for unset referencesPiotr Trojanek1-0/+6
2022-05-10[Ada] Fix hiding of user-defined operator that is not a homographEric Botcazou1-84/+2
2022-05-10[Ada] Simplify conversion from Character to Char_CodePiotr Trojanek1-2/+2
2022-05-09[Ada] Prevent inlining-for-proof for calls inside ELSIF conditionPiotr Trojanek1-1/+1
2022-05-09[Ada] Fix visibility inside declare_expressionEd Schonberg1-2/+15
2022-05-09[Ada] Revamp type resolution for comparison and equality operatorsEric Botcazou1-136/+222
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] Cleanup and modification of unreferenced warningsJustin Squirek1-2/+2
2022-01-07[Ada] Check scalar range in arrays constructed by concatenationEtienne Servais1-3/+23
2022-01-06[Ada] Warn on subtype declaration of null rangeBob Duff1-0/+24
2022-01-06[Ada] Simplify type conversions in source pointer arithmeticPiotr Trojanek1-1/+1
2022-01-06[Ada] Refactor repeated implicit conversion from Char_Code to UintPiotr Trojanek1-2/+2
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-5/+5
2022-01-06[Ada] Rename Any_Access into Universal_AccessEric Botcazou1-4/+4
2021-12-01[Ada] Fix incorrect fixed-point computation in expression functionEric Botcazou1-3/+9
generated by cgit v1.1 at 2024-10-06 04:40:43 +0000