Show patches with: Submitter = Pierre-Marie de Rodat       |    State = Action Required       |    Archived = No       |   3078 patches
« 1 2 ... 3 4 5 … 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Fix internal error on iterated array aggregate [Ada] Fix internal error on iterated array aggregate - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Accept calls to abstract subprograms in class-wide pre/post-conditions [Ada] Accept calls to abstract subprograms in class-wide pre/post-conditions - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Fix internal error on mix of controlled and protected types [Ada] Fix internal error on mix of controlled and protected types - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Fix internal error on predicate aspect with iterator [Ada] Fix internal error on predicate aspect with iterator - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Implement component finalization ordering rules for type extensions [Ada] Implement component finalization ordering rules for type extensions - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Remove duplicated detection of user-defined equality [Ada] Remove duplicated detection of user-defined equality - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Improve building of untagged equality [Ada] Improve building of untagged equality - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Map gnatlib-shared to gnatlib-shared-dual for aarch64-vx7r2 [Ada] Map gnatlib-shared to gnatlib-shared-dual for aarch64-vx7r2 - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Couple of small consistency tweaks [Ada] Couple of small consistency tweaks - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Fix spurious error on limited view with incomplete type [Ada] Fix spurious error on limited view with incomplete type - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Pick volatile refinement property of a subtype from its base type [Ada] Pick volatile refinement property of a subtype from its base type - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Clarify code for detecting volatile refinement properties [Ada] Clarify code for detecting volatile refinement properties - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Remove duplicated code for detecting enabled pragmas [Ada] Remove duplicated code for detecting enabled pragmas - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Fix incorrect call to inherited function with limited return type [Ada] Fix incorrect call to inherited function with limited return type - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Storage_Model_Object fails to return object entity [Ada] Storage_Model_Object fails to return object entity - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Only use alternate stack when needed [Ada] Only use alternate stack when needed - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Extend hardcfr testing (documentation) [Ada] Extend hardcfr testing (documentation) - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] CUDA: use binder to generate kernel-registration code [Ada] CUDA: use binder to generate kernel-registration code - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Fix iterated component association for array aggregate [Ada] Fix iterated component association for array aggregate - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Simplify helper units for formal hashed sets/maps [Ada] Simplify helper units for formal hashed sets/maps - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Ada ABI change when building with assertions [Ada] Ada ABI change when building with assertions - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Take into account GNSA_ROOT env var for prefix [Ada] Take into account GNSA_ROOT env var for prefix - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Handle IN iterator for class-wide derived object of iterator type [Ada] Handle IN iterator for class-wide derived object of iterator type - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Facilitate proof of Overwrite in bounded strings library [Ada] Facilitate proof of Overwrite in bounded strings library - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Fix code example on representation clause [Ada] Fix code example on representation clause - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Do not overwrite limited view of result type [Ada] Do not overwrite limited view of result type - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Wrong address for class-wide interface access conversion [Ada] Wrong address for class-wide interface access conversion - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Crash in task body reference to discriminant [Ada] Crash in task body reference to discriminant - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Improve expected type error messages [Ada] Improve expected type error messages - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Document control flow redundancy [Ada] Document control flow redundancy - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Fix compiler crash on FOR iteration scheme over container [Ada] Fix compiler crash on FOR iteration scheme over container - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Remove obsolete uses of Unchecked_Conversion from Ada 83 [Ada] Remove obsolete uses of Unchecked_Conversion from Ada 83 - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Remove obsolete uses of Unchecked_Deallocation from Ada 83 [Ada] Remove obsolete uses of Unchecked_Deallocation from Ada 83 - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Fix the Ada 2022 iterated component association RM reference [Ada] Fix the Ada 2022 iterated component association RM reference - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Spurious access error in function returning type with access discriminant [Ada] Spurious access error in function returning type with access discriminant - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Accept effectively volatile components in actuals [Ada] Accept effectively volatile components in actuals - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Remove redundant guard in checks for volatile actuals [Ada] Remove redundant guard in checks for volatile actuals - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Ineffective use type clause warnings cause compile time crash [Ada] Ineffective use type clause warnings cause compile time crash - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Skip postponed validation checks with compilation errors [Ada] Skip postponed validation checks with compilation errors - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Restore double quotes in debug printouts [Ada] Restore double quotes in debug printouts - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Reuse collective subtype for comparison operators where possible [Ada] Reuse collective subtype for comparison operators where possible - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Remove unreferenced Is_Selector_Name routine [Ada] Remove unreferenced Is_Selector_Name routine - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Add more dummy names in Sem_Warn.Has_Junk_Name [Ada] Add more dummy names in Sem_Warn.Has_Junk_Name - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Fix warning about generic subprograms withed but not referenced [Ada] Fix warning about generic subprograms withed but not referenced - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Fix warning about generic subprograms withed but not instantiated [Ada] Fix warning about generic subprograms withed but not instantiated - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Remove useless pragma Warnings Off from runtime units [Ada] Remove useless pragma Warnings Off from runtime units - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Do not issue a warning on a postcondition of True or False [Ada] Do not issue a warning on a postcondition of True or False - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Make debug printouts more robust [Ada] Make debug printouts more robust - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Add ghost code to facilitate proof with SPARK [Ada] Add ghost code to facilitate proof with SPARK - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Remove use of use-clauses in loaded runtime units [Ada] Remove use of use-clauses in loaded runtime units - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Fix support for ISO-8859-15 and IBM CP 850 encoding [Ada] Fix support for ISO-8859-15 and IBM CP 850 encoding - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Remove redundant guard against Any_String [Ada] Remove redundant guard against Any_String - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Accept raise expressions as operands of boolean operators [Ada] Accept raise expressions as operands of boolean operators - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Plug loophole in Possible_Type_For_Conditional_Expression [Ada] Plug loophole in Possible_Type_For_Conditional_Expression - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Adapt CodePeer analysis of GNAT to changes in dependencies [Ada] Adapt CodePeer analysis of GNAT to changes in dependencies - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Revamp analysis of conditional expressions [Ada] Revamp analysis of conditional expressions - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Rewrite Sem_Ch4.Find_Boolean_Types [Ada] Rewrite Sem_Ch4.Find_Boolean_Types - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Introduce hardbool Machine_Attribute for Ada [Ada] Introduce hardbool Machine_Attribute for Ada - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Fix scope of block in expanded protected entry body [Ada] Fix scope of block in expanded protected entry body - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Fix style checking rule for square brackets in Ada 2022 and above [Ada] Fix style checking rule for square brackets in Ada 2022 and above - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Fix typos in syntax for implementation-defined pragmas [Ada] Fix typos in syntax for implementation-defined pragmas - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Reuse generic string hash for invocation signatures [Ada] Reuse generic string hash for invocation signatures - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Document Aggregate_Individually_Assign as a configuration pragma [Ada] Document Aggregate_Individually_Assign as a configuration pragma - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Sort Detect_Blocking alphabetically among names and pragmas [Ada] Sort Detect_Blocking alphabetically among names and pragmas - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix Compile_Time_(Error|Warning) as non-configuration pragmas [Ada] Fix Compile_Time_(Error|Warning) as non-configuration pragmas - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Correctly reject record aggregate using brackets [Ada] Correctly reject record aggregate using brackets - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix unbalanced paren in documentation marker for GNAT Studio [Ada] Fix unbalanced paren in documentation marker for GNAT Studio - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix spurious ambiguity for if_expression containing operator [Ada] Fix spurious ambiguity for if_expression containing operator - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Do not create useless itype in Constrain_Access [Ada] Do not create useless itype in Constrain_Access - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Detect infinite loops with operators in exit conditions [Ada] Detect infinite loops with operators in exit conditions - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Adapt proof of System.Arith_Double after update of Z3 [Ada] Adapt proof of System.Arith_Double after update of Z3 - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Update categorization of implementation restrictions [Ada] Update categorization of implementation restrictions - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix "S p e c" and "B o d y" file headers [Ada] Fix "S p e c" and "B o d y" file headers - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Add SUSE 32bit dependency [Ada] Add SUSE 32bit dependency - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix formatting glitches in GNAT User's Guide [Ada] Fix formatting glitches in GNAT User's Guide - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Use pygments for Ada code examples of elaboration control [Ada] Use pygments for Ada code examples of elaboration control - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Excess finalization on assignment with target name symbol [Ada] Excess finalization on assignment with target name symbol - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] fix crash on Secondary_Stack_Size with discriminant [Ada] fix crash on Secondary_Stack_Size with discriminant - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Reset Reachable field when mutating label into loop entity [Ada] Reset Reachable field when mutating label into loop entity - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix layout of tables in PDF version of GNAT RM [Ada] Fix layout of tables in PDF version of GNAT RM - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix layout in description of aspects and pragmas [Ada] Fix layout in description of aspects and pragmas - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix markup in description of implementation-defined characteristics [Ada] Fix markup in description of implementation-defined characteristics - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Fix markup in description of pragma Eliminate [Ada] Fix markup in description of pragma Eliminate - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Add guard for making only legal labels unreachable [Ada] Add guard for making only legal labels unreachable - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Properly reject unsupported address specifications [Ada] Properly reject unsupported address specifications - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Move Reachable flag to E_Label entities [Ada] Move Reachable flag to E_Label entities - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Set_Is_Known_Valid only if Safe_To_Capture_Value [Ada] Set_Is_Known_Valid only if Safe_To_Capture_Value - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Avoid crash for -gnatR -gnatc [Ada] Avoid crash for -gnatR -gnatc - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Optimize nonstandard boolean validity checking [Ada] Optimize nonstandard boolean validity checking - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Optimize nonstandard boolean conversions [Ada] Optimize nonstandard boolean conversions - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Handle non-standard booleans in if_expression condition [Ada] Handle non-standard booleans in if_expression condition - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Incorrect ineffective use type clause warning [Ada] Incorrect ineffective use type clause warning - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Simplify call to overloaded Earlier_In_Extended_Unit [Ada] Simplify call to overloaded Earlier_In_Extended_Unit - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Remove repeated conversions between Source_Ptr and Int [Ada] Remove repeated conversions between Source_Ptr and Int - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Reuse Is_Rewrite_Substitution where possible [Ada] Reuse Is_Rewrite_Substitution where possible - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Cleanup detection of No_Elist with No and Present [Ada] Cleanup detection of No_Elist with No and Present - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Prevent search for references in postconditions from going too far [Ada] Prevent search for references in postconditions from going too far - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Remove tiny and incomplete optimization for unset references [Ada] Remove tiny and incomplete optimization for unset references - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Cleanup unnecessary declare block in Check_Unreachable_Code [Ada] Cleanup unnecessary declare block in Check_Unreachable_Code - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Refine iteration from entities to formals [Ada] Refine iteration from entities to formals - - - - --- 2022-05-10 Pierre-Marie de Rodat New
« 1 2 ... 3 4 5 … 30 31 »