Show patches with: State = Action Required       |   126972 patches
« 1 2 ... 358 359 360 … 1269 1270 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] RTEMS: use default stack checking emulation package [Ada] RTEMS: use default stack checking emulation package - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Remove redundant guard against an empty component list [Ada] Remove redundant guard against an empty component list - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Simplify detection of record components with default initialization [Ada] Simplify detection of record components with default initialization - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Simplify detection of delayed aggregates [Ada] Simplify detection of delayed aggregates - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Simplify initialization of concurrent components [Ada] Simplify initialization of concurrent components - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Move rewriting of boxes in aggregates from resolution to expansion [Ada] Move rewriting of boxes in aggregates from resolution to expansion - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Import binder globals as constant [Ada] Import binder globals as constant - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Rewrite extended names in derived class-wide expressions [Ada] Rewrite extended names in derived class-wide expressions - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Reorder subprogram spec and bodies in alphabetical order [Ada] Reorder subprogram spec and bodies in alphabetical order - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Fix internal error on fixed-point divide, multiply and scaling [Ada] Fix internal error on fixed-point divide, multiply and scaling - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Find an interpretation for membership test with a singleton value [Ada] Find an interpretation for membership test with a singleton value - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Simplify membership tests with N_Generic_Declaration [Ada] Simplify membership tests with N_Generic_Declaration - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Warn about conversion with any predefined time types [Ada] Warn about conversion with any predefined time types - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] RTEMS: use regular RTEMS API for minimum stack size calculation [Ada] RTEMS: use regular RTEMS API for minimum stack size calculation - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Incorrect Dynamic_Predicate results for static arguments [Ada] Incorrect Dynamic_Predicate results for static arguments - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Valid postconditions incorrectly rejected. [Ada] Valid postconditions incorrectly rejected. - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Remove redundant guard in expansion of dispatching calls [Ada] Remove redundant guard in expansion of dispatching calls - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Runtime transition: System.Threads [Ada] Runtime transition: System.Threads - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Fix for atomic wrongly rejected on object of discriminated type [Ada] Fix for atomic wrongly rejected on object of discriminated type - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Tweak the warning about missing local raises [Ada] Tweak the warning about missing local raises - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Fix problematic import of type-generic GCC atomic builtin [Ada] Fix problematic import of type-generic GCC atomic builtin - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Fix type conversion handling in validity checks [Ada] Fix type conversion handling in validity checks - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Issue warning on unused quantified expression [Ada] Issue warning on unused quantified expression - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Get rid of Frontend_Exceptions refs [Ada] Get rid of Frontend_Exceptions refs - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Small cleanup in Eval_Integer_Literal [Ada] Small cleanup in Eval_Integer_Literal - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Rewrite tests on Convention_Intrinsic [Ada] Rewrite tests on Convention_Intrinsic - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Prevent use of an uninitialized AST field with universal integer [Ada] Prevent use of an uninitialized AST field with universal integer - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Warning on nonmatching subtypes in fully conforming subprogram specs and bodies [Ada] Warning on nonmatching subtypes in fully conforming subprogram specs and bodies - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Refine type of a counter function for record delta aggregate [Ada] Refine type of a counter function for record delta aggregate - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Crash on object of protected type with defaulted access component [Ada] Crash on object of protected type with defaulted access component - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Missing accessibility check when returning discriminated types [Ada] Missing accessibility check when returning discriminated types - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Reject boxes in delta record aggregates [Ada] Reject boxes in delta record aggregates - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Factor out machine rounding operations [Ada] Factor out machine rounding operations - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Fix problematic conversion of real literal in static context [Ada] Fix problematic conversion of real literal in static context - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Provide dummy body for big integers library used in reduced runtimes [Ada] Provide dummy body for big integers library used in reduced runtimes - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Proof of the runtime support for attribute 'Width [Ada] Proof of the runtime support for attribute 'Width - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Remove unnecessary call to No_Uint_To_0 [Ada] Remove unnecessary call to No_Uint_To_0 - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Fix deleted Compile_Time warnings causing crashes [Ada] Fix deleted Compile_Time warnings causing crashes - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Issue error on invalid use of Ghost inside pragma Predicate [Ada] Issue error on invalid use of Ghost inside pragma Predicate - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Shutdown codepeer message [Ada] Shutdown codepeer message - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Don't expect enumeration literals to be renamings [Ada] Don't expect enumeration literals to be renamings - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Reference in Unbounded_String is almost never null [Ada] Reference in Unbounded_String is almost never null - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Initialize variable to Empty [Ada] Initialize variable to Empty - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Do not expect execv to return 0 [Ada] Do not expect execv to return 0 - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Remove redundant guard in expansion of dispatching calls [Ada] Remove redundant guard in expansion of dispatching calls - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Simplify detection of a parent interface equality [Ada] Simplify detection of a parent interface equality - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Global contracts on expression functions in Ada.Strings.Superbounded [Ada] Global contracts on expression functions in Ada.Strings.Superbounded - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Make Declaration_Node return nondeclarations in fewer cases [Ada] Make Declaration_Node return nondeclarations in fewer cases - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Update the inactive GMP variant of Big_Integers [Ada] Update the inactive GMP variant of Big_Integers - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Relax INOX restrictions when casing on composite value. [Ada] Relax INOX restrictions when casing on composite value. - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Simplify iteration of record components when expanding equality [Ada] Simplify iteration of record components when expanding equality - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Fix bugs in Base_Type_Only (etc.) fields [Ada] Fix bugs in Base_Type_Only (etc.) fields - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Follow-on cleanups for Uint fields [Ada] Follow-on cleanups for Uint fields - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Spurious error on user-defined literal and operator [Ada] Spurious error on user-defined literal and operator - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Remove gnatfind and gnatxref [Ada] Remove gnatfind and gnatxref - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Build activation chain for BIP only when needed [Ada] Build activation chain for BIP only when needed - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Guard against illegal items in Global but not Depends [Ada] Guard against illegal items in Global but not Depends - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Fix support for prefixed call with incomplete type declarations [Ada] Fix support for prefixed call with incomplete type declarations - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Fix detection of array aggregates with single others associations [Ada] Fix detection of array aggregates with single others associations - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Complete support for prefixed call on subtypes/derived types [Ada] Complete support for prefixed call on subtypes/derived types - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Add missing regular expression syntax error check [Ada] Add missing regular expression syntax error check - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Tune comment about expansion of array equality [Ada] Tune comment about expansion of array equality - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Errors on globals in expressions of predicate aspects in generic bodies [Ada] Errors on globals in expressions of predicate aspects in generic bodies - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Reference in Unbounded_String is almost never null [Ada] Reference in Unbounded_String is almost never null - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Simplify expansion of array equality [Ada] Simplify expansion of array equality - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Return a valid value when handling Constraint_Error [Ada] Return a valid value when handling Constraint_Error - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Simplify building of entity occurrences [Ada] Simplify building of entity occurrences - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Refine type in expansion of array equality [Ada] Refine type in expansion of array equality - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Cleanup building of renamed equality [Ada] Cleanup building of renamed equality - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Cleanup copying of parameter lists [Ada] Cleanup copying of parameter lists - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Accessibility fix [Ada] Accessibility fix - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Use atomics in runtime on ARM and Aarch64 VxWorks [Ada] Use atomics in runtime on ARM and Aarch64 VxWorks - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Initialize Current_Source_Unit [Ada] Initialize Current_Source_Unit - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Crash on expansion of tagged membership test [Ada] Crash on expansion of tagged membership test - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Hang on compilation of unit with type extension in body [Ada] Hang on compilation of unit with type extension in body - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Do not indicate a pending abort if the task is already aborting [Ada] Do not indicate a pending abort if the task is already aborting - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Print Storage_Pool and Procedure_To_Call fields [Ada] Print Storage_Pool and Procedure_To_Call fields - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Invalid GPR_PROJECT_PATH_FILE confuses gnatls [Ada] Invalid GPR_PROJECT_PATH_FILE confuses gnatls - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Tidy up implementation of Has_Compatible_Type [Ada] Tidy up implementation of Has_Compatible_Type - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Fix Codepeer warning [Ada] Fix Codepeer warning - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Better error message on missing parentheses [Ada] Better error message on missing parentheses - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Warn when interfaces swapped between full and partial view [Ada] Warn when interfaces swapped between full and partial view - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Extend optimized equality of 2-element arrays [Ada] Extend optimized equality of 2-element arrays - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Fix Constraint error on rexgexp close bracket find algorithm [Ada] Fix Constraint error on rexgexp close bracket find algorithm - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Create explicit ghost mirror unit for big integers [Ada] Create explicit ghost mirror unit for big integers - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Fix oversight in latest change to Has_Compatible_Type [Ada] Fix oversight in latest change to Has_Compatible_Type - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Use predefined equality for arrays inside records [Ada] Use predefined equality for arrays inside records - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Don't carry action bodies for expansion of array equality [Ada] Don't carry action bodies for expansion of array equality - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Do not assume a priority value of zero is a valid priority [Ada] Do not assume a priority value of zero is a valid priority - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] ACATS BDC1002 shall not error on arbitrary aspect [Ada] ACATS BDC1002 shall not error on arbitrary aspect - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Avoid warnings regarding rep clauses in generics [Ada] Avoid warnings regarding rep clauses in generics - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Fix comments about expansion of array equality [Ada] Fix comments about expansion of array equality - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Avoid warnings regarding rep clauses in generics -- follow-on [Ada] Avoid warnings regarding rep clauses in generics -- follow-on - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Warn for bidirectional characters [Ada] Warn for bidirectional characters - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Minor cleanup in translation of calls to subprograms [Ada] Minor cleanup in translation of calls to subprograms - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Cleanup listing of representation info [Ada] Cleanup listing of representation info - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Simplify building of inequality function body [Ada] Simplify building of inequality function body - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Avoid duplication for Sets functions [Ada] Avoid duplication for Sets functions - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Storage error on untagged prefixed subprogram calls with -gnatX [Ada] Storage error on untagged prefixed subprogram calls with -gnatX - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Improve messages on incorrect state refinement in SPARK [Ada] Improve messages on incorrect state refinement in SPARK - - - - --- 2021-12-01 Pierre-Marie de Rodat New
« 1 2 ... 358 359 360 … 1269 1270 »