]> gcc.gnu.org Git - gcc.git/history - gcc/ada/sem_res.adb
git://gcc.gnu.org / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
AArch64: Improve costing of ctz
[gcc.git] / gcc / ada / sem_res.adb
4 days ago Ronan Desplanquesada: Fix missing length checks with case expressions commit | commitdiff
6 days ago Steve Bairdada: Reduce generated code duplication for streaming... commit | commitdiff
13 days ago Yannick Moyada: Fix missing flag for GNATprove commit | commitdiff
2024-05-06 Yannick Moyada: Prevent inlining in GNATprove for memory leaks commit | commitdiff
2024-02-26 Eric BotcazouFinalization of object allocated by anonymous access... commit | commitdiff
2024-01-22 Marc PoulhièsUpdate copyright years. commit | commitdiff
2024-01-09 Piotr Trojanekada: More aggressive inlining of subprogram calls in... commit | commitdiff
2023-12-19 Yannick Moyada: Cleanup SPARK legality checking commit | commitdiff
2023-11-30 Eric Botcazouada: Rework fix for wrong finalization of qualified... commit | commitdiff
2023-11-30 Yannick Moyada: Remove SPARK legality checks commit | commitdiff
2023-11-21 Eric Botcazouada: Fix spurious error on call with default parameter... commit | commitdiff
2023-11-07 Eric Botcazouada: Fix incorrect resolution of overloaded function... commit | commitdiff
2023-11-07 Yannick Moyada: Rename Is_Limited_View to reflect actual query commit | commitdiff
2023-11-07 Steve Bairdada: New Local_Restrictions and User_Aspect aspects. commit | commitdiff
2023-09-15 Eric Botcazouada: Fix internal error on expression function with... commit | commitdiff
2023-09-05 Steve Bairdada: Spurious warning about negative modular literal commit | commitdiff
2023-08-07 Yannick Moyada: Crash in GNATprove due to wrong detection of inlining commit | commitdiff
2023-08-07 Javier Mirandaada: Spurious error on class-wide preconditions commit | commitdiff
2023-07-28 Piotr Trojanekada: Add guard for detection of class-wide precondition... commit | commitdiff
2023-06-20 Yannick Moyada: Fix crash on inlining in GNATprove commit | commitdiff
2023-06-20 Yannick Moyada: Add the ability to add error codes to error messages commit | commitdiff
2023-06-20 Piotr Trojanekada: Fix for attribute Range in Exceptional_Cases commit | commitdiff
2023-06-20 Piotr Trojanekada: Fix for quantified expressions in Exceptional_Cases commit | commitdiff
2023-06-20 Eric Botcazouada: Small fixes to handling of private views in instances commit | commitdiff
2023-06-13 Piotr Trojanekada: Disable inlining in potentially unevaluated contexts commit | commitdiff
2023-05-30 Eric Botcazouada: Fix regression of secondary stack management in... commit | commitdiff
2023-05-29 Eric Botcazouada: Fix memory leak in expression function returning... commit | commitdiff
2023-05-29 Eric Botcazouada: Fix bogus error on conditional expression with... commit | commitdiff
2023-05-29 Piotr Trojanekada: Fix crash on semi-recursive call in access-to... commit | commitdiff
2023-05-29 Eric Botcazouada: Fix small fallout of previous change commit | commitdiff
2023-05-29 Eric Botcazouada: Fix remaining failures in Roman Numbers test commit | commitdiff
2023-05-29 Piotr Trojanekada: Accept parameters of enclosing subprograms in... commit | commitdiff
2023-05-29 Piotr Trojanekada: Allow attributes like First and Last to be read... commit | commitdiff
2023-05-29 Eric Botcazouada: Repair support for user-defined literals in arithm... commit | commitdiff
2023-05-25 Piotr Trojanekada: Tune handling of attributes Old in contract Except... commit | commitdiff
2023-05-25 Piotr Trojanekada: Accept aliased parameters in Exceptional_Cases commit | commitdiff
2023-05-25 Piotr Trojanekada: Restrict use of formal parameters within exception... commit | commitdiff
2023-05-23 Eric Botcazouada: Fix oversight in latest change commit | commitdiff
2023-05-23 Eric Botcazouada: Fix resolution of mod operator of System.Storage_E... commit | commitdiff
2023-05-23 Eric Botcazouada: Remove the body of System.Storage_Elements commit | commitdiff
2023-05-22 Piotr Trojanekada: Cleanup redundant condition in resolution of entit... commit | commitdiff
2023-05-22 Arnaud Charletada: Remove extra parentheses commit | commitdiff
2023-05-16 Eric Botcazouada: Implement inheritance of user-defined literal... commit | commitdiff
2023-01-09 Arnaud Charletada: Update copyright notice commit | commitdiff
2023-01-05 Javier Mirandaada: INOX: prototype RFC on String Interpolation commit | commitdiff
2023-01-03 Eric Botcazouada: Another small adjustment to special resolution... commit | commitdiff
2022-12-06 Eric Botcazouada: Elide the copy in extended returns for nonlimited... commit | commitdiff
2022-12-06 Eric Botcazouada: Small adjustment to special resolution of membersh... commit | commitdiff
2022-12-06 Eric Botcazouada: Use larger type for membership test of universal... 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 Eric Botcazouada: Implement RM 4.5.7(10/3) name resolution rule commit | commitdiff
2022-11-08 Eric Botcazouada: Remove obsolete code in Resolve_If_Expression commit | commitdiff
2022-11-07 Piotr Trojanekada: Allow reuse of Enclosing_Declaration_Or_Statement... commit | commitdiff
2022-11-07 Piotr Trojanekada: Clean up unnecesary call in resolution of overload... commit | commitdiff
2022-09-12 Justin Squirek[Ada] Tech debt: Expansion of contracts commit | commitdiff
2022-09-12 Gary Dismukes[Ada] Fix issues with compiling ACATS test for user... commit | commitdiff
2022-09-05 Piotr Trojanek[Ada] Fix double identifiers in iterated component... commit | commitdiff
2022-07-13 Eric Botcazou[Ada] Plug legality loophole for equality operator... commit | commitdiff
2022-07-13 Eric Botcazou[Ada] Fix internal error on untagged record type with... commit | commitdiff
2022-07-12 Bob Duff[Ada] Remove out-of-range warning in unreachable code commit | commitdiff
2022-07-12 Piotr Trojanek[Ada] Warn about unreachable code after calls with... commit | commitdiff
2022-07-12 Marc Poulhiès[Ada] Fix missing Overflow and Range checks commit | commitdiff
2022-07-06 Javier Miranda[Ada] Missing error on tagged type conversion commit | commitdiff
2022-07-06 Piotr Trojanek[Ada] Restore accidentally removed part of a comment... commit | commitdiff
2022-07-04 Bob Duff[Ada] Assertions in Einfo.Utils commit | commitdiff
2022-07-04 Eric Botcazou[Ada] Give missing error on ambiguous operand of equali... commit | commitdiff
2022-06-01 Eric Botcazou[Ada] Rename Returns_On_Secondary_Stack into Needs_Seco... commit | commitdiff
2022-06-01 Steve Baird[Ada] Missing discriminant checks when accessing varian... commit | commitdiff
2022-05-30 Piotr Trojanek[Ada] Deconstruct deferred references commit | commitdiff
2022-05-19 Eric Botcazou[Ada] Fix spurious violations of No_Secondary_Stack... commit | commitdiff
2022-05-18 Javier Miranda[Ada] Crash building VSS with compiler built with asser... commit | commitdiff
2022-05-17 Piotr Trojanek[Ada] Restore defensive guard in checks for volatile... commit | commitdiff
2022-05-16 Eric Botcazou[Ada] Fix implementation issues with equality for untag... commit | commitdiff
2022-05-13 Piotr Trojanek[Ada] Accept effectively volatile components in actuals commit | commitdiff
2022-05-13 Piotr Trojanek[Ada] Remove redundant guard in checks for volatile... commit | commitdiff
2022-05-12 Piotr Trojanek[Ada] Reuse collective subtype for comparison operators... commit | commitdiff
2022-05-10 Piotr Trojanek[Ada] Remove repeated conversions between Source_Ptr... commit | commitdiff
2022-05-10 Piotr Trojanek[Ada] Fix style in resolution of expression with actions commit | commitdiff
2022-05-10 Piotr Trojanek[Ada] Reuse Is_Rewrite_Substitution where possible commit | commitdiff
2022-05-10 Piotr Trojanek[Ada] Check declare and qualified expressions for unset... commit | commitdiff
2022-05-10 Piotr Trojanek[Ada] Check if- and case-expressions for unset references commit | commitdiff
2022-05-10 Eric Botcazou[Ada] Fix hiding of user-defined operator that is not... commit | commitdiff
2022-05-10 Piotr Trojanek[Ada] Simplify conversion from Character to Char_Code commit | commitdiff
2022-05-09 Piotr Trojanek[Ada] Prevent inlining-for-proof for calls inside ELSIF... commit | commitdiff
2022-05-09 Ed Schonberg[Ada] Fix visibility inside declare_expression commit | commitdiff
2022-05-09 Eric Botcazou[Ada] Revamp type resolution for comparison and equalit... commit | commitdiff
2022-01-11 Piotr Trojanek[Ada] Remove extra space in single object declarations 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 Etienne Servais[Ada] Check scalar range in arrays constructed by conca... commit | commitdiff
2022-01-06 Bob Duff[Ada] Warn on subtype declaration of null range commit | commitdiff
2022-01-06 Piotr Trojanek[Ada] Simplify type conversions in source pointer arith... commit | commitdiff
2022-01-06 Piotr Trojanek[Ada] Refactor repeated implicit conversion from Char_C... commit | commitdiff
2022-01-06 Etienne Servais[Ada] Fix typo in comments found running aspell commit | commitdiff
2022-01-06 Eric Botcazou[Ada] Rename Any_Access into Universal_Access commit | commitdiff
2021-12-01 Eric Botcazou[Ada] Fix incorrect fixed-point computation in expressi... commit | commitdiff
2021-11-09 Alexandre Oliva[Ada] Improve integration of strub with type systems commit | commitdiff
2021-10-25 Ed Schonberg[Ada] Spurious error on user-defined literal and operator commit | commitdiff
2021-10-25 Etienne Servais[Ada] Change format of the ?? warning insertion sequence commit | commitdiff
next
GNU Compiler Collection
This page took 0.963438 seconds and 7 git commands to generate.