Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   797 patches
« 1 2 3 47 8 »
Patch Series S/W/F Date Submitter Delegate State
gcc-changelog: enhance handling of renamings gcc-changelog: enhance handling of renamings 0 0 0 2020-05-27 Pierre-Marie de Rodat New
[2/2] gcc-changelog: handle entries with multi-line file lists [1/2] gcc-changelog: remove file descriptor leaks 0 0 0 2020-05-26 Pierre-Marie de Rodat New
[1/2] gcc-changelog: remove file descriptor leaks [1/2] gcc-changelog: remove file descriptor leaks 0 0 0 2020-05-26 Pierre-Marie de Rodat New
[Ada] Change pragma Compile_Time_Error to force compile-time evaluation [Ada] Change pragma Compile_Time_Error to force compile-time evaluation 0 0 0 2020-05-25 Pierre-Marie de Rodat New
[Ada] Fix spurious error on checking of null Abstract_State [Ada] Fix spurious error on checking of null Abstract_State 0 0 0 2020-05-25 Pierre-Marie de Rodat New
[Ada] Spurious accessibility error on return aggregate in GNATprove mode [Ada] Spurious accessibility error on return aggregate in GNATprove mode 0 0 0 2020-05-25 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 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] Fix three-letter typos like "sss" in comments and docs [Ada] Fix three-letter typos like "sss" in comments and docs 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] AI12-0282: shared variable control aspects on formal types [Ada] AI12-0282: shared variable control aspects on formal types 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Reserving switch d_K for known problem isssues detection [Ada] Reserving switch d_K for known problem isssues detection 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Document the introduction of the Object_Size attribute in Ada 2020 [Ada] Document the introduction of the Object_Size attribute in Ada 2020 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Wrong error on hidden must-override primitive [Ada] Wrong error on hidden must-override primitive 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Do not propagate Object_Size onto Size for composite types [Ada] Do not propagate Object_Size onto Size for composite types 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Bad "already use-visible" warning re: use in private part [Ada] Bad "already use-visible" warning re: use in private part 0 0 0 2019-12-18 Pierre-Marie de Rodat New
[Ada] Export the Ada version through the C interface [Ada] Export the Ada version through the C interface 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Fix couple of oversights in the implementation of AI12-0128 [Ada] Fix couple of oversights in the implementation of AI12-0128 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Suppress unused warnings in the presence of errors [Ada] Suppress unused warnings in the presence of errors 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Bad warning: Size in Compile_Time_Error in nested instance [Ada] Bad warning: Size in Compile_Time_Error in nested instance 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Better error message for "is null" subunit [Ada] Better error message for "is null" subunit 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Fully propagate representation aspects through renaming [Ada] Fully propagate representation aspects through renaming 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Expand renamings of subcomponents of an atomic or VFA object [Ada] Expand renamings of subcomponents of an atomic or VFA object 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Remove new strict-alignment check added by AI12-0001 [Ada] Remove new strict-alignment check added by AI12-0001 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Do not set a bogus Esize on subtype built for Component_Size clause [Ada] Do not set a bogus Esize on subtype built for Component_Size clause 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Validate_Access_Subprogram_Instance: check if not null types match [Ada] Validate_Access_Subprogram_Instance: check if not null types match 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Do not issue restriction violations on ignored ghost code [Ada] Do not issue restriction violations on ignored ghost code 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Implement RM C.6(19) clause entirely in the front-end [Ada] Implement RM C.6(19) clause entirely in the front-end 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Implement new legality rules introduced in C.6(13) by AI12-0128 [Ada] Implement new legality rules introduced in C.6(13) by AI12-0128 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Small consistency fix for Volatile_Full_Access objects [Ada] Small consistency fix for Volatile_Full_Access objects 0 0 0 2019-12-16 Pierre-Marie de Rodat New
[Ada] Better error message for aliased formal and atomic actual [Ada] Better error message for aliased formal and atomic actual 0 0 0 2019-12-13 Pierre-Marie de Rodat New
[Ada] Clear confusion about subcomponents of atomic object [Ada] Clear confusion about subcomponents of atomic object 0 0 0 2019-12-13 Pierre-Marie de Rodat New
[Ada] Spurious error on overriding controlled primitive [Ada] Spurious error on overriding controlled primitive 0 0 0 2019-12-13 Pierre-Marie de Rodat New
[Ada] Deallocation of controlled type implementing interface types [Ada] Deallocation of controlled type implementing interface types 0 0 0 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 0 0 0 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 0 0 0 2019-12-13 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] Prevent inlining inside condition of while loop in GNATprove [Ada] Prevent inlining inside condition of while loop in GNATprove 0 0 0 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 0 0 0 2019-12-13 Pierre-Marie de Rodat New
[Ada] Detect illegal implicit type conversions [Ada] Detect illegal implicit type conversions 0 0 0 2019-12-13 Pierre-Marie de Rodat New
[Ada] Implement AI12-0101 [Ada] Implement AI12-0101 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2019-12-13 Pierre-Marie de Rodat New
[Ada] Rtsfind: minor comment fixes [Ada] Rtsfind: minor comment fixes 0 0 0 2019-12-13 Pierre-Marie de Rodat New
[Ada] Implement AI12-0109 (prohibit some "early" derivations) [Ada] Implement AI12-0109 (prohibit some "early" derivations) 0 0 0 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 0 0 0 2019-12-13 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) 0 0 0 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 0 0 0 2019-12-12 Pierre-Marie de Rodat New
[Ada] Improved handling of circular compilation dependencies [Ada] Improved handling of circular compilation dependencies 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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) 0 0 0 2019-12-12 Pierre-Marie de Rodat New
[Ada] Broken privacy on Controlled type extensions [Ada] Broken privacy on Controlled type extensions 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2019-12-12 Pierre-Marie de Rodat New
[Ada] Improve end of command line arguments detection [Ada] Improve end of command line arguments detection 0 0 0 2019-12-12 Pierre-Marie de Rodat New
[Ada] Crash on Descriptor_Size attribute [Ada] Crash on Descriptor_Size attribute 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2019-12-12 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] 'others' in conditional_expressions [Ada] 'others' in conditional_expressions 0 0 0 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 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Ensure constructor is a C++ constructor [Ada] Ensure constructor is a C++ constructor 0 0 0 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 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] T'Size in pragma Compile_Time_Error [Ada] T'Size in pragma Compile_Time_Error 0 0 0 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 0 0 0 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 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Plug minor loophole for integer named number [Ada] Plug minor loophole for integer named number 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Spurious restriction violation on Ghost code [Ada] Spurious restriction violation on Ghost code 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Assertion_Policy (Ignore) ignores invariants [Ada] Assertion_Policy (Ignore) ignores invariants 0 0 0 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 0 0 0 2019-10-10 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 0 0 0 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 0 0 0 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 0 0 0 2019-10-10 Pierre-Marie de Rodat New
[Ada] Implement Machine_Rounding attribute in line when possible [Ada] Implement Machine_Rounding attribute in line when possible 0 0 0 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 0 0 0 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 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Improve handling of explicit by-reference mechanism [Ada] Improve handling of explicit by-reference mechanism 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 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 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] gnatxref: infinite loop on symbols not found [Ada] gnatxref: infinite loop on symbols not found 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Infinite loop with concatenation and aspect [Ada] Infinite loop with concatenation and aspect 0 0 0 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 0 0 0 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 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Accept concatentation arguments to pragma Annotate [Ada] Accept concatentation arguments to pragma Annotate 0 0 0 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 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Disable inlining of traversal function in GNATprove [Ada] Disable inlining of traversal function in GNATprove 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Remove duplicated routines for getting homonym number [Ada] Remove duplicated routines for getting homonym number 0 0 0 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 0 0 0 2019-09-19 Pierre-Marie de Rodat New
[Ada] Fix spurious type mismatch failure on nested instantiations [Ada] Fix spurious type mismatch failure on nested instantiations 0 0 0 2019-09-19 Pierre-Marie de Rodat New
« 1 2 3 47 8 »