]> gcc.gnu.org Git - gcc.git/history - gcc/ada/sem_ch6.adb
git://gcc.gnu.org / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
RISC-V: Implement -m{,no}fence-tso
[gcc.git] / gcc / ada / sem_ch6.adb
2 days ago Viljar Indusada: Avoid checking parameters of protected procedures commit | commitdiff
2 days ago Eric Botcazouada: Fix bogus error on function returning noncontrolli... commit | commitdiff
4 days ago Yannick Moyada: Update of SPARK RM legality rules on ghost code commit | commitdiff
5 days ago Piotr Trojanekada: Deconstruct flag Split_PPC since splitting now... commit | commitdiff
5 days ago Eric Botcazouada: Replace finalization masters with finalization... commit | commitdiff
2024-01-22 Marc PoulhièsUpdate copyright years. commit | commitdiff
2024-01-09 Javier Mirandaada: Cannot requeue to a procedure implemented by an... commit | commitdiff
2024-01-09 Piotr Trojanekada: More aggressive inlining of subprogram calls in... commit | commitdiff
2023-11-30 Yannick Moyada: Remove SPARK legality checks commit | commitdiff
2023-11-30 Yannick Moyada: Fix spelling of functions with(out) "side effects" commit | commitdiff
2023-11-07 Yannick Moyada: Rename Is_Limited_View to reflect actual query commit | commitdiff
2023-11-07 Viljar Indusada: Implement Aspects as fields under nodes commit | commitdiff
2023-11-07 Steve Bairdada: New Local_Restrictions and User_Aspect aspects. commit | commitdiff
2023-10-19 Yannick Moyada: Support new SPARK aspect Side_Effects commit | commitdiff
2023-09-15 Javier Mirandaada: Crash on creation of extra formals on type extension commit | commitdiff
2023-09-14 Javier Mirandaada: Assertion failure adding extra formals to late... commit | commitdiff
2023-09-05 Javier Mirandaada: Crash on creation of extra formals on type extension commit | commitdiff
2023-07-28 Javier Mirandaada: Fix unsupported dispatching constructor call commit | commitdiff
2023-07-28 Piotr Trojanekada: Leave detection of missing return in functions... commit | commitdiff
2023-06-20 Eric Botcazouada: Further fixes to handling of private views in... commit | commitdiff
2023-05-29 Piotr Trojanekada: Cleanup detection of type support subprogram entities commit | commitdiff
2023-05-29 Eric Botcazouada: Fix wrong finalization for call to BIP function... commit | commitdiff
2023-05-26 Ronan Desplanquesada: Fix late extra formals creation commit | commitdiff
2023-05-25 Marc Poulhièsada: Fix crash during function return analysis commit | commitdiff
2023-05-25 Piotr Trojanekada: Remove unused initial value of a local variable commit | commitdiff
2023-05-25 Piotr Trojanekada: Remove redundant guards from calls to Move_Aspects commit | commitdiff
2023-05-25 Marc Poulhièsada: Fix SPARK context not restored when Load_Unit... commit | commitdiff
2023-05-23 Piotr Trojanekada: Fix expression pretty-printer for SPARK counterexa... commit | commitdiff
2023-05-22 Bob Duffada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not... commit | commitdiff
2023-05-22 Bob Duffada: Add Is_Past_Self_Hiding_Point flag commit | commitdiff
2023-05-22 Arnaud Charletada: Remove extra parentheses commit | commitdiff
2023-05-15 Bob Duffada: Clean up vanishing entity fields commit | commitdiff
2023-03-06 Javier MirandaFix assertion failure on VSS library commit | commitdiff
2023-01-09 Arnaud Charletada: Update copyright notice commit | commitdiff
2022-12-06 Eric Botcazouada: Elide the copy in extended returns for nonlimited... commit | commitdiff
2022-12-06 Justin Squirekada: Accessibility code reorganization and bug fixes commit | commitdiff
2022-11-21 Bob Duffada: Move warnings switches commit | commitdiff
2022-11-08 Javier Mirandaada: Enforce matching of extra formals commit | commitdiff
2022-11-04 Piotr Trojanekada: Simplify detection of controlling formals commit | commitdiff
2022-11-04 Ghjuvan Lacambreada: Refactor: replace uses of `not Present(X)` with... commit | commitdiff
2022-10-06 Steve Bairdada: Minor potential bug in sem_ch6.adb commit | commitdiff
2022-09-20 Martin Liskareplace "the the" typos commit | commitdiff
2022-09-12 Justin Squirek[Ada] Tech debt: Expansion of contracts commit | commitdiff
2022-09-12 Eric Botcazou[Ada] Do not mark user parameters of protected subprogr... commit | commitdiff
2022-09-12 Javier Miranda[Ada] Revert "Enforce matching of extra formals" commit | commitdiff
2022-09-06 Javier Miranda[Ada] Enforce matching of extra formals commit | commitdiff
2022-09-06 Bob Duff[Ada] Place "at end" on body nodes commit | commitdiff
2022-09-05 Bob Duff[Ada] Suppress warnings in trivial subprograms with... commit | commitdiff
2022-07-13 Eric Botcazou[Ada] Plug legality loophole for equality operator... commit | commitdiff
2022-07-12 Bob Duff[Ada] Remove out-of-range warning in unreachable code commit | commitdiff
2022-07-12 Ed Schonberg[Ada] Proper freezing for dispatching expression functions. commit | commitdiff
2022-07-05 Piotr Trojanek[Ada] Remove repeated setting of Never_Set_In_Source commit | commitdiff
2022-07-05 Piotr Trojanek[Ada] Reorder processing of default expressions to... commit | commitdiff
2022-07-05 Piotr Trojanek[Ada] Remove redundant protection against empty lists commit | commitdiff
2022-07-05 Eric Botcazou[Ada] Fix dangling bounds for array result of BIP functions commit | commitdiff
2022-07-05 Piotr Trojanek[Ada] Add RM reference to check for functions without... commit | commitdiff
2022-07-05 Piotr Trojanek[Ada] Remove comment about a long gone formal verificat... commit | commitdiff
2022-06-02 Eric Botcazou[Ada] Never make symbols for thunks public commit | commitdiff
2022-06-02 Piotr Trojanek[Ada] Remove redundant checks for missing lists commit | commitdiff
2022-06-02 Eric Botcazou[Ada] Get rid of secondary stack for most calls returni... commit | commitdiff
2022-06-01 Eric Botcazou[Ada] Do not freeze subprogram body without spec too... commit | commitdiff
2022-06-01 Steve Baird[Ada] Missing discriminant checks when accessing varian... commit | commitdiff
2022-05-30 Justin Squirek[Ada] Incorrect unreferenced warnings on null subprogra... commit | commitdiff
2022-05-30 Eric Botcazou[Ada] Restore hiding of predefined "=" operator through... commit | commitdiff
2022-05-18 Javier Miranda[Ada] Crash building VSS with compiler built with asser... commit | commitdiff
2022-05-18 Arnaud Charlet[Ada] Errors missed on ACATS test B650007 commit | commitdiff
2022-05-17 Yannick Moy[Ada] Allow inlining for proof inside generics commit | commitdiff
2022-05-16 Eric Botcazou[Ada] Fix internal error on predicate aspect with iterator commit | commitdiff
2022-05-16 Eric Botcazou[Ada] Fix implementation issues with equality for untag... commit | commitdiff
2022-05-16 Eric Botcazou[Ada] Fix spurious error on limited view with incomplet... commit | commitdiff
2022-05-13 Justin Squirek[Ada] Spurious access error in function returning type... commit | commitdiff
2022-05-10 Piotr Trojanek[Ada] Cleanup detection of No_Elist with No and Present commit | commitdiff
2022-05-10 Piotr Trojanek[Ada] Refine iteration from entities to formals commit | commitdiff
2022-05-09 Piotr Trojanek[Ada] Remove redundant guards for empty list commit | commitdiff
2022-01-11 Arnaud Charlet[Ada] Update copyright notice and bump Gnatvsn.Current_Year commit | commitdiff
2022-01-07 Piotr Trojanek[Ada] Fix inconsistent quoting in messages about compil... commit | commitdiff
2022-01-06 Etienne Servais[Ada] Fix typo in comments found running aspell commit | commitdiff
2022-01-05 Marc Poulhiès[Ada] Remove Compiler_Unit[_Warning] pragmas commit | commitdiff
2021-12-02 Piotr Trojanek[Ada] Cleanup insertion of single freezing actions commit | commitdiff
2021-12-01 Yannick Moy[Ada] Improve error messages for dot notation when... commit | commitdiff
2021-10-25 Etienne Servais[Ada] Change format of the ?? warning insertion sequence commit | commitdiff
2021-10-25 Bob Duff[Ada] Renamed_Or_Alias cleanup commit | commitdiff
2021-10-20 Justin Squirek[Ada] Missing accessibility check when returning discri... commit | commitdiff
2021-10-20 Gary Dismukes[Ada] Warning on nonmatching subtypes in fully conformi... commit | commitdiff
2021-10-04 Ed Schonberg[Ada] Handle properly user_defined literals given by... commit | commitdiff
2021-10-01 Javier Miranda[Ada] Ada2022: AI12-0195 overriding class-wide pre... commit | commitdiff
2021-09-22 Yannick Moy[Ada] More precise analysis of function renamings in... commit | commitdiff
2021-09-22 Justin Squirek[Ada] Removal of technical debt commit | commitdiff
2021-09-22 Arnaud Charlet[Ada] Change message format on missing return commit | commitdiff
2021-07-09 Justin Squirek[Ada] Crash on inlined separate subprogram commit | commitdiff
2021-07-09 Piotr Trojanek[Ada] Initialize local variables related to static... commit | commitdiff
2021-07-09 Piotr Trojanek[Ada] Reorder preanalysis of static expression functions commit | commitdiff
2021-07-09 Piotr Trojanek[Ada] Decouple analysis of static expression functions... commit | commitdiff
2021-07-09 Piotr Trojanek[Ada] Avoid repeated computing of type of expression... commit | commitdiff
2021-07-09 Piotr Trojanek[Ada] Fix comment related to analysis of expression... commit | commitdiff
2021-07-09 Piotr Trojanek[Ada] Avoid repeated calls in analysis of expression... commit | commitdiff
2021-07-09 Piotr Trojanek[Ada] Refine types of local variables in analysis of... commit | commitdiff
2021-07-09 Piotr Trojanek[Ada] Remove an unnecessary local constant commit | commitdiff
2021-07-08 Piotr Trojanek[Ada] Simplify redundant checks for non-empty lists commit | commitdiff
2021-07-07 Piotr Trojanek[Ada] Reduce scope of local variables commit | commitdiff
next
GNU Compiler Collection
This page took 0.972952 seconds and 7 git commands to generate.