Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 ... 27 28 29 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Remove Valop from the Repinfo unit [Ada] Remove Valop from the Repinfo unit - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Minor cleanup in repinfo unit [Ada] Minor cleanup in repinfo unit - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Fix internal error on renaming of equality for record type [Ada] Fix internal error on renaming of equality for record type - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Update FE check following change in SPARK RM 7.1.3(12) [Ada] Update FE check following change in SPARK RM 7.1.3(12) - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Fix internal error on nested record types with representation clause [Ada] Fix internal error on nested record types with representation clause - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Better accuracy in float-to-fixed conversions [Ada] Better accuracy in float-to-fixed conversions - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Crash on aspect/pragma Linked_Section with -gnatR2 [Ada] Crash on aspect/pragma Linked_Section with -gnatR2 - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Spurious constraint error on array of null-excluding components [Ada] Spurious constraint error on array of null-excluding components - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Spurious error on aspect Volatile [Ada] Spurious error on aspect Volatile - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Minor tweak to output of -gnatR [Ada] Minor tweak to output of -gnatR - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Warning on recursive call within postcondition [Ada] Warning on recursive call within postcondition - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Misleading warning on unresolvable package name [Ada] Misleading warning on unresolvable package name - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Further evaluation of type bounds in GNATprove mode [Ada] Further evaluation of type bounds in GNATprove mode - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Improve performance of conversion from String to Long_Float [Ada] Improve performance of conversion from String to Long_Float - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Remove 2GB secondary stack limit for 64-bit processors [Ada] Remove 2GB secondary stack limit for 64-bit processors - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Spurious error on fixed-point operation whose operands are expressions [Ada] Spurious error on fixed-point operation whose operands are expressions - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Spurious range check with Initialize_Scalars [Ada] Spurious range check with Initialize_Scalars - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Membership test of class-wide interface [Ada] Membership test of class-wide interface - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Spurious secondary stack depletion [Ada] Spurious secondary stack depletion - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Crash on classwide precondition on subprogram with stub [Ada] Crash on classwide precondition on subprogram with stub - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Disable the creation of the main task secondary stack by the binder [Ada] Disable the creation of the main task secondary stack by the binder - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Rewrite Iterate_Call_Parameters in more assertive style [Ada] Rewrite Iterate_Call_Parameters in more assertive style - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Make Max_Sensible_Delay uniform across all Posix targets [Ada] Make Max_Sensible_Delay uniform across all Posix targets - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Checks on instantiations with formal derived types with interfaces [Ada] Checks on instantiations with formal derived types with interfaces - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Fix handling of Loop_Entry for CodePeer/SPARK [Ada] Fix handling of Loop_Entry for CodePeer/SPARK - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Support for C99 and C++ standard boolean types [Ada] Support for C99 and C++ standard boolean types - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Unbounded strings: inline Initialize and Adjust [Ada] Unbounded strings: inline Initialize and Adjust - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Compiler loop on expression function and predicate in generic unit [Ada] Compiler loop on expression function and predicate in generic unit - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Detect misplaced assertions between loop invariants [Ada] Detect misplaced assertions between loop invariants - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Simplify routines with a local Result variable [Ada] Simplify routines with a local Result variable - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Fix irregular output with -gnatR3 [Ada] Fix irregular output with -gnatR3 - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Wrong renaming of variant record equality [Ada] Wrong renaming of variant record equality - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Improve GNATprove messages on unproved checks [Ada] Improve GNATprove messages on unproved checks - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Missing error on illegal access to discriminant [Ada] Missing error on illegal access to discriminant - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Infinite loop in the compiler when warning on redundant constructs [Ada] Infinite loop in the compiler when warning on redundant constructs - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Quadratic compile time with tagged types [Ada] Quadratic compile time with tagged types - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Spurious error due to lingering limited view [Ada] Spurious error due to lingering limited view - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Add warning on redundant others_clause in array aggregate [Ada] Add warning on redundant others_clause in array aggregate - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Crash on return of raise expression [Ada] Crash on return of raise expression - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Crash on function in Ghost subunit [Ada] Crash on function in Ghost subunit - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Ineffective use warning is suppressed when performing verification [Ada] Ineffective use warning is suppressed when performing verification - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Memory leak mixing limited and nonlimited functions [Ada] Memory leak mixing limited and nonlimited functions - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Spurious error on pragma Independent_Components [Ada] Spurious error on pragma Independent_Components - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Fix crash on formal containers [Ada] Fix crash on formal containers - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Fix inconsistent documentation for the Contract_Cases pragma [Ada] Fix inconsistent documentation for the Contract_Cases pragma - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Expansion of discrete choices [Ada] Expansion of discrete choices - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Spurious error on imported subprogram with precondition [Ada] Spurious error on imported subprogram with precondition - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Spurious error on private task derivation [Ada] Spurious error on private task derivation - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Crash on compilation unit instance [Ada] Crash on compilation unit instance - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Fix references to Backend_Layout configuration parameter [Ada] Fix references to Backend_Layout configuration parameter - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Fix computation of handle/pid lists in win32_wait [Ada] Fix computation of handle/pid lists in win32_wait - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Spurious Storage_Error on imported array [Ada] Spurious Storage_Error on imported array - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Spurious error on instantiation with type with unknown discriminants [Ada] Spurious error on instantiation with type with unknown discriminants - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] gnatbind: do not list No_Implementation_Restrictions [Ada] gnatbind: do not list No_Implementation_Restrictions - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-0131: legality of class-wide precondition [Ada] Implementation of AI12-0131: legality of class-wide precondition - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Crash processing Valid_Scalars whose evaluation is always true [Ada] Crash processing Valid_Scalars whose evaluation is always true - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Vectors: spurious error in -gnatwE mode [Ada] Vectors: spurious error in -gnatwE mode - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Clarify meaning of local pragma Warnings Off without On [Ada] Clarify meaning of local pragma Warnings Off without On - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Add a Is_Foreign_Exception predicate to GNAT.Exception_Actions [Ada] Add a Is_Foreign_Exception predicate to GNAT.Exception_Actions - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Missing legality check on iterator over formal container [Ada] Missing legality check on iterator over formal container - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Fix implementation of utility for finding enclosing declaration [Ada] Fix implementation of utility for finding enclosing declaration - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Suspension and elaboration warnings/checks [Ada] Suspension and elaboration warnings/checks - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Fix of some permission rules of pointers in SPARK [Ada] Fix of some permission rules of pointers in SPARK - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Crash on predicate involving qualified expression in instance [Ada] Crash on predicate involving qualified expression in instance - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Suppression of elaboration-related warnings [Ada] Suppression of elaboration-related warnings - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Suppression of elaboration-related warnings [Ada] Suppression of elaboration-related warnings - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Suppression of elaboration-related warnings [Ada] Suppression of elaboration-related warnings - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Compiler fails to reject illegal store of anonymous_access_to_subprogram [Ada] Compiler fails to reject illegal store of anonymous_access_to_subprogram - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Build-in-place aggregates and Address clauses [Ada] Build-in-place aggregates and Address clauses - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Initialize_Scalars optimization causes spurious runtime check failure [Ada] Initialize_Scalars optimization causes spurious runtime check failure - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Missing warning for unreferenced formals in expression functions [Ada] Missing warning for unreferenced formals in expression functions - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Fix Reraise_Occurrence of Foreign_Exception [Ada] Fix Reraise_Occurrence of Foreign_Exception - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Crash on partial initialization of controlled component [Ada] Crash on partial initialization of controlled component - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Fix retrieval of number of CPUs on QNX [Ada] Fix retrieval of number of CPUs on QNX - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Fix the signal trampoline on QNX [Ada] Fix the signal trampoline on QNX - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] In-place initialization for Initialize_Scalars [Ada] In-place initialization for Initialize_Scalars - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Disable name generation for External_Tag and Expanded_Name [Ada] Disable name generation for External_Tag and Expanded_Name - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Better error message on illegal 'Access on formal subprogram [Ada] Better error message on illegal 'Access on formal subprogram - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] In-place initialization for Initialize_Scalars [Ada] In-place initialization for Initialize_Scalars - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Fix compiler abort on invalid discriminant constraint [Ada] Fix compiler abort on invalid discriminant constraint - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Ada2020: Reduction expressions [Ada] Ada2020: Reduction expressions - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Crash with private types and renamed discriminants [Ada] Crash with private types and renamed discriminants - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Spurious visibility error in a nested instance with formal package [Ada] Spurious visibility error in a nested instance with formal package - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Prohibit output dependency items on functions [Ada] Prohibit output dependency items on functions - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Allow attribute 'Valid_Scalars on private types [Ada] Allow attribute 'Valid_Scalars on private types - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Spurious visibility error on aspect in generic unit [Ada] Spurious visibility error on aspect in generic unit - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Crash on pragma Compile_Time_Warning with declared string constant [Ada] Crash on pragma Compile_Time_Warning with declared string constant - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Spurious size error on fixed point type with aspect Small [Ada] Spurious size error on fixed point type with aspect Small - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Prevent caching of non-text symbols for symbolic tracebacks [Ada] Prevent caching of non-text symbols for symbolic tracebacks - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Adding support for Ada.Locales package [Ada] Adding support for Ada.Locales package - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] No error on misplaced pragma Pure_Function [Ada] No error on misplaced pragma Pure_Function - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Missing error on illegal categorization dependency [Ada] Missing error on illegal categorization dependency - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Spurious warning on object declaration with address clause [Ada] Spurious warning on object declaration with address clause - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Aspects on stubs [Ada] Aspects on stubs - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Spurious error on early call region of tagged type [Ada] Spurious error on early call region of tagged type - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Error message on invalid conversion involving limited views [Ada] Error message on invalid conversion involving limited views - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Exit statement in loops over iterable objects [Ada] Exit statement in loops over iterable objects - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Spurious error on indexed call as prefix of a call [Ada] Spurious error on indexed call as prefix of a call - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Use type conversion when inlining may trigger a run-time check [Ada] Use type conversion when inlining may trigger a run-time check - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Placement of pragma Elaboration_Checks [Ada] Placement of pragma Elaboration_Checks - - - - --- 2018-05-21 Pierre-Marie de Rodat New
« 1 2 ... 27 28 29 … 30 31 »