Show patches with: State = Action Required       |    Archived = No       |   19878 patches
« 1 2 ... 161 162 163198 199 »
Patch Series S/W/F Date Submitter Delegate State
[Ada] More complete information level for -gnatR4 output [Ada] More complete information level for -gnatR4 output 0 0 0 2019-08-21 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] Missing tagged type decoration in corresponding record subtypes [Ada] Missing tagged type decoration in corresponding record subtypes 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Missing runtime range checks with -gnatVa [Ada] Missing runtime range checks with -gnatVa 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Missing range check on assignment to bit-packed array [Ada] Missing range check on assignment to bit-packed array 0 0 0 2019-07-05 Pierre-Marie de Rodat New
[Ada] Missing propagation of Has_Predicates in cloned subtypes [Ada] Missing propagation of Has_Predicates in cloned subtypes 0 0 0 2019-09-17 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 0 0 0 2018-06-11 Pierre-Marie de Rodat New
[Ada] Missing predicate check on return value [Ada] Missing predicate check on return value 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Missing predicate check on declaration with aggregate expression [Ada] Missing predicate check on declaration with aggregate expression 0 0 0 2018-12-11 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 0 0 0 2019-12-12 Pierre-Marie de Rodat New
[Ada] Missing legality check on iterator over formal container [Ada] Missing legality check on iterator over formal container 0 0 0 2018-05-23 Pierre-Marie de Rodat New
[Ada] Missing implicit interface type conversion [Ada] Missing implicit interface type conversion 0 0 0 2019-07-10 Pierre-Marie de Rodat New
[Ada] Missing front-end code for constraint checks on fixed point exprs [Ada] Missing front-end code for constraint checks on fixed point exprs 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Missing finalization of private protected type [Ada] Missing finalization of private protected type 0 0 0 2019-07-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] Missing escape of the double quote in JSON output [Ada] Missing escape of the double quote in JSON output 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Missing errors on aspect checking [Ada] Missing errors on aspect checking 0 0 0 2020-06-15 Pierre-Marie de Rodat New
[Ada] Missing error on operator call [Ada] Missing error on operator call 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Missing error on non-limited derived type with limited component [Ada] Missing error on non-limited derived type with limited component 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Missing error on incorrect use of Result attribute [Ada] Missing error on incorrect use of Result attribute 0 0 0 2019-12-12 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] 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] Missing error on illegal access to discriminant [Ada] Missing error on illegal access to discriminant 0 0 0 2018-05-24 Pierre-Marie de Rodat New
[Ada] Missing error on hidden state in instantiation [Ada] Missing error on hidden state in instantiation 0 0 0 2018-07-16 Pierre-Marie de Rodat New
[Ada] Missing error on generic type with representation clause [Ada] Missing error on generic type with representation clause 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Missing error on aspects Input and Output [Ada] Missing error on aspects Input and Output 0 0 0 2020-06-18 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] Missing constraint check on if-expression returning a string [Ada] Missing constraint check on if-expression returning a string 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Missing consistency check for constant modifier [Ada] Missing consistency check for constant modifier 0 0 0 2019-07-03 Pierre-Marie de Rodat New
[Ada] Missing check on private overriding of dispatching primitive [Ada] Missing check on private overriding of dispatching primitive 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Missing check on outbound parameter of a non-null access type [Ada] Missing check on outbound parameter of a non-null access type 0 0 0 2019-08-12 Pierre-Marie de Rodat New
[Ada] Missing check on illegal equality operation in subprogram [Ada] Missing check on illegal equality operation in subprogram 0 0 0 2018-07-17 Pierre-Marie de Rodat New
[Ada] Missing check on if-expression [Ada] Missing check on if-expression 0 0 0 2018-12-03 Pierre-Marie de Rodat New
[Ada] Missing attribute update in new_copy_tree [Ada] Missing attribute update in new_copy_tree 0 0 0 2019-08-21 Pierre-Marie de Rodat New
[Ada] Missing actual for generated initialization procedure [Ada] Missing actual for generated initialization procedure 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Missing accessibility error on object in type conversion [Ada] Missing accessibility error on object in type conversion 0 0 0 2020-06-11 Pierre-Marie de Rodat New
[Ada] Missing accessibility checks on conditionals [Ada] Missing accessibility checks on conditionals 0 0 0 2019-12-13 Pierre-Marie de Rodat New
[Ada] Missing accessibility check on discrim assignment [Ada] Missing accessibility check on discrim assignment 0 0 0 2019-09-18 Pierre-Marie de Rodat New
[Ada] Missing accessibility check on access discriminants [Ada] Missing accessibility check on access discriminants 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Missing accessibility check on access discriminant in extended return [Ada] Missing accessibility check on access discriminant in extended return 0 0 0 2020-06-04 Pierre-Marie de Rodat New
[Ada] Missing accessibility actuals on calls to interface conversion functions [Ada] Missing accessibility actuals on calls to interface conversion functions 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Misplace of internal master renaming declaration [Ada] Misplace of internal master renaming declaration 0 0 0 2020-07-16 Pierre-Marie de Rodat New
[Ada] Misleading warning on variable not assigned [Ada] Misleading warning on variable not assigned 0 0 0 2019-07-22 Pierre-Marie de Rodat New
[Ada] Misleading warning on unresolvable package name [Ada] Misleading warning on unresolvable package name 0 0 0 2018-05-28 Pierre-Marie de Rodat New
[Ada] Minor tweak to output of -gnatR [Ada] Minor tweak to output of -gnatR 0 0 0 2018-05-28 Pierre-Marie de Rodat New
[Ada] Minor tweak to -gnatR output [Ada] Minor tweak to -gnatR output 0 0 0 2019-07-23 Pierre-Marie de Rodat New
[Ada] Minor tweak to default_pass_by_ref [Ada] Minor tweak to default_pass_by_ref 0 0 0 2017-12-14 Eric Botcazou New
[Ada] Minor tweaks to gnat.dg testsuite [Ada] Minor tweaks to gnat.dg testsuite 0 0 0 2018-02-16 Eric Botcazou New
[Ada] Minor tweaks in gigi [Ada] Minor tweaks in gigi 0 0 0 2018-06-12 Eric Botcazou New
[Ada] Minor tweak for coverage [Ada] Minor tweak for coverage 0 0 0 2019-08-30 Eric Botcazou New
[Ada] Minor fix for imported C++ constructors [Ada] Minor fix for imported C++ constructors 0 0 0 2018-07-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 0 0 0 2019-09-17 Pierre-Marie de Rodat New
[Ada] Minor cleanup in repinfo unit [Ada] Minor cleanup in repinfo unit 0 0 0 2018-05-28 Pierre-Marie de Rodat New
[Ada] Minor cleanup in repinfo unit [Ada] Minor cleanup in repinfo unit 0 0 0 2018-05-29 Pierre-Marie de Rodat New
[Ada] Minor cleanup in Expand_Call_Helper [Ada] Minor cleanup in Expand_Call_Helper 0 0 0 2020-06-18 Pierre-Marie de Rodat New
[Ada] Minor change to comment in System.Regexp spec [Ada] Minor change to comment in System.Regexp spec 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Minor casing of " The " after a comma in docs and comments [Ada] Minor casing of " The " after a comma in docs and comments 0 0 0 2020-06-16 Pierre-Marie de Rodat New
[Ada] Minimal binder [Ada] Minimal binder 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Mimic the C++ ABI when passing class-wide conversion actuals [Ada] Mimic the C++ ABI when passing class-wide conversion actuals 0 0 0 2018-09-26 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 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Memory leak mixing limited and nonlimited functions [Ada] Memory leak mixing limited and nonlimited functions 0 0 0 2018-05-24 Pierre-Marie de Rodat New
[Ada] Memory corruption when using formal hashed sets or maps [Ada] Memory corruption when using formal hashed sets or maps 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Membership test of class-wide interface [Ada] Membership test of class-wide interface 0 0 0 2018-05-25 Pierre-Marie de Rodat New
[Ada] Membership test against a non-excluding subtype [Ada] Membership test against a non-excluding subtype 0 0 0 2020-06-09 Pierre-Marie de Rodat New
[Ada] Max_Entry_Queue_Length aspect for protected entries [Ada] Max_Entry_Queue_Length aspect for protected entries 0 0 0 2019-08-21 Pierre-Marie de Rodat New
[Ada] Mark standard containers as not in SPARK [Ada] Mark standard containers as not in SPARK 0 0 0 2020-07-15 Pierre-Marie de Rodat New
[Ada] Mark parameters as coming from source for GNATprove [Ada] Mark parameters as coming from source for GNATprove 0 0 0 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 0 0 0 2018-06-11 Pierre-Marie de Rodat New
[Ada] Management of internal data structures in Sem_Elab [Ada] Management of internal data structures in Sem_Elab 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Make the Has_Dynamic_Range_Check flag obsolete [Ada] Make the Has_Dynamic_Range_Check flag obsolete 0 0 0 2020-06-05 Pierre-Marie de Rodat New
[Ada] Make sure subprogram locus is initialized [Ada] Make sure subprogram locus is initialized 0 0 0 2017-12-13 Eric Botcazou New
[Ada] Make Object Specific Dispatch tables constant [Ada] Make Object Specific Dispatch tables constant 0 0 0 2020-06-11 Pierre-Marie de Rodat New
[Ada] Make middle-end string literals NUL terminated [Ada] Make middle-end string literals NUL terminated 0 0 0 2018-07-31 Bernd Edlinger New
[Ada] Make Max_Sensible_Delay uniform across all Posix targets [Ada] Make Max_Sensible_Delay uniform across all Posix targets 0 0 0 2018-05-25 Pierre-Marie de Rodat New
[Ada] Make loop labels unique for front-end inlined calls [Ada] Make loop labels unique for front-end inlined calls 0 0 0 2019-07-03 Pierre-Marie de Rodat New
[Ada] Make -gnatRj output strictly conforming JSON [Ada] Make -gnatRj output strictly conforming JSON 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Make GNAT.Array_Split a preelaborable unit [Ada] Make GNAT.Array_Split a preelaborable unit 0 0 0 2018-06-11 Pierre-Marie de Rodat New
[Ada] Makefile patches from initial RISC-V cross/native build. [Ada] Makefile patches from initial RISC-V cross/native build. 0 0 0 2018-07-05 Jim Wilson New
[Ada] Make clockid_t type public on GNU/kFreeBSD [Ada] Make clockid_t type public on GNU/kFreeBSD 0 0 0 2019-07-03 James Clarke New
[Ada] Link failure with call to expression function in precondition [Ada] Link failure with call to expression function in precondition 0 0 0 2020-06-15 Pierre-Marie de Rodat New
[Ada] Link error due to negated intrinsic comparison [Ada] Link error due to negated intrinsic comparison 0 0 0 2019-07-11 Pierre-Marie de Rodat New
[Ada] Lingering loop for ignored Ghost assignment [Ada] Lingering loop for ignored Ghost assignment 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Limited function violates No_Exception_Propagation [Ada] Limited function violates No_Exception_Propagation 0 0 0 2018-11-14 Pierre-Marie de Rodat New
[Ada] Lift restriction on instantiations that are compilation units [Ada] Lift restriction on instantiations that are compilation units 0 0 0 2019-08-19 Pierre-Marie de Rodat New
[Ada] Legality rule on ancestors of type extensions in generic bodies [Ada] Legality rule on ancestors of type extensions in generic bodies 0 0 0 2019-08-13 Pierre-Marie de Rodat New
[Ada] Legality of protected subp. implementing interface operations [Ada] Legality of protected subp. implementing interface operations 0 0 0 2019-08-19 Pierre-Marie de Rodat New
[Ada] Keep assertions in internal units enabled for GNATprove [Ada] Keep assertions in internal units enabled for GNATprove 0 0 0 2019-07-04 Pierre-Marie de Rodat New
[Ada] Iterators are view-specific [Ada] Iterators are view-specific 0 0 0 2019-07-23 Pierre-Marie de Rodat New
[Ada] Iterate with procedural versions of Next_... routines where possible [Ada] Iterate with procedural versions of Next_... routines where possible 0 0 0 2020-06-03 Pierre-Marie de Rodat New
[Ada] Iterate with procedural version of Next routine where possible [Ada] Iterate with procedural version of Next routine where possible 0 0 0 2020-06-11 Pierre-Marie de Rodat New
[Ada] Issue with unnesting of 'First/Last and renaming [Ada] Issue with unnesting of 'First/Last and renaming 0 0 0 2020-06-08 Pierre-Marie de Rodat New
[Ada] Issue warning or error message on ignored typing constraint [Ada] Issue warning or error message on ignored typing constraint 0 0 0 2019-07-22 Pierre-Marie de Rodat New
[Ada] Issue info message on inlined subprograms in GNATprove mode [Ada] Issue info message on inlined subprograms in GNATprove mode 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Issue error on SPARK ownership rule violation [Ada] Issue error on SPARK ownership rule violation 0 0 0 2019-07-23 Pierre-Marie de Rodat New
[Ada] Issue error on illegal ownership in SPARK [Ada] Issue error on illegal ownership in SPARK 0 0 0 2019-07-09 Pierre-Marie de Rodat New
[Ada] Introduce -gnatd_A to set Opt.Disable_ALI_File [Ada] Introduce -gnatd_A to set Opt.Disable_ALI_File 0 0 0 2018-09-26 Pierre-Marie de Rodat New
[Ada] Internal error on iterator for limited private discriminated type [Ada] Internal error on iterator for limited private discriminated type 0 0 0 2019-07-22 Pierre-Marie de Rodat New
[Ada] Internal error on inlined renaming of subprogram instance [Ada] Internal error on inlined renaming of subprogram instance 0 0 0 2018-10-09 Pierre-Marie de Rodat New
[Ada] Internal crash on illegal renaming [Ada] Internal crash on illegal renaming 0 0 0 2019-07-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
« 1 2 ... 161 162 163198 199 »