Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 282 283 284595 596 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Undefined symbol with invariant and private type extension - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Undefined symbol with interface types - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Undefined symbol when using -gnatVa - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Unconstrained build-in-place return in block statement - - - 0 0 0 2015-10-23 Arnaud Charlet New
[Ada] Unchecked_Deallocation fails to free a class-wide object - - - 0 0 0 2014-01-31 Arnaud Charlet New
[Ada] Unchecked union types can be limited - - - 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Types derived from types with foreign conventions - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Type_Invariant'Class on interface types - - - 0 0 0 2015-03-02 Arnaud Charlet New
[Ada] Type invariant procedure called on an uninitialized object - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Type conversion to String causes Constraint_Error - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Type conformance for access_to_subprogram types - - - 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Type compatibility of anonymous access to extensions of constrained types - - - 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Two library projects cannot have the same library name - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Turn off SPARK_Mode for generated subprograms - - - 0 0 0 2014-01-24 Arnaud Charlet New
[Ada] Treat -fdump-scos as synonym of -gnateS - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Transient controlled function results in if expressions - - - 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Towards support in Alfa cross-references for generics - - - 0 0 0 2012-03-30 Arnaud Charlet New
[Ada] The type of an in-out formal in a child instance - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] The progenitor of a type extension may be a subtype. - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] The actual type of a constant discriminated object - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] The GNAT attribute 'Img can be renamed as a function. - - - 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Test for recursive subprogram call via a derived subprogram - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Test for common parent before testing for sibling - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Test SPARK_Mode instead of GNATProve_Mode for warnings - - - 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Task declarations in entry bodies - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Tan should never raise Constraint_Error - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Take null exclusion into account for statically compatible subtypes - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Take into account unresolved calls in Alfa mode - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Tagged "/=" operator in GNAT tree doesn't get fully resolved with -gnatc - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Tag-indeterminate calls - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Tag restriction warning messages - - - 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Tag initialization in object declarations - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Taft-amendment types and Ada 2012 type invariants - - - 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Syntax error detection on Ghost abstract states - - - 0 0 0 2015-03-04 Arnaud Charlet New
[Ada] Syntax checks when SPARK_Mode is Off - - - 0 0 0 2014-02-24 Arnaud Charlet New
[Ada] Synchronization of run time support for controlled objects - - - 0 0 0 2011-10-24 Arnaud Charlet New
[Ada] Synchronization of SPARK implementation against reference manual - - - 0 0 0 2014-01-27 Arnaud Charlet New
[Ada] Synchronization issues in Set_Finalize_Address - - - 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Switches for truncated file name on VMS - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Switch to control maximum number of instantiations - - - 0 0 0 2012-03-15 Arnaud Charlet New
[Ada] Switch to ZCX on AIX - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Switch -gnatp should have no effect in GNATprove mode - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Swapped inputs and outputs in UG Inline Assembler section - - - 0 0 0 2012-03-07 Arnaud Charlet New
[Ada] Suppress false elaboration warnings -- indirect Elaborate_All - - - 0 0 0 2012-07-16 Arnaud Charlet New
[Ada] Suppress false alarm "postcondition refers only to pre-state" - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Suppress expansion related to tasking and tagged types in Alfa mode - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Suppress Import-In-Pure-Unit warning if Pure_Function given - - - 0 0 0 2015-01-30 Arnaud Charlet New
[Ada] Support target with both VAX and IEEE float - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Support for user-defined storage pools in limited function returns - - - 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Support for renamings in aspects Depends and Global - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Support for recording bind time environment info - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Support for hash based message authentication codes - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Support for coverage analysis of ACCEPT alternatives in SELECT statement - - - 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Support for controlled objects allocated on the heap for .NET/JVM - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Support for aspect Refined_State - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Support for Priority aspect - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Support for CLOCK_MONOTONIC on AIX 5.3 - - - 0 0 0 2013-10-13 Arnaud Charlet New
[Ada] Support both concurrent and sequential partition elaboration policies - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Subprograms should not be treated as Pure if limited arguments - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Subprogram renaming and private overriding - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Subprogram contracts on generics - - - 0 0 0 2015-03-02 Arnaud Charlet New
[Ada] Style checks on subprogram instantiations - - - 0 0 0 2012-04-02 Arnaud Charlet New
[Ada] Strip Switch.C of most of its dependencies - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] String literals in nested subprograms in generic units - - - 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] String literal is allowed for pragma Warnings in Ada 83 - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] String list external references in project files - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Stream output to fifos - - - 0 0 0 2016-04-18 Arnaud Charlet New
[Ada] Straigthen implementation of aggregate libraries - - - 0 0 0 2011-12-23 Arnaud Charlet New
[Ada] Store the value of 'alignment of tagged types in the TSD - - - 0 0 0 2011-12-12 Arnaud Charlet New
[Ada] Store the display name in the project node - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Store read/write through explicit dereference in ALFA mode - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Storage_Error due to large object size - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Static predicate checks on type conversions - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Static matching of subtypes in Ada 2012 - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Static entry [family] names for VMS Debug - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Static aggregates of a limited type - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] States that act as constituents of other states - - - 0 0 0 2013-10-15 Arnaud Charlet New
[Ada] State refinement predicates for GNATprove - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] State refinement constituent uninstall - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Stand-Alone Library with attribute Interfaces - - - 0 0 0 2012-01-30 Arnaud Charlet New
[Ada] Spurious warnings on iterators over subcomponents - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Spurious warnings on element iterator whose domain is a function call - - - 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Spurious warnings about unused units - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Spurious warnings about unreferenced entities of a packed type - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Spurious warning on generated with_clause for renamed unit - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Spurious visiblity error on private subtype and inlined constructs - - - 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Spurious visibility error with private subtye, inlining and instance - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] Spurious visibility error with nlined subprogram in with-clauses - - - 0 0 0 2014-01-21 Arnaud Charlet New
[Ada] Spurious visibility error with derivation and incomplete declaration - - - 0 0 0 2015-11-12 Arnaud Charlet New
[Ada] Spurious visibility error for operator in pre-condition - - - 0 0 0 2014-01-21 Arnaud Charlet New
[Ada] Spurious type errors because of views confusion in predicate functions - - - 0 0 0 2016-07-04 Arnaud Charlet New
[Ada] Spurious runtime failure on Default_Initial_Condition - - - 0 0 0 2015-03-04 Arnaud Charlet New
[Ada] Spurious output on optimized default-initialized limited aggregate - - - 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Spurious inlining error with function completed by an expression function - - - 0 0 0 2016-04-18 Arnaud Charlet New
[Ada] Spurious errors with generalized iterators - - - 0 0 0 2016-04-21 Arnaud Charlet New
[Ada] Spurious errors with complex slice expression - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Spurious errors with -gnatE and -gnatwl - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Spurious errors on tag indeterminate calls. - - - 0 0 0 2016-04-18 Arnaud Charlet New
[Ada] Spurious errors on inherited class-wide preconditions - - - 0 0 0 2016-07-07 Arnaud Charlet New
[Ada] Spurious errors on extension aggregate for limited type - - - 0 0 0 2014-11-20 Arnaud Charlet New
« 1 2 ... 282 283 284595 596 »