Show patches with: Submitter = Arnaud Charlet       |    State = Action Required       |    Archived = No       |   2459 patches
« 1 2 3 424 25 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Enforce check on wrong usage names in aspect definitions [Ada] Enforce check on wrong usage names in aspect definitions - - - - 0 0 0 2017-09-12 Arnaud Charlet New
[Ada] Ignore both Global and Refined_Global in CodePeer mode [Ada] Ignore both Global and Refined_Global in CodePeer mode - - - - 0 0 0 2017-09-12 Arnaud Charlet New
[Ada] Spurious warning in Containers.Bounded_Doubly_Linked_Lists [Ada] Spurious warning in Containers.Bounded_Doubly_Linked_Lists - - - - 0 0 0 2017-09-12 Arnaud Charlet New
[Ada] Initial implementation of safe pointer analysis in SPARK [Ada] Initial implementation of safe pointer analysis in SPARK - - - - 0 0 0 2017-09-12 Arnaud Charlet New
[Ada] Dynamically tagged expr of expr function is illegal [Ada] Dynamically tagged expr of expr function is illegal - - - - 0 0 0 2017-09-12 Arnaud Charlet New
[Ada] Another freezing issue on expression function in nested package [Ada] Another freezing issue on expression function in nested package - - - - 0 0 0 2017-09-11 Arnaud Charlet New
[Ada] Rename runtime variant files under libgnat [Ada] Rename runtime variant files under libgnat - - - - 0 0 0 2017-09-11 Arnaud Charlet New
[Ada] Rename runtime variant files under libgnarl [Ada] Rename runtime variant files under libgnarl - - - - 0 0 0 2017-09-11 Arnaud Charlet New
[Ada] Move non-tasking runtime sources to libgnat subdirectory [Ada] Move non-tasking runtime sources to libgnat subdirectory - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Extend efficient array reset to all elementary types [Ada] Extend efficient array reset to all elementary types - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] New pragma Ada_2020 [Ada] New pragma Ada_2020 - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] No room for new warning switches [Ada] No room for new warning switches - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Spurious error on formal package with Inline_Always [Ada] Spurious error on formal package with Inline_Always - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Missing error in function expressions [Ada] Missing error in function expressions - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Crash on string concatenation [Ada] Crash on string concatenation - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] T'Class'Input reading corrupted data [Ada] T'Class'Input reading corrupted data - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Compiler crash on mixed-case source file names [Ada] Compiler crash on mixed-case source file names - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] New debug switch -gnatdJ [Ada] New debug switch -gnatdJ - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Copy representation aspects from type to constrained subtype [Ada] Copy representation aspects from type to constrained subtype - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Infinite loop on call to nested subprogram with -gnatE in SPARK [Ada] Infinite loop on call to nested subprogram with -gnatE in SPARK - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Fix crash on expression function that is a completion [Ada] Fix crash on expression function that is a completion - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Generic dispatching constructors of limited interface types [Ada] Generic dispatching constructors of limited interface types - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Compiler crash on anonymous array with component with invariant [Ada] Compiler crash on anonymous array with component with invariant - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Subtype indications inherit predicates [Ada] Subtype indications inherit predicates - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Wrong interface tag visible through limited with clause [Ada] Wrong interface tag visible through limited with clause - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] PR ada/80888 Text_IO encoding should match source encoding [Ada] PR ada/80888 Text_IO encoding should match source encoding - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Implement extended version of -gnatR for record sub-components [Ada] Implement extended version of -gnatR for record sub-components - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Spurious error on actual array type in generic child instantiation. [Ada] Spurious error on actual array type in generic child instantiation. - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Failure to allocate on storage subpool [Ada] Failure to allocate on storage subpool - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Inheritance of Default_Iterator from interfaces [Ada] Inheritance of Default_Iterator from interfaces - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Do not generate .ali files for subunits [Ada] Do not generate .ali files for subunits - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Expand barrier conditions permitted by the restriction Pure_Barrier [Ada] Expand barrier conditions permitted by the restriction Pure_Barrier - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Infinite loop on an interface conversion involving private extensions. [Ada] Infinite loop on an interface conversion involving private extensions. - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Small fix for couple of internal glitches with record layout [Ada] Small fix for couple of internal glitches with record layout - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Use of renamings of function results in SPARK annotations [Ada] Use of renamings of function results in SPARK annotations - - - - 0 0 0 2017-09-08 Arnaud Charlet New
[Ada] Proper handling of dimension information in a type conversion. [Ada] Proper handling of dimension information in a type conversion. - - - - 0 0 0 2017-09-07 Arnaud Charlet New
[Ada] Return raise with access class-wide interface [Ada] Return raise with access class-wide interface - - - - 0 0 0 2017-09-07 Arnaud Charlet New
[Ada] Adding switch to disable implicit Elaborate_All in task case [Ada] Adding switch to disable implicit Elaborate_All in task case - - - - 0 0 0 2017-09-07 Arnaud Charlet New
[Ada] Spurious error in precondition and classwide parameter [Ada] Spurious error in precondition and classwide parameter - - - - 0 0 0 2017-09-07 Arnaud Charlet New
[Ada] Fix internal error on package instantiation and inlining [Ada] Fix internal error on package instantiation and inlining - - - - 0 0 0 2017-09-07 Arnaud Charlet New
[Ada] Fix handling of ghost entity in predicate [Ada] Fix handling of ghost entity in predicate - - - - 0 0 0 2017-09-07 Arnaud Charlet New
[Ada] Spurious errors on dynamic predicates and private declarations. [Ada] Spurious errors on dynamic predicates and private declarations. - - - - 0 0 0 2017-09-07 Arnaud Charlet New
[Ada] Avoid secondary stack for nondispatching build-in-place calls [Ada] Avoid secondary stack for nondispatching build-in-place calls - - - - 0 0 0 2017-09-07 Arnaud Charlet New
[Ada] Fix internal error on task allocation and inlining [Ada] Fix internal error on task allocation and inlining - - - - 0 0 0 2017-09-07 Arnaud Charlet New
[Ada] Finalization for b-i-p that raises exception [Ada] Finalization for b-i-p that raises exception - - - - 0 0 0 2017-09-07 Arnaud Charlet New
[Ada] Improved error message on malformed null procedure with aspect [Ada] Improved error message on malformed null procedure with aspect - - - - 0 0 0 2017-09-07 Arnaud Charlet New
[Ada] Wrong code on assignment of conditional expression to a mutable obkect [Ada] Wrong code on assignment of conditional expression to a mutable obkect - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Volatile component not treated as such [Ada] Volatile component not treated as such - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Spurious warning in formal package when use clause is present. [Ada] Spurious warning in formal package when use clause is present. - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Issue error message on invalid representation clause for extension [Ada] Issue error message on invalid representation clause for extension - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Reject invalid use of Global/Depends on object declaration [Ada] Reject invalid use of Global/Depends on object declaration - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Missing finalization of generalized indexed element [Ada] Missing finalization of generalized indexed element - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Handling of inherited and explicit postconditions [Ada] Handling of inherited and explicit postconditions - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Dimensional checking and generic subprograms [Ada] Dimensional checking and generic subprograms - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Time_IO.Value enhanced to parse ISO-8861 UTC date and time [Ada] Time_IO.Value enhanced to parse ISO-8861 UTC date and time - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Eliminate out-of-line body of local inlined subprograms [Ada] Eliminate out-of-line body of local inlined subprograms - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Crash when issuing warning on uninitialized value [Ada] Crash when issuing warning on uninitialized value - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Extension of 'Image in Ada2020 [Ada] Extension of 'Image in Ada2020 - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Derived iterable types with noniterable parent [Ada] Derived iterable types with noniterable parent - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Missing finalization of cursor in "of" iterator loop [Ada] Missing finalization of cursor in "of" iterator loop - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Better warning on access to string at negative or null index [Ada] Better warning on access to string at negative or null index - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] No_Return procedures in renaming declarations. [Ada] No_Return procedures in renaming declarations. - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Improve error message when function is used in a call statement [Ada] Improve error message when function is used in a call statement - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Crash on generic subprogram with aspect No_Return. [Ada] Crash on generic subprogram with aspect No_Return. - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Pragma No_Return on generic units [Ada] Pragma No_Return on generic units - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Restore original implementation of internal Table package [Ada] Restore original implementation of internal Table package - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Primitive functions that require one formal and return an array [Ada] Primitive functions that require one formal and return an array - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Inherited aspects that may be delayed in a parent type [Ada] Inherited aspects that may be delayed in a parent type - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Spurious errors on derived untagged types with partial constraints [Ada] Spurious errors on derived untagged types with partial constraints - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Minor cleanup in support machinery for inter-unit inlining [Ada] Minor cleanup in support machinery for inter-unit inlining - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Resolution of set membersip operations with overloaded alternatives [Ada] Resolution of set membersip operations with overloaded alternatives - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Enable automatic reordering of components in record types [Ada] Enable automatic reordering of components in record types - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Extension of 'Image in Ada2020. [Ada] Extension of 'Image in Ada2020. - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Spurious error with formal incomplete types [Ada] Spurious error with formal incomplete types - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Compiler crash on call to eliminated protected operation. [Ada] Compiler crash on call to eliminated protected operation. - - - - 0 0 0 2017-09-06 Arnaud Charlet New
[Ada] Reimplement layout of partially constrained derived untagged types - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Bug in handling of library-level freeze actions - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Missing error on T'Enum_Rep with no parameter - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] GNAT option to treat run-time exception warnings as errors - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Dispatching calls to renamed equality - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Move variable-length components to last position in record types - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Ceiling priorities off by one on Linux - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Warning on library-level objects that require dynamic allocation - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Optimization of fixed/fixed operations with compatible 'smalls. - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Crash on extended return of indefinite object - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Compile-time warnings for uninitialized null-excluding components - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Spurious error on aspect of a discriminated protected type - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Compiler loop on use of a faulty object in an address clause. - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Fix remaining warnings in compiler bootstrap #3 - - - - 0 0 0 2017-04-28 Arnaud Charlet New
[Ada] Info messages treated as errors with -gnatwe - - - - 0 0 0 2017-04-28 Arnaud Charlet New
[Ada] Fix remaining warnings in compiler bootstrap #2 - - - - 0 0 0 2017-04-28 Arnaud Charlet New
[Ada] Deadlock when protected procedure propagates an exception - - - - 0 0 0 2017-04-28 Arnaud Charlet New
[Ada] Freezing in expression function that is a completion. - - - - 0 0 0 2017-04-28 Arnaud Charlet New
[Ada] Fix some warnings in compiler bootstrap - - - - 0 0 0 2017-04-28 Arnaud Charlet New
[Ada] Give warnings on questionable layout of record types - - - - 0 0 0 2017-04-27 Arnaud Charlet New
[Ada] Class-wide preconditions in dispatching calls. - - - - 0 0 0 2017-04-27 Arnaud Charlet New
[Ada] Elaboration checks for dispatching calls - - - - 0 0 0 2017-04-27 Arnaud Charlet New
[Ada] Removal of elaboration-related flags for SPARK - - - - 0 0 0 2017-04-27 Arnaud Charlet New
[Ada] Fix evaluation of comparisons for GNATprove - - - - 0 0 0 2017-04-27 Arnaud Charlet New
[Ada] Provide extended contracts for formal vectors - - - - 0 0 0 2017-04-27 Arnaud Charlet New
« 1 2 3 424 25 »