aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch6.adb
AgeCommit message (Expand)Author
2022-05-30[Ada] Restore hiding of predefined "=" operator through class-wide typeEric Botcazou
2022-05-18[Ada] Crash building VSS with compiler built with assertionsJavier Miranda
2022-05-18[Ada] Errors missed on ACATS test B650007Arnaud Charlet
2022-05-17[Ada] Allow inlining for proof inside genericsYannick Moy
2022-05-16[Ada] Fix internal error on predicate aspect with iteratorEric Botcazou
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou
2022-05-16[Ada] Fix spurious error on limited view with incomplete typeEric Botcazou
2022-05-13[Ada] Spurious access error in function returning type with access discriminantJustin Squirek
2022-05-10[Ada] Cleanup detection of No_Elist with No and PresentPiotr Trojanek
2022-05-10[Ada] Refine iteration from entities to formalsPiotr Trojanek
2022-05-09[Ada] Remove redundant guards for empty listPiotr Trojanek
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet
2022-01-07[Ada] Fix inconsistent quoting in messages about compile-time errorsPiotr Trojanek
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès
2021-12-02[Ada] Cleanup insertion of single freezing actionsPiotr Trojanek
2021-12-01[Ada] Improve error messages for dot notation when -gnatX not usedYannick Moy
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff
2021-10-20[Ada] Missing accessibility check when returning discriminated typesJustin Squirek
2021-10-20[Ada] Warning on nonmatching subtypes in fully conforming subprogram specs an...Gary Dismukes
2021-10-04[Ada] Handle properly user_defined literals given by operators.Ed Schonberg
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda
2021-09-22[Ada] More precise analysis of function renamings in GNATproveYannick Moy
2021-09-22[Ada] Removal of technical debtJustin Squirek
2021-09-22[Ada] Change message format on missing returnArnaud Charlet
2021-07-09[Ada] Crash on inlined separate subprogramJustin Squirek
2021-07-09[Ada] Initialize local variables related to static expression functionsPiotr Trojanek
2021-07-09[Ada] Reorder preanalysis of static expression functionsPiotr Trojanek
2021-07-09[Ada] Decouple analysis of static expression functions from GNATprovePiotr Trojanek
2021-07-09[Ada] Avoid repeated computing of type of expression functionsPiotr Trojanek
2021-07-09[Ada] Fix comment related to analysis of expression functionsPiotr Trojanek
2021-07-09[Ada] Avoid repeated calls in analysis of expression functionsPiotr Trojanek
2021-07-09[Ada] Refine types of local variables in analysis of expression functionsPiotr Trojanek
2021-07-09[Ada] Remove an unnecessary local constantPiotr Trojanek
2021-07-08[Ada] Simplify redundant checks for non-empty listsPiotr Trojanek
2021-07-07[Ada] Reduce scope of local variablesPiotr Trojanek
2021-07-07[Ada] Replace low-level membership tests with Is_Private_TypePiotr Trojanek
2021-07-06[Ada] Support for Object.Op subprogram-call notation for untagged typesGary Dismukes
2021-07-06[Ada] Spurious conformance error on expression functionEd Schonberg
2021-07-05[Ada] Simplify and reuse Is_Concurrent_InterfacePiotr Trojanek
2021-07-05[Ada] Fix missing error messages when returning limited typeGhjuvan Lacambre
2021-07-05[Ada] Refactoring related to Returns_By_RefBob Duff
2021-06-29[Ada] Overriding errors on renamings and instances overriding predefined oper...Gary Dismukes
2021-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff
2021-06-21[Ada] INOX: prototype "when" constructsJustin Squirek
2021-06-18[Ada] Ada2020: AI12-0195 overriding class-wide pre/post conditionsJavier Miranda
2021-06-18[Ada] Relax null exclusion mismatch check in Relaxed_RM_Semantics modeArnaud Charlet
2021-06-18[Ada] Ada2020: Special handling of types derived from runtimeJavier Miranda
2021-06-17[Ada] Removal of technical debtJustin Squirek
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 11:15:49 +0000