Show patches with: Submitter = Arnaud Charlet       |    State = Action Required       |    Archived = No       |   2468 patches
« 1 2 3 4 … 24 25 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Deadlock when protected procedure propagates an exception - - - - --- 2017-04-28 Arnaud Charlet New
[Ada] Freezing in expression function that is a completion. - - - - --- 2017-04-28 Arnaud Charlet New
[Ada] Fix some warnings in compiler bootstrap - - - - --- 2017-04-28 Arnaud Charlet New
[Ada] Give warnings on questionable layout of record types - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Class-wide preconditions in dispatching calls. - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Elaboration checks for dispatching calls - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Removal of elaboration-related flags for SPARK - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Fix evaluation of comparisons for GNATprove - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Provide extended contracts for formal vectors - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Fix handling of wrappers for some primitives in GNATprove - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Fix side-effect removal for GNATprove - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Memory leak when using variant records - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Spurious visibility error in instance with nested packages - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] for CodePeer, don't expand Image, Wide_Image, Wide_Wide_Image attributes - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] 'Type_Key on subtypes and derived types - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Spurious error in function call with incomplete type - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Use backend (ie gcc) exception mechanism for gnat1 - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Provide extended contracts for formal doubly linked lists - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Strict and relaxed secondary stack management - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Names of Ghost entities are uniquely identified in executable - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Raise exception if Current_Directory does not exist - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Crash on illegal quantified expression - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Provide library for functional containers - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Crash on ambiguous allocator expression - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Finer grained secondary stack management - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Spurious visibility error with entity in formal package. - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Remove zero-origin array indexing for Source_Buffers - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious error on container indexing that is in-out parameter in call - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] With clause inhibits error in SPARK subunit - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious error on predicate of local private type. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Don't emit unit version on configurable run time target if not needed. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Add GNAT_Ravenscar_EDF profile - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Compiler abort on components that are unchecked unions. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Compiler abort on nested instantions with pragma Ignore_Pragma. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Crash processing comparison of composite objects - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Missing predicate functions for private types. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Better diagnostics for illegal expression functions as completions. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Re-implement classwide invariants to evaluate statically - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious warning on non-existend exception handler - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Compiler crash on large array aggregate - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious error on missing SPARK_Mode annotation with inlining - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Micro-optimize again Is_Internal_File_Name & Is_Predefined_File_Name - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Do not mention an error on continuation message of info message - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Fix elab counter handling when preserving control flow - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Recover from significant slowdown in the front-end - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Duplicate copy of IN OUT parameter with -gnatVa - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Compiler crash on function with 'in out' parameter - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Failure to detect illegal pragma No_Return - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] New warning on late dispatching primitives - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Missing error on illegal object.operation call - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Use of convention aspect Stdcall on a record component. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Better range checking in GNATprove mode for float-to-int conversions - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Improve computation of real bounds of type conversion expressions - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Legality rules on class-wide preconditions of overriding operations. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] for CodePeer, omit Finalize_Address routines - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Validity checks and volatility - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Use type clause in parent of a generic package - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] For CodePeer, omit some tag checks which confuse gnat2scil - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Wrong casing of restriction and check names - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Static intialization with pragma Linker_Section - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Use out-of-line string concatenation at library level - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Specifying Address clause on controlled objects - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Reduce rounding overhead in sin/cos/tan functions on x86 - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Visibility problem using Import aspect - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] New pragma No_Heap_Finalization - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious error on call to protected op. of same type as current instance. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious compile failure with nested packages - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Missing error on illegal reference to Part_Of constituent - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Crash on illegal specification for a configuration file. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Ignore_Pragma causes errors in the run-time system - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Support for discriminants in pragma Default_Initial_Condition - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] pragma Ignore_Pragma(Interface); is illegal - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious compile failure with nested packages - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Remove uses of global variables from Sem_Prag - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Implementation of AI12-0125, use of @ as abbreviation for LHS. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Better error message for illegal use of 'Access in a call. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Support for discriminants in pragma Default_Initial_Condition - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Crash on expression function with fixed point types - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Crash processing discriminants of private subtype - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Latent bug in Uintp.Most_Sig_2_Digits - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Support for discriminants in pragma Default_Initial_Condition - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious error on subtypes of private tagged types - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Spurious error on deferred constant in expression function - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Syntactic error recovery for case expressions - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Illegal renaming of conditional expression - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Private tagged subtype with renamed and constrained discriminants. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Support for locking policies in Linux - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Aliasing checks on subprograms may cause side effects - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Wrong dispatching call through class-wide interface subtype - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Crash on illegally terminated extended return statement - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Missing detection of illegally placed pragma Assert - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Pragma Discard_Names and exception declarations - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Ada2020 feature: partial aggregate notation (Delta aggregates). - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Missing range check on if expression - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Validity checks prevent copy back of scalar IN OUT parameter - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Crash on class-wide 'Attribute clause - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Update SPARK rules for checking volatile flavors of protected objects - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Implement AI95-0133 in Ada 95 (and Ada 83) mode - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Implementation of AI12-125-3 : add @ as abbreviation for LHS. - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Proper matching of attribute 'Result in Refined_Depends - - - - --- 2017-01-23 Arnaud Charlet New
« 1 2 3 4 … 24 25 »