Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   797 patches
« 1 2 ... 7 8 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] Suspension and elaboration warnings/checks [Ada] Suspension and elaboration warnings/checks 0 0 0 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 0 0 0 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 0 0 0 2018-05-23 Pierre-Marie de Rodat New
[Ada] Suppression of elaboration-related warnings [Ada] Suppression of elaboration-related warnings 0 0 0 2018-05-23 Pierre-Marie de Rodat New
[Ada] Suppression of elaboration-related warnings [Ada] Suppression of elaboration-related warnings 0 0 0 2018-05-23 Pierre-Marie de Rodat New
[Ada] Suppression of elaboration-related warnings [Ada] Suppression of elaboration-related warnings 0 0 0 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 0 0 0 2018-05-23 Pierre-Marie de Rodat New
[Ada] Build-in-place aggregates and Address clauses [Ada] Build-in-place aggregates and Address clauses 0 0 0 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 0 0 0 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 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Fix Reraise_Occurrence of Foreign_Exception [Ada] Fix Reraise_Occurrence of Foreign_Exception 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Crash on partial initialization of controlled component [Ada] Crash on partial initialization of controlled component 0 0 0 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 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Fix the signal trampoline on QNX [Ada] Fix the signal trampoline on QNX 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] In-place initialization for Initialize_Scalars [Ada] In-place initialization for Initialize_Scalars 0 0 0 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 0 0 0 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 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] In-place initialization for Initialize_Scalars [Ada] In-place initialization for Initialize_Scalars 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Fix compiler abort on invalid discriminant constraint [Ada] Fix compiler abort on invalid discriminant constraint 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Ada2020: Reduction expressions [Ada] Ada2020: Reduction expressions 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Crash with private types and renamed discriminants [Ada] Crash with private types and renamed discriminants 0 0 0 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 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Prohibit output dependency items on functions [Ada] Prohibit output dependency items on functions 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Allow attribute 'Valid_Scalars on private types [Ada] Allow attribute 'Valid_Scalars on private types 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Adding support for Ada.Locales package [Ada] Adding support for Ada.Locales package 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] No error on misplaced pragma Pure_Function [Ada] No error on misplaced pragma Pure_Function 0 0 0 2018-05-22 Pierre-Marie de Rodat New
[Ada] Missing error on illegal categorization dependency [Ada] Missing error on illegal categorization dependency 0 0 0 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 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Aspects on stubs [Ada] Aspects on stubs 0 0 0 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 0 0 0 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 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Exit statement in loops over iterable objects [Ada] Exit statement in loops over iterable objects 0 0 0 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 0 0 0 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 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Placement of pragma Elaboration_Checks [Ada] Placement of pragma Elaboration_Checks 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Robustify traceback caching for executable in current dir [Ada] Robustify traceback caching for executable in current dir 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Remove External aspect from predefined abstract states [Ada] Remove External aspect from predefined abstract states 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Spurious error in inlining for GNATprove on prefix call notation [Ada] Spurious error in inlining for GNATprove on prefix call notation 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Spurious error on synchronous refinement [Ada] Spurious error on synchronous refinement 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Crash on incorrect frontend inlining in GNATprove mode [Ada] Crash on incorrect frontend inlining in GNATprove mode 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Tighten Object_Reader.Get_Memory_Bounds [Ada] Tighten Object_Reader.Get_Memory_Bounds 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Robustify traceback symbolization from dwarf info [Ada] Robustify traceback symbolization from dwarf info 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Propagate load addresses for traceback cache on Linux [Ada] Propagate load addresses for traceback cache on Linux 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Only allow Has_Discriminants on type entities [Ada] Only allow Has_Discriminants on type entities 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Extend legality of Scalar_Storage_Order to formal types [Ada] Extend legality of Scalar_Storage_Order to formal types 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[Ada] Premature secondary stack reclamation [Ada] Premature secondary stack reclamation 0 0 0 2018-05-21 Pierre-Marie de Rodat New
[PR84213] DWARF: no location for non-definition DECLs with non-trivial DECL_VALUE_EXPR [PR84213] DWARF: no location for non-definition DECLs with non-trivial DECL_VALUE_EXPR 0 0 0 2018-02-09 Pierre-Marie de Rodat New
[Ada] Warning on out-of-range value for default-initialized scalar object [Ada] Warning on out-of-range value for default-initialized scalar object 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Crash on build-in-place call with address specification for target [Ada] Crash on build-in-place call with address specification for target 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Allow uses of range utility routines on private types [Ada] Allow uses of range utility routines on private types 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Prohibit concurrent types in Ghost regions [Ada] Prohibit concurrent types in Ghost regions 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Detection of illegal constituent assignments [Ada] Detection of illegal constituent assignments 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] No error on missing enclosing parentheses in Expression Function [Ada] No error on missing enclosing parentheses in Expression Function 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Missing diagnostic of categorization dependency [Ada] Missing diagnostic of categorization dependency 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Incorrect diagnostic on illegal with clause [Ada] Incorrect diagnostic on illegal with clause 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Spurious error on referene to subcoponrnt in dynamic predicate [Ada] Spurious error on referene to subcoponrnt in dynamic predicate 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Secondary stack leaks during object initialization [Ada] Secondary stack leaks during object initialization 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Null procedures not allowed in protected definitions [Ada] Null procedures not allowed in protected definitions 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] gnatbind -f switch gives an error for duplicates [Ada] gnatbind -f switch gives an error for duplicates 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Crash on expression function as completion, with implicit dereference [Ada] Crash on expression function as completion, with implicit dereference 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Warning on use of predefined operations on an actual fixed-point type [Ada] Warning on use of predefined operations on an actual fixed-point type 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Annotate standard File_Type with Default_Initial_Condition (for SPARK) [Ada] Annotate standard File_Type with Default_Initial_Condition (for SPARK) 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] New implementation for Normalize_Pathname [Ada] New implementation for Normalize_Pathname 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Secondary stack leak due to controlled component [Ada] Secondary stack leak due to controlled component 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Handling of pragma Predicate [Ada] Handling of pragma Predicate 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Different runtime behavior of Predicate_Failure [Ada] Different runtime behavior of Predicate_Failure 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Integer overflow in SS_Allocate [Ada] Integer overflow in SS_Allocate 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Illegal protected calls in inherited pre/postconditions [Ada] Illegal protected calls in inherited pre/postconditions 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Encoding of with clauses in ALI files [Ada] Encoding of with clauses in ALI files 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Finding proper scope when inside entry body [Ada] Finding proper scope when inside entry body 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Aspect/pragma Secondary_Stack_Size can evaluate non-literals as zero [Ada] Aspect/pragma Secondary_Stack_Size can evaluate non-literals as zero 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Missing finalization in case expression [Ada] Missing finalization in case expression 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Crash on iterated_component_association in expression function [Ada] Crash on iterated_component_association in expression function 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Wrong column in sloc of "expect name" error for loop variant [Ada] Wrong column in sloc of "expect name" error for loop variant 0 0 0 2018-01-11 Pierre-Marie de Rodat New
[Ada] Inconsistent scope chain due to quantified expression [Ada] Inconsistent scope chain due to quantified expression 0 0 0 2018-01-11 Pierre-Marie de Rodat Superseded
[Ada] Added warning on membership tests [Ada] Added warning on membership tests 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Spurious alias error on access to array indexed by non-standard enum [Ada] Spurious alias error on access to array indexed by non-standard enum 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Spurious error on equality operator on incomplete type [Ada] Spurious error on equality operator on incomplete type 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Spurious 'W' ALI line due to implicit with clause [Ada] Spurious 'W' ALI line due to implicit with clause 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Spurious error and missing warning on static predicate [Ada] Spurious error and missing warning on static predicate 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Concurrent types in pragma Initializes [Ada] Concurrent types in pragma Initializes 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Fix incorrect assignment to array with Component_Size clause [Ada] Fix incorrect assignment to array with Component_Size clause 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Missing error on illegal initialization item [Ada] Missing error on illegal initialization item 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Verify Part_Of indicator in non-SPARK code [Ada] Verify Part_Of indicator in non-SPARK code 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Crash on expression function and discriminant-dependent component [Ada] Crash on expression function and discriminant-dependent component 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Optimizing allocators for arrays with non-static upper bound [Ada] Optimizing allocators for arrays with non-static upper bound 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Reject certain constants as constituents [Ada] Reject certain constants as constituents 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Spurious warning on default initialized object [Ada] Spurious warning on default initialized object 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Crash on subprogram instantiation in nested package [Ada] Crash on subprogram instantiation in nested package 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Ignore external calls from instances for elaboration [Ada] Ignore external calls from instances for elaboration 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Completing expression function need not trigger loading of package body [Ada] Completing expression function need not trigger loading of package body 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Compiler crash with -gnatd.1 (force unnesting of subprograms) [Ada] Compiler crash with -gnatd.1 (force unnesting of subprograms) 0 0 0 2017-12-15 Pierre-Marie de Rodat New
[Ada] Fix inconsistent usage of Machine in s-fatgen.adb [Ada] Fix inconsistent usage of Machine in s-fatgen.adb 0 0 0 2017-12-15 Pierre-Marie de Rodat New
« 1 2 ... 7 8 »