aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch6.adb
AgeCommit message (Expand)AuthorFilesLines
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-279/+905
2022-11-04ada: Simplify detection of controlling formalsPiotr Trojanek1-3/+3
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-8/+8
2022-10-06ada: Minor potential bug in sem_ch6.adbSteve Baird1-1/+1
2022-09-20replace "the the" typosMartin Liska1-1/+1
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-46/+39
2022-09-12[Ada] Do not mark user parameters of protected subprograms as artificialEric Botcazou1-1/+11
2022-09-12[Ada] Revert "Enforce matching of extra formals"Javier Miranda1-902/+278
2022-09-06[Ada] Enforce matching of extra formalsJavier Miranda1-278/+902
2022-09-06[Ada] Place "at end" on body nodesBob Duff1-10/+2
2022-09-05[Ada] Suppress warnings in trivial subprograms with finalizationBob Duff1-3/+9
2022-07-13[Ada] Plug legality loophole for equality operator of untagged record typesEric Botcazou1-61/+161
2022-07-12[Ada] Remove out-of-range warning in unreachable codeBob Duff1-8/+11
2022-07-12[Ada] Proper freezing for dispatching expression functions.Ed Schonberg1-1/+10
2022-07-05[Ada] Remove repeated setting of Never_Set_In_SourcePiotr Trojanek1-4/+3
2022-07-05[Ada] Reorder processing of default expressions to avoid repeated callsPiotr Trojanek1-3/+3
2022-07-05[Ada] Remove redundant protection against empty listsPiotr Trojanek1-11/+2
2022-07-05[Ada] Fix dangling bounds for array result of BIP functionsEric Botcazou1-29/+4
2022-07-05[Ada] Add RM reference to check for functions without a return statementPiotr Trojanek1-0/+4
2022-07-05[Ada] Remove comment about a long gone formal verification modePiotr Trojanek1-3/+1
2022-06-02[Ada] Never make symbols for thunks publicEric Botcazou1-0/+7
2022-06-02[Ada] Remove redundant checks for missing listsPiotr Trojanek1-72/+58
2022-06-02[Ada] Get rid of secondary stack for most calls returning tagged typesEric Botcazou1-5/+8
2022-06-01[Ada] Do not freeze subprogram body without spec too earlyEric Botcazou1-19/+24
2022-06-01[Ada] Missing discriminant checks when accessing variant fieldSteve Baird1-29/+39
2022-05-30[Ada] Incorrect unreferenced warnings on null subprograms and formals with as...Justin Squirek1-0/+5
2022-05-30[Ada] Restore hiding of predefined "=" operator through class-wide typeEric Botcazou1-1/+28
2022-05-18[Ada] Crash building VSS with compiler built with assertionsJavier Miranda1-2/+4
2022-05-18[Ada] Errors missed on ACATS test B650007Arnaud Charlet1-5/+6
2022-05-17[Ada] Allow inlining for proof inside genericsYannick Moy1-0/+16
2022-05-16[Ada] Fix internal error on predicate aspect with iteratorEric Botcazou1-5/+4
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-26/+9
2022-05-16[Ada] Fix spurious error on limited view with incomplete typeEric Botcazou1-9/+21
2022-05-13[Ada] Spurious access error in function returning type with access discriminantJustin Squirek1-12/+57
2022-05-10[Ada] Cleanup detection of No_Elist with No and PresentPiotr Trojanek1-2/+2
2022-05-10[Ada] Refine iteration from entities to formalsPiotr Trojanek1-12/+12
2022-05-09[Ada] Remove redundant guards for empty listPiotr Trojanek1-3/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Fix inconsistent quoting in messages about compile-time errorsPiotr Trojanek1-1/+1
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-2/+2
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès1-2/+0
2021-12-02[Ada] Cleanup insertion of single freezing actionsPiotr Trojanek1-3/+1
2021-12-01[Ada] Improve error messages for dot notation when -gnatX not usedYannick Moy1-13/+13
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-4/+4
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-4/+4
2021-10-20[Ada] Missing accessibility check when returning discriminated typesJustin Squirek1-25/+29
2021-10-20[Ada] Warning on nonmatching subtypes in fully conforming subprogram specs an...Gary Dismukes1-0/+116
2021-10-04[Ada] Handle properly user_defined literals given by operators.Ed Schonberg1-2/+9
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-23/+1
2021-09-22[Ada] More precise analysis of function renamings in GNATproveYannick Moy1-6/+0
generated by cgit v1.1 at 2024-09-27 18:31:34 +0000