]> gcc.gnu.org Git - gcc.git/history - gcc/ada/sem_ch13.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_ch13.adb
2 days ago Gary Dismukesada: Exception on Indefinite_Vector aggregate with... commit | commitdiff
2 days ago Piotr Trojanekada: Reuse existing expression when rewriting aspects... commit | commitdiff
2 days ago Piotr Trojanekada: Cleanup reporting locations for Ada 2022 and GNAT... commit | commitdiff
2 days ago Piotr Trojanekada: Fix casing in error messages commit | commitdiff
4 days ago Piotr Trojanekada: Fix classification of SPARK Boolean aspects commit | commitdiff
4 days ago Ronan Desplanquesada: Fix crash with -gnatdJ and -gnatf commit | commitdiff
5 days ago Piotr Trojanekada: Deconstruct flag Split_PPC since splitting now... commit | commitdiff
5 days ago Piotr Trojanekada: Move splitting of pre/post aspect expressions... commit | commitdiff
5 days ago Eric Botcazouada: Fix internal error with Put_Image aspect on access... commit | commitdiff
11 days ago Bob Duffada: Minor comment improvement commit | commitdiff
11 days ago Bob Duffada: Fix bug in overloaded selected_components in aspec... commit | commitdiff
2024-01-22 Marc PoulhièsUpdate copyright years. commit | commitdiff
2023-12-19 Viljar Indusada: Check all interfaces for valid iterator type commit | commitdiff
2023-11-30 Yannick Moyada: Fix spelling of functions with(out) "side effects" commit | commitdiff
2023-11-07 Bob Duffada: Compiler crash on early alignment clause commit | commitdiff
2023-11-07 Viljar Indusada: Implement Aspects as fields under nodes commit | commitdiff
2023-11-07 Piotr Trojanekada: Cleanup "not Present" on List_Id 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-05 Javier Mirandaada: Crash on function returning empty Ada 2022 aggregate commit | commitdiff
2023-07-28 Piotr Trojanekada: Allow calls to Number_Formals when no formals... commit | commitdiff
2023-07-18 Eric Botcazouada: Fix assertion failure introduced by latest change commit | commitdiff
2023-07-11 Eric Botcazouada: Fix wrong resolution for hidden discriminant in... commit | commitdiff
2023-06-20 Eric Botcazouada: Introduce -gnateH switch to force reverse Bit_Orde... commit | commitdiff
2023-06-15 Eric Botcazouada: Fix aspect Linker_Section ignored on subprogram... commit | commitdiff
2023-06-13 Piotr Trojanekada: Implement new aspect Always_Terminates for SPARK commit | commitdiff
2023-06-13 Yannick Moyada: Use ghost predicate in standard library commit | commitdiff
2023-06-13 Yannick Moyada: Support new GNAT-specific aspect Ghost_Predicate commit | commitdiff
2023-05-29 Piotr Trojanekada: Simplify removal of formals from the scope commit | commitdiff
2023-05-26 Piotr Trojanekada: Tune detection of expression functions within... commit | commitdiff
2023-05-26 Piotr Trojanekada: Remove redundant protection against empty lists commit | commitdiff
2023-05-25 Marc Poulhièsada: Fix error message for Aggregate aspect commit | commitdiff
2023-05-25 Marc Poulhièsada: Fix (again) incorrect handling of Aggregate aspect commit | commitdiff
2023-05-25 Marc Poulhièsada: Fix incorrect handling of Aggregate aspect commit | commitdiff
2023-05-23 Piotr Trojanekada: Accept and analyze new aspect Exceptional_Cases commit | commitdiff
2023-05-23 Eric Botcazouada: Rework fix for internal error on quantified expres... commit | commitdiff
2023-05-23 Eric Botcazouada: Fix internal error on quantified expression with... commit | commitdiff
2023-05-22 Arnaud Charletada: Remove extra parentheses commit | commitdiff
2023-05-16 Eric Botcazouada: Fix internal error on chain of predicated record... commit | commitdiff
2023-05-15 Steve Bairdada: Emit warnings for (some) ineffective static predic... commit | commitdiff
2023-05-15 Ronan Desplanquesada: Fix Unchecked_Conversion in edge case commit | commitdiff
2023-01-09 Arnaud Charletada: Update copyright notice commit | commitdiff
2023-01-03 Eric Botcazouada: Fix support of Default_Component_Value aspect... commit | commitdiff
2022-12-06 Justin Squirekada: Accessibility code reorganization and bug fixes commit | commitdiff
2022-12-01 Steve Bairdada: Enforce Aggregate aspect legality rule commit | commitdiff
2022-11-21 Bob Duffada: Move warnings switches commit | commitdiff
2022-11-21 Marc Poulhièsada: Reject nonconfirming Size attribute value for... commit | commitdiff
2022-11-07 Piotr Trojanekada: Cleanup detection of code within generic instances commit | commitdiff
2022-11-04 Steve Bairdada: Static intrinsic functions are a core language... commit | commitdiff
2022-11-04 Ghjuvan Lacambreada: Refactor: replace uses of `not Present(X)` with... commit | commitdiff
2022-11-04 Steve Bairdada: Allow enabling a restricted set of language extens... commit | commitdiff
2022-09-06 Piotr Trojanek[Ada] Tune message for illegal aspect Relaxed_Initializ... commit | commitdiff
2022-09-06 Piotr Trojanek[Ada] Improve detection of illegal Iterable aspects commit | commitdiff
2022-09-05 Piotr Trojanek[Ada] Fix detection of unused warning suppression commit | commitdiff
2022-09-05 Eric Botcazou[Ada] Fix bogus discriminant check failure for type... commit | commitdiff
2022-09-05 Eric Botcazou[Ada] Fix crash for Default_Initial_Condition on derive... commit | commitdiff
2022-07-13 Gary Dismukes[Ada] Fix for bootstrap problem with calling function... commit | commitdiff
2022-07-13 Gary Dismukes[Ada] Add support for defaulted Storage_Model_Type... commit | commitdiff
2022-07-13 Piotr Trojanek[Ada] Fix for visibility of aspect expressions inside... commit | commitdiff
2022-07-12 Piotr Trojanek[Ada] Accept aspect Yield on subprogram bodies acting... commit | commitdiff
2022-07-05 Piotr Trojanek[Ada] Remove redundant protection against empty lists commit | commitdiff
2022-07-04 Piotr Trojanek[Ada] Fix for resolution of overloaded subprogram for... commit | commitdiff
2022-06-02 Piotr Trojanek[Ada] Remove redundant checks for missing lists commit | commitdiff
2022-06-01 Steve Baird[Ada] Missing discriminant checks when accessing varian... commit | commitdiff
2022-05-30 Ghjuvan Lacambre[Ada] Add insertion character for overlay modification... commit | commitdiff
2022-05-30 Steve Baird[Ada] Incorrect determination of whether an expression... commit | commitdiff
2022-05-19 Steve Baird[Ada] Avoid internal compiler error for illegal Predica... commit | commitdiff
2022-05-19 Daniel Mercier[Ada] Ignore Predicate_Failure in CodePeer mode commit | commitdiff
2022-05-19 Piotr Trojanek[Ada] Ignore Predicate_Failure in GNATprove mode commit | commitdiff
2022-05-19 Steve Baird[Ada] Fix bug in handling of Predicate_Failure aspect commit | commitdiff
2022-05-18 Gary Dismukes[Ada] Improve error messages for occurrence of GNAT... commit | commitdiff
2022-05-17 Eric Botcazou[Ada] Deal with derived record types in Has_Compatible_... commit | commitdiff
2022-05-17 Eric Botcazou[Ada] Streamline implementation of Has_Compatible_Repre... commit | commitdiff
2022-05-16 Eric Botcazou[Ada] Fix internal error on predicate aspect with iterator commit | commitdiff
2022-05-13 Gary Dismukes[Ada] Storage_Model_Object fails to return object entity commit | commitdiff
2022-05-11 Steve Baird[Ada] Properly reject unsupported address specifications commit | commitdiff
2022-05-10 Etienne Servais[Ada] Fix typo in comment for Is_Predicate_Static commit | commitdiff
2022-05-09 Piotr Trojanek[Ada] Fix indentation of "Start of processing for ... commit | commitdiff
2022-05-09 Steve Baird[Ada] Properly handle unprefixed references to components commit | commitdiff
2022-01-11 Piotr Trojanek[Ada] Reuse Make_Temporary where possible commit | commitdiff
2022-01-11 Piotr Trojanek[Ada] Remove extra space in single object declarations commit | commitdiff
2022-01-11 Arnaud Charlet[Ada] Code cleanups commit | commitdiff
2022-01-11 Arnaud Charlet[Ada] Update copyright notice and bump Gnatvsn.Current_Year commit | commitdiff
2022-01-07 Justin Squirek[Ada] Cleanup and modification of unreferenced warnings commit | commitdiff
2022-01-07 Piotr Trojanek[Ada] Remove extra space before THEN keywords commit | commitdiff
2022-01-07 Richard Kenner[Ada] Use non-internal representation for access subpro... commit | commitdiff
2022-01-06 Etienne Servais[Ada] Fix typo in comments found running aspell commit | commitdiff
2021-12-02 Piotr Trojanek[Ada] Remove extra space after assignment symbol commit | commitdiff
2021-12-02 Piotr Trojanek[Ada] Simplify iteration over record components commit | commitdiff
2021-11-10 Bob Duff[Ada] Avoid warnings regarding rep clauses in generics commit | commitdiff
2021-11-10 Etienne Servais[Ada] ACATS BDC1002 shall not error on arbitrary aspect commit | commitdiff
2021-11-09 Gary Dismukes[Ada] Errors on globals in expressions of predicate... commit | commitdiff
2021-10-25 Etienne Servais[Ada] Change format of the ?? warning insertion sequence commit | commitdiff
2021-10-25 Arnaud Charlet[Ada] Remove more uses of exception propagation during... commit | commitdiff
2021-10-25 Yannick Moy[Ada] Issue error on invalid use of Ghost inside pragma... commit | commitdiff
2021-10-20 Bob Duff[Ada] tech debt: Clean up Uint fields, such as Esize commit | commitdiff
2021-10-11 Piotr Trojanek[Ada] Warn about conversion with any predefined time... commit | commitdiff
2021-10-05 Gary Dismukes[Ada] Front-end support for Storage_Model feature 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
next
GNU Compiler Collection
This page took 0.950574 seconds and 7 git commands to generate.