Show patches with: Submitter = Pierre-Marie de Rodat       |    Archived = No       |   3078 patches
« 1 2 ... 28 29 30 31 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Robustify traceback caching for executable in current dir [Ada] Robustify traceback caching for executable in current dir - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Remove External aspect from predefined abstract states [Ada] Remove External aspect from predefined abstract states - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Spurious error in inlining for GNATprove on prefix call notation [Ada] Spurious error in inlining for GNATprove on prefix call notation - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Spurious error on synchronous refinement [Ada] Spurious error on synchronous refinement - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Crash on incorrect frontend inlining in GNATprove mode [Ada] Crash on incorrect frontend inlining in GNATprove mode - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Tighten Object_Reader.Get_Memory_Bounds [Ada] Tighten Object_Reader.Get_Memory_Bounds - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Robustify traceback symbolization from dwarf info [Ada] Robustify traceback symbolization from dwarf info - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Propagate load addresses for traceback cache on Linux [Ada] Propagate load addresses for traceback cache on Linux - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Only allow Has_Discriminants on type entities [Ada] Only allow Has_Discriminants on type entities - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Extend legality of Scalar_Storage_Order to formal types [Ada] Extend legality of Scalar_Storage_Order to formal types - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Premature secondary stack reclamation [Ada] Premature secondary stack reclamation - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[PR84213] DWARF: no location for non-definition DECLs with non-trivial DECL_VALUE_EXPR [PR84213] DWARF: no location for non-definition DECLs with non-trivial DECL_VALUE_EXPR - - - - --- 2018-02-09 Pierre-Marie de Rodat New
[Ada] Warning on out-of-range value for default-initialized scalar object [Ada] Warning on out-of-range value for default-initialized scalar object - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Crash on build-in-place call with address specification for target [Ada] Crash on build-in-place call with address specification for target - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Allow uses of range utility routines on private types [Ada] Allow uses of range utility routines on private types - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Prohibit concurrent types in Ghost regions [Ada] Prohibit concurrent types in Ghost regions - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Detection of illegal constituent assignments [Ada] Detection of illegal constituent assignments - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] No error on missing enclosing parentheses in Expression Function [Ada] No error on missing enclosing parentheses in Expression Function - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Missing diagnostic of categorization dependency [Ada] Missing diagnostic of categorization dependency - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Incorrect diagnostic on illegal with clause [Ada] Incorrect diagnostic on illegal with clause - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Spurious error on referene to subcoponrnt in dynamic predicate [Ada] Spurious error on referene to subcoponrnt in dynamic predicate - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Secondary stack leaks during object initialization [Ada] Secondary stack leaks during object initialization - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Null procedures not allowed in protected definitions [Ada] Null procedures not allowed in protected definitions - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] gnatbind -f switch gives an error for duplicates [Ada] gnatbind -f switch gives an error for duplicates - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Crash on expression function as completion, with implicit dereference [Ada] Crash on expression function as completion, with implicit dereference - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Warning on use of predefined operations on an actual fixed-point type [Ada] Warning on use of predefined operations on an actual fixed-point type - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Annotate standard File_Type with Default_Initial_Condition (for SPARK) [Ada] Annotate standard File_Type with Default_Initial_Condition (for SPARK) - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] New implementation for Normalize_Pathname [Ada] New implementation for Normalize_Pathname - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Secondary stack leak due to controlled component [Ada] Secondary stack leak due to controlled component - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Handling of pragma Predicate [Ada] Handling of pragma Predicate - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Different runtime behavior of Predicate_Failure [Ada] Different runtime behavior of Predicate_Failure - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Integer overflow in SS_Allocate [Ada] Integer overflow in SS_Allocate - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Illegal protected calls in inherited pre/postconditions [Ada] Illegal protected calls in inherited pre/postconditions - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Encoding of with clauses in ALI files [Ada] Encoding of with clauses in ALI files - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Finding proper scope when inside entry body [Ada] Finding proper scope when inside entry body - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Aspect/pragma Secondary_Stack_Size can evaluate non-literals as zero [Ada] Aspect/pragma Secondary_Stack_Size can evaluate non-literals as zero - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Missing finalization in case expression [Ada] Missing finalization in case expression - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Crash on iterated_component_association in expression function [Ada] Crash on iterated_component_association in expression function - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Wrong column in sloc of "expect name" error for loop variant [Ada] Wrong column in sloc of "expect name" error for loop variant - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Inconsistent scope chain due to quantified expression [Ada] Inconsistent scope chain due to quantified expression - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Added warning on membership tests [Ada] Added warning on membership tests - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Spurious alias error on access to array indexed by non-standard enum [Ada] Spurious alias error on access to array indexed by non-standard enum - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Spurious error on equality operator on incomplete type [Ada] Spurious error on equality operator on incomplete type - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Spurious 'W' ALI line due to implicit with clause [Ada] Spurious 'W' ALI line due to implicit with clause - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Spurious error and missing warning on static predicate [Ada] Spurious error and missing warning on static predicate - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Concurrent types in pragma Initializes [Ada] Concurrent types in pragma Initializes - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Fix incorrect assignment to array with Component_Size clause [Ada] Fix incorrect assignment to array with Component_Size clause - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Missing error on illegal initialization item [Ada] Missing error on illegal initialization item - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Verify Part_Of indicator in non-SPARK code [Ada] Verify Part_Of indicator in non-SPARK code - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Crash on expression function and discriminant-dependent component [Ada] Crash on expression function and discriminant-dependent component - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Optimizing allocators for arrays with non-static upper bound [Ada] Optimizing allocators for arrays with non-static upper bound - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Reject certain constants as constituents [Ada] Reject certain constants as constituents - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Spurious warning on default initialized object [Ada] Spurious warning on default initialized object - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Crash on subprogram instantiation in nested package [Ada] Crash on subprogram instantiation in nested package - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Ignore external calls from instances for elaboration [Ada] Ignore external calls from instances for elaboration - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Completing expression function need not trigger loading of package body [Ada] Completing expression function need not trigger loading of package body - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Compiler crash with -gnatd.1 (force unnesting of subprograms) [Ada] Compiler crash with -gnatd.1 (force unnesting of subprograms) - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Fix inconsistent usage of Machine in s-fatgen.adb [Ada] Fix inconsistent usage of Machine in s-fatgen.adb - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Spurious error with private overriding of overloaded subprogram [Ada] Spurious error with private overriding of overloaded subprogram - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Improve debugging of task type discriminants [Ada] Improve debugging of task type discriminants - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Reject properly an aspect Predicate on a formal type [Ada] Reject properly an aspect Predicate on a formal type - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Warn on weal elaboration model for SPARK [Ada] Warn on weal elaboration model for SPARK - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Fix indirect calls to imported subprograms within generic [Ada] Fix indirect calls to imported subprograms within generic - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Legacy elaboration model and relaxed elaboration mode [Ada] Legacy elaboration model and relaxed elaboration mode - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Fix end-of dwarf section detection in address symbolizer [Ada] Fix end-of dwarf section detection in address symbolizer - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Fix handling of load addresses for backtraces through SO [Ada] Fix handling of load addresses for backtraces through SO - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Propagate SLOC in iteration over array [Ada] Propagate SLOC in iteration over array - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Improper visibility of loop parameter with Iterable aspect [Ada] Improper visibility of loop parameter with Iterable aspect - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Handling of elaboration warnings [Ada] Handling of elaboration warnings - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] Spurious error on System'To_Address in -gnatc mode [Ada] Spurious error on System'To_Address in -gnatc mode - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] Disallow renamings declaring tagged primitives [Ada] Disallow renamings declaring tagged primitives - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] Allow calls to Is_CCT_Instance for records [Ada] Allow calls to Is_CCT_Instance for records - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] Fix more precise mode for parameter [Ada] Fix more precise mode for parameter - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] Disallow renamings declaring tagged primitives [Ada] Disallow renamings declaring tagged primitives - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] Crash on early call region of SPARK subprogram body [Ada] Crash on early call region of SPARK subprogram body - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] Compiler abort or infinite loop in malformed declaration [Ada] Compiler abort or infinite loop in malformed declaration - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] Spurious ineffective use_clause warning on use in boolean condition [Ada] Spurious ineffective use_clause warning on use in boolean condition - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] New SPARK access-before-elaboration mechanism [Ada] New SPARK access-before-elaboration mechanism - - - - --- 2017-11-16 Pierre-Marie de Rodat New
[Ada] Variable reads and writes [Ada] Variable reads and writes - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Export Make_Independent from GNAT.Threads [Ada] Export Make_Independent from GNAT.Threads - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Quadratic explosion caused by freezing of contracts [Ada] Quadratic explosion caused by freezing of contracts - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Fix bootstrap issue with CodePeer justifications [Ada] Fix bootstrap issue with CodePeer justifications - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Bump size limit for large static aggregates [Ada] Bump size limit for large static aggregates - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Crash on use of Compile_Time_Error in a generic package [Ada] Crash on use of Compile_Time_Error in a generic package - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Get rid of warnings about uninitialized variables [Ada] Get rid of warnings about uninitialized variables - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Rewrite code and add justifications for static analysis [Ada] Rewrite code and add justifications for static analysis - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Restriction Static_Dispatch_Tables [Ada] Restriction Static_Dispatch_Tables - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Fix code quality issues reported by CodePeer at level 3 [Ada] Fix code quality issues reported by CodePeer at level 3 - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Restriction Static_Dispatch_Tables [Ada] Restriction Static_Dispatch_Tables - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Spurious error on pragma Unreferenced [Ada] Spurious error on pragma Unreferenced - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Spurious error on read of out parameter in Ada_83 mode [Ada] Spurious error on read of out parameter in Ada_83 mode - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Fix false positive of -gnatw.x on trivial instantiation [Ada] Fix false positive of -gnatw.x on trivial instantiation - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Fix code quality issues reported by CodePeer [Ada] Fix code quality issues reported by CodePeer - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Cleanup of Namet [Ada] Cleanup of Namet - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] use_clauses sometimes ignored in generic template [Ada] use_clauses sometimes ignored in generic template - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Misleading error or crash on illegal call with limited view [Ada] Misleading error or crash on illegal call with limited view - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Crash on SPARK_Mode with illegal mode [Ada] Crash on SPARK_Mode with illegal mode - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Warn on missing finalization of anonymous access-to-controlled [Ada] Warn on missing finalization of anonymous access-to-controlled - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Adjust wording of error message to match the SPARK RM wording [Ada] Adjust wording of error message to match the SPARK RM wording - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Spurious warning on elaboration issue in dead code [Ada] Spurious warning on elaboration issue in dead code - - - - --- 2017-11-09 Pierre-Marie de Rodat New
« 1 2 ... 28 29 30 31 »