aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
AgeCommit message (Expand)AuthorFilesLines
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
2021-11-09[Ada] Improve integration of strub with type systemsAlexandre Oliva1-2/+41
2021-10-25[Ada] Spurious error on user-defined literal and operatorEd Schonberg1-145/+260
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-6/+6
2021-10-05[Ada] Improve error message on missing all/for in quantified expressionYannick Moy1-0/+18
2021-10-04[Ada] Remove repeated calls to Prefix in resolution of array accessesPiotr Trojanek1-43/+40
2021-10-04[Ada] Fix comment about expansion of slicesPiotr Trojanek1-1/+1
2021-10-04[Ada] Fix resolution of Declare_Expressions involving transient scopesEd Schonberg1-49/+59
2021-10-04[Ada] Fix handling of slices with subtype namesPiotr Trojanek1-10/+11
2021-10-04[Ada] Fix missing check on slice with a subtype indicationPiotr Trojanek1-1/+5
2021-10-04[Ada] Fix handling of 'Image acting as a prefix of a slice in CodePeerPiotr Trojanek1-0/+10
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-0/+9
generated by cgit v1.1 at 2024-10-28 09:32:16 +0000