Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 ... 26 27 28 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Handle pragmas that come from aspects for GNATprove [Ada] Handle pragmas that come from aspects for GNATprove - - - - --- 2018-08-21 Pierre-Marie de Rodat New
[Ada] Secondary stack leak with access-to-subprogram [Ada] Secondary stack leak with access-to-subprogram - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Spurious error on default parameter in protected operation [Ada] Spurious error on default parameter in protected operation - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] GNATmake fails to detect missing body [Ada] GNATmake fails to detect missing body - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Fix alignment of mutex_t and cond_t type on 32-bit SPARC/Solaris [Ada] Fix alignment of mutex_t and cond_t type on 32-bit SPARC/Solaris - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Wrong value after assignment of overlain record objects [Ada] Wrong value after assignment of overlain record objects - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Spurious error on the placement of aspect Global [Ada] Spurious error on the placement of aspect Global - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Compiler failure on an extended_return_statement in a block [Ada] Compiler failure on an extended_return_statement in a block - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Spurious warning on iteration over range of 64-bit modular type [Ada] Spurious warning on iteration over range of 64-bit modular type - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Replace low-level calls to Ekind with high-level calls to Is_Formal [Ada] Replace low-level calls to Ekind with high-level calls to Is_Formal - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Deconstruct 'F' as a prefix for an ALI data [Ada] Deconstruct 'F' as a prefix for an ALI data - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Spurious error -- "allocation from empty storage pool" [Ada] Spurious error -- "allocation from empty storage pool" - - - - --- 2018-07-31 Pierre-Marie de Rodat New
[Ada] Spurious error on prefixed call in an instantiation [Ada] Spurious error on prefixed call in an instantiation - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Fix incompatibility Default_Scalar_Storage_Order/tagged types [Ada] Fix incompatibility Default_Scalar_Storage_Order/tagged types - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Use standard version of s-memory.adb for mingw32 [Ada] Use standard version of s-memory.adb for mingw32 - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Faulty ignored Ghost code removal [Ada] Faulty ignored Ghost code removal - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Configuration state not observed for instance bodies [Ada] Configuration state not observed for instance bodies - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Minor fix for imported C++ constructors [Ada] Minor fix for imported C++ constructors - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Assertion_Policy for class-wide precondition [Ada] Assertion_Policy for class-wide precondition - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Missing check on illegal equality operation in subprogram [Ada] Missing check on illegal equality operation in subprogram - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Crash processing abstract state aspect of a package [Ada] Crash processing abstract state aspect of a package - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Argument_String_To_List creates empty items from whitespace [Ada] Argument_String_To_List creates empty items from whitespace - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Spurious error on Part_Of indicator [Ada] Spurious error on Part_Of indicator - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Avoid confusing warning on exception propagation in GNATprove mode [Ada] Avoid confusing warning on exception propagation in GNATprove mode - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Secondary stack leak in statements block located in a loop [Ada] Secondary stack leak in statements block located in a loop - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Add elaboration-related switches to GNAT UGN [Ada] Add elaboration-related switches to GNAT UGN - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] New ignored Ghost code removal mechanism [Ada] New ignored Ghost code removal mechanism - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Secondary stack leak in loop iterator [Ada] Secondary stack leak in loop iterator - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Fix Next_Actual when used on calls "inlined for proof" [Ada] Fix Next_Actual when used on calls "inlined for proof" - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Attach the special GNATprove HEAP entity to the Standard package [Ada] Attach the special GNATprove HEAP entity to the Standard package - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Spurious error on unused Part_Of constituent [Ada] Spurious error on unused Part_Of constituent - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Crash on case expression in build-in-place function [Ada] Crash on case expression in build-in-place function - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Missing error on hidden state in instantiation [Ada] Missing error on hidden state in instantiation - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Spurious error with null Abstract_State [Ada] Spurious error with null Abstract_State - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Deconstruct unused Withed_Body filed of N_With_Clause node [Ada] Deconstruct unused Withed_Body filed of N_With_Clause node - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Avoid crash when traversing units with -gnatd.WW debug switch [Ada] Avoid crash when traversing units with -gnatd.WW debug switch - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Deconstruct always-false calls to Withed_Body in Walk_Library_Items [Ada] Deconstruct always-false calls to Withed_Body in Walk_Library_Items - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Crash on Indefinite_Hashed_Maps with -gnata -gnateV [Ada] Crash on Indefinite_Hashed_Maps with -gnata -gnateV - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Spurious possible contraint error warning with No_Exception_Propagation [Ada] Spurious possible contraint error warning with No_Exception_Propagation - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Segmentation_Fault with Integer'Wide_Wide_Value [Ada] Segmentation_Fault with Integer'Wide_Wide_Value - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Bit_Order cannot be defined for record extensions [Ada] Bit_Order cannot be defined for record extensions - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Code cleanup on functions inlining [Ada] Code cleanup on functions inlining - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Crash processing sources under GNATprove debug mode [Ada] Crash processing sources under GNATprove debug mode - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Adjust inlining in GNATprove mode for predicate/invariant/DIC [Ada] Adjust inlining in GNATprove mode for predicate/invariant/DIC - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Violation of No_Standard_Allocators_After_Elaboration not detected [Ada] Violation of No_Standard_Allocators_After_Elaboration not detected - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Illegal deferred constant causes stack overflow [Ada] Illegal deferred constant causes stack overflow - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Adjust growth factor from 1/32 to 1/2 for Unbounded_String [Ada] Adjust growth factor from 1/32 to 1/2 for Unbounded_String - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Suppress the expansion of ignored assertion pragmas [Ada] Suppress the expansion of ignored assertion pragmas - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Double finalization of limited controlled result [Ada] Double finalization of limited controlled result - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Improve last exception info availability from C++ handlers [Ada] Improve last exception info availability from C++ handlers - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Dangling cursor checks in Element function [Ada] Dangling cursor checks in Element function - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Mark parameters as coming from source for GNATprove [Ada] Mark parameters as coming from source for GNATprove - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Missing predicate function body for derived type in nested package [Ada] Missing predicate function body for derived type in nested package - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Reject violation of SPARK 6.1.4(12) with enclosing task unit [Ada] Reject violation of SPARK 6.1.4(12) with enclosing task unit - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Make GNAT.Array_Split a preelaborable unit [Ada] Make GNAT.Array_Split a preelaborable unit - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Crash on protected type entry family [Ada] Crash on protected type entry family - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Do not query the representation information in CodePeer/GNATprove [Ada] Do not query the representation information in CodePeer/GNATprove - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Mark extended return of unconstrained type as never inlined [Ada] Mark extended return of unconstrained type as never inlined - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Do not force Part_Of on generic units [Ada] Do not force Part_Of on generic units - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Don't split AND THEN expressions in GNATprove_Mode [Ada] Don't split AND THEN expressions in GNATprove_Mode - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Fix handling of Pre/Post contracts with AND THEN expressions [Ada] Fix handling of Pre/Post contracts with AND THEN expressions - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Wrong code in array aggregates of Ada coextensions [Ada] Wrong code in array aggregates of Ada coextensions - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Crash with Inline_Always on a function with an extended return [Ada] Crash with Inline_Always on a function with an extended return - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Performance degradation with references [Ada] Performance degradation with references - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Crash on instantiation of nested generic in private part [Ada] Crash on instantiation of nested generic in private part - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Static predicate check on characters of a string literal [Ada] Static predicate check on characters of a string literal - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Detect returning procedures annotated with No_Return [Ada] Detect returning procedures annotated with No_Return - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Fix __gnat_backtrace for VxWorks7 on x86 [Ada] Fix __gnat_backtrace for VxWorks7 on x86 - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Illegal copy of limited object [Ada] Illegal copy of limited object - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Update comment on __atomic_compare_exchange in s-atomic_primitives [Ada] Update comment on __atomic_compare_exchange in s-atomic_primitives - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Spurious tampering check failure [Ada] Spurious tampering check failure - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Simplify call to Unique_Defining_Entity on protected entry declarations [Ada] Simplify call to Unique_Defining_Entity on protected entry declarations - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Set Etype on rewriteen Max_Queue_Length expressions [Ada] Set Etype on rewriteen Max_Queue_Length expressions - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Post warning on object size clause for subtype [Ada] Post warning on object size clause for subtype - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Fix check on placement of multiple loop (in)variant pragmas [Ada] Fix check on placement of multiple loop (in)variant pragmas - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Posix 2008: reimplement System.OS_Primitives.Clock using clock_gettime [Ada] Posix 2008: reimplement System.OS_Primitives.Clock using clock_gettime - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Implement pragma Max_Entry_Queue_Depth [Ada] Implement pragma Max_Entry_Queue_Depth - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Extend the applicability of Thread_Local_Storage to composite types [Ada] Extend the applicability of Thread_Local_Storage to composite types - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Correctly ignore Assertion_Policy in modes CodePeer and GNATprove [Ada] Correctly ignore Assertion_Policy in modes CodePeer and GNATprove - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] ACATS 4.1G - CXAG003 - Name_Case_Equivalence doesn't exist [Ada] ACATS 4.1G - CXAG003 - Name_Case_Equivalence doesn't exist - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Add support for Define_Switch with a callback in GNAT.Command_Line [Ada] Add support for Define_Switch with a callback in GNAT.Command_Line - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Reuse Is_Rewrite_Substitution where possible [Ada] Reuse Is_Rewrite_Substitution where possible - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Simplify conditions by removing always true conjuncts [Ada] Simplify conditions by removing always true conjuncts - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Spurious error on legal synchronized constituent [Ada] Spurious error on legal synchronized constituent - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Secondary stack leak in "for X of ..." loops [Ada] Secondary stack leak in "for X of ..." loops - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Secondary stack implementation clean up [Ada] Secondary stack implementation clean up - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Adjust documentation of -gnatn switch [Ada] Adjust documentation of -gnatn switch - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Wrong equality on untagged private type [Ada] Wrong equality on untagged private type - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Plug small hole in -gnatR output [Ada] Plug small hole in -gnatR output - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Improper behavior of floating-point attributes [Ada] Improper behavior of floating-point attributes - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Add system-vxworks7 variants of system.ads files for Vx7 [Ada] Add system-vxworks7 variants of system.ads files for Vx7 - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Tighten crtbegin files for VxWorks [Ada] Tighten crtbegin files for VxWorks - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Adjustment of behavior of new -gnatRj switch [Ada] Adjustment of behavior of new -gnatRj switch - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Fix constraint error in Normalize_Pathname [Ada] Fix constraint error in Normalize_Pathname - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Enhance output of discriminants with -gnatR in JSON mode [Ada] Enhance output of discriminants with -gnatR in JSON mode - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Implement machine parsable format for -gnatR output [Ada] Implement machine parsable format for -gnatR output - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Factor out worker procedure for -gnatR [Ada] Factor out worker procedure for -gnatR - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Minor cleanup in repinfo unit [Ada] Minor cleanup in repinfo unit - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Fix irregular output with -gnatRm [Ada] Fix irregular output with -gnatRm - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Preliminary work to avoid full pathnames in ALI files [Ada] Preliminary work to avoid full pathnames in ALI files - - - - --- 2018-05-29 Pierre-Marie de Rodat New
« 1 2 ... 26 27 28 … 30 31 »