Show patches with: State = Action Required       |    Archived = No       |   126610 patches
« 1 2 ... 338 339 340 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Fix ineffective -gnatyN for separate compilation units [Ada] Fix ineffective -gnatyN for separate compilation units - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Minor fixes mostly in comments of runtime arithmetic unit [Ada] Minor fixes mostly in comments of runtime arithmetic unit - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Fix possible suppressed overflows in arithmetic run-time [Ada] Fix possible suppressed overflows in arithmetic run-time - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Fix 32/64bit mistake on SYSTEM_INFO component in s-win32 [Ada] Fix 32/64bit mistake on SYSTEM_INFO component in s-win32 - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix errno for rename for the VxWorks 6 target [Ada] Fix errno for rename for the VxWorks 6 target - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Raise exception on call to Expect for a dead process [Ada] Raise exception on call to Expect for a dead process - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] No Storage_Error for an oversized disabled ghost array object [Ada] No Storage_Error for an oversized disabled ghost array object - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix style issues in functional maps [Ada] Fix style issues in functional maps - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Avoid uninitialized variable in bounded containers [Ada] Avoid uninitialized variable in bounded containers - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Skip entity name qualification in GNATprove mode [Ada] Skip entity name qualification in GNATprove mode - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Ensure that Scan_Real result does not depend on trailing zeros [Ada] Ensure that Scan_Real result does not depend on trailing zeros - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Factor out code for deciding statically known Constrained attributes [Ada] Factor out code for deciding statically known Constrained attributes - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix typo in error message [Ada] Fix typo in error message - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Code cleanup of alignment representation clauses in dispatch tables [Ada] Code cleanup of alignment representation clauses in dispatch tables - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning [Ada] Spurious ineffective use_clause warning - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Implement AI12-0086's rules for discriminants in aggregates [Ada] Implement AI12-0086's rules for discriminants in aggregates - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix sharing of expression in array aggregate with others choice [Ada] Fix sharing of expression in array aggregate with others choice - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Don't fail a front-end assertion if errors have already been detected [Ada] Don't fail a front-end assertion if errors have already been detected - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Crash on universal case expression in fixed-point division [Ada] Crash on universal case expression in fixed-point division - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix spurious alignment warning on simple address clause [Ada] Fix spurious alignment warning on simple address clause - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Missing accessibility check on discrim assignment [Ada] Missing accessibility check on discrim assignment - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Improve efficiency of copying bit-packed slices [Ada] Improve efficiency of copying bit-packed slices - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Avoid gnatbind regression caused by Copy_Bitfield [Ada] Avoid gnatbind regression caused by Copy_Bitfield - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Refine type of Get_Homonym_Number result [Ada] Refine type of Get_Homonym_Number result - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix portability issues in access to subprograms [Ada] Fix portability issues in access to subprograms - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Use static discriminant value for discriminated task record [Ada] Use static discriminant value for discriminated task record - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Crash on aggregate with dscriminant in if-expression as default [Ada] Crash on aggregate with dscriminant in if-expression as default - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Fix spurious type mismatch failure on nested instantiations [Ada] Fix spurious type mismatch failure on nested instantiations - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Get rid of useless temporary for slice in overaligned record type [Ada] Get rid of useless temporary for slice in overaligned record type - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Fix bogus "too late" error with nested generics and inlining [Ada] Fix bogus "too late" error with nested generics and inlining - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Remove duplicated routines for getting homonym number [Ada] Remove duplicated routines for getting homonym number - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Crash on predicate in full view in a generic unit [Ada] Crash on predicate in full view in a generic unit - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Fix bogus visibility error with nested generics and inlining [Ada] Fix bogus visibility error with nested generics and inlining - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Memory leak with 'Range of a function call in a loop [Ada] Memory leak with 'Range of a function call in a loop - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Emit DW_AT_GNU_bias with -fgnat-encodings=gdb [Ada] Emit DW_AT_GNU_bias with -fgnat-encodings=gdb - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Fix copy operation with private discriminated record type [Ada] Fix copy operation with private discriminated record type - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] gnatxref: infinite loop on symbols not found [Ada] gnatxref: infinite loop on symbols not found - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Improve handling of explicit by-reference mechanism [Ada] Improve handling of explicit by-reference mechanism - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Suppress GNAT FE up-level reference transformation for GNAT-LLVM [Ada] Suppress GNAT FE up-level reference transformation for GNAT-LLVM - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Disable inlining of traversal function in GNATprove [Ada] Disable inlining of traversal function in GNATprove - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Implement Machine_Rounding attribute in line when possible [Ada] Implement Machine_Rounding attribute in line when possible - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Streamline comparison for equality of 2-element arrays [Ada] Streamline comparison for equality of 2-element arrays - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Allow constants of access type in Global contracts [Ada] Allow constants of access type in Global contracts - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Fix run-time segfault with derived access-to-subprogram type [Ada] Fix run-time segfault with derived access-to-subprogram type - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Fix fallout of previous change for bit-packed arrays [Ada] Fix fallout of previous change for bit-packed arrays - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Accept concatentation arguments to pragma Annotate [Ada] Accept concatentation arguments to pragma Annotate - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Infinite loop with concatenation and aspect [Ada] Infinite loop with concatenation and aspect - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] New routine GNAT.Sockets.Create_Socket_Pair [Ada] New routine GNAT.Sockets.Create_Socket_Pair - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Use declared type for deciding on SPARK pointer rules [Ada] Use declared type for deciding on SPARK pointer rules - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Flag Sec_Stack_Used incorrectly set by ghost code [Ada] Flag Sec_Stack_Used incorrectly set by ghost code - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Generation of procedures for blocks occurring in elaboration code for LLVM [Ada] Generation of procedures for blocks occurring in elaboration code for LLVM - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Use declared type for deciding on SPARK pointer rules [Ada] Use declared type for deciding on SPARK pointer rules - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Spurious restriction violation on Ghost code [Ada] Spurious restriction violation on Ghost code - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Spurious visibility error in predicate in generic instance [Ada] Spurious visibility error in predicate in generic instance - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Assertion_Policy (Ignore) ignores invariants [Ada] Assertion_Policy (Ignore) ignores invariants - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Ensure constructor is a C++ constructor [Ada] Ensure constructor is a C++ constructor - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Do not inline subprograms with deep parameter/result in GNATprove [Ada] Do not inline subprograms with deep parameter/result in GNATprove - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Fix awkward placement of freeze node for actual subtype [Ada] Fix awkward placement of freeze node for actual subtype - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Spurious warning on call with out parameter in expression function [Ada] Spurious warning on call with out parameter in expression function - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Unnesting issues with entry families and accept statements [Ada] Unnesting issues with entry families and accept statements - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Spurious visibility error on formal package with Abstract_State [Ada] Spurious visibility error on formal package with Abstract_State - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Handling up-level references in loops within library-level declarations [Ada] Handling up-level references in loops within library-level declarations - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Plug minor loophole for integer named number [Ada] Plug minor loophole for integer named number - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] 'others' in conditional_expressions [Ada] 'others' in conditional_expressions - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Get rid of spurious error for _Tag on extension with reverse bit order [Ada] Get rid of spurious error for _Tag on extension with reverse bit order - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Fix inlining of subprograms with deep param/result in GNATprove [Ada] Fix inlining of subprograms with deep param/result in GNATprove - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type [Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] T'Size in pragma Compile_Time_Error [Ada] T'Size in pragma Compile_Time_Error - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Improve end of command line arguments detection [Ada] Improve end of command line arguments detection - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Compiler crash on prefix call in generic body [Ada] Compiler crash on prefix call in generic body - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Crash on Descriptor_Size attribute [Ada] Crash on Descriptor_Size attribute - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Use correct subtype for call to Last in formal vectors [Ada] Use correct subtype for call to Last in formal vectors - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Crash on use of Loop_Entry, Result, and Old as actuals [Ada] Crash on use of Loop_Entry, Result, and Old as actuals - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Constraint is ignored on constrained access record component [Ada] Constraint is ignored on constrained access record component - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Missing error on incorrect use of Result attribute [Ada] Missing error on incorrect use of Result attribute - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Missing length check on private type with unknown discriminants [Ada] Missing length check on private type with unknown discriminants - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Fix related to handling up-level references in protected entries [Ada] Fix related to handling up-level references in protected entries - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Fix wrong value of 'Size for slices of bit-packed arrays (2) [Ada] Fix wrong value of 'Size for slices of bit-packed arrays (2) - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Improved handling of circular compilation dependencies [Ada] Improved handling of circular compilation dependencies - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Implement AI12-0036 (a new legality check for instantiations) [Ada] Implement AI12-0036 (a new legality check for instantiations) - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Broken privacy on Controlled type extensions [Ada] Broken privacy on Controlled type extensions - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Tighten up semantic checking for protected subprogram declarations [Ada] Tighten up semantic checking for protected subprogram declarations - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Fix Global contract for the predefined Yield procedure [Ada] Fix Global contract for the predefined Yield procedure - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Handling up-level references in protected entries and freeze nodes [Ada] Handling up-level references in protected entries and freeze nodes - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Fix repeated words and typos in doc and comments [Ada] Fix repeated words and typos in doc and comments - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Implement AI12-0101 [Ada] Implement AI12-0101 - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Implement AI12-0109 (prohibit some "early" derivations) [Ada] Implement AI12-0109 (prohibit some "early" derivations) - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Spurious error on overriding controlled primitive [Ada] Spurious error on overriding controlled primitive - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Prevent inlining inside condition of while loop in GNATprove [Ada] Prevent inlining inside condition of while loop in GNATprove - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Deallocation of controlled type implementing interface types [Ada] Deallocation of controlled type implementing interface types - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Avoid spurious mismatch error of assertion policy in generics [Ada] Avoid spurious mismatch error of assertion policy in generics - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Adding support for unsupported type conversion in CCG [Ada] Adding support for unsupported type conversion in CCG - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Suppress Base_Address call on init of activation record components [Ada] Suppress Base_Address call on init of activation record components - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Pragma Linker_Section in subprogram instantiations in CCG [Ada] Pragma Linker_Section in subprogram instantiations in CCG - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Rtsfind: minor comment fixes [Ada] Rtsfind: minor comment fixes - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Fix support for > 24 hours image in Ada.Calendar.Formatting [Ada] Fix support for > 24 hours image in Ada.Calendar.Formatting - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Missing accessibility checks on conditionals [Ada] Missing accessibility checks on conditionals - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Up-level addressing problems with private tasks and selective accept procs [Ada] Up-level addressing problems with private tasks and selective accept procs - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Avoid spurious errors on Global/Depends in instantiations [Ada] Avoid spurious errors on Global/Depends in instantiations - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Detect illegal implicit type conversions [Ada] Detect illegal implicit type conversions - - - - --- 2019-12-13 Pierre-Marie de Rodat New
« 1 2 ... 338 339 340 … 1266 1267 »