Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 270 271 272565 566 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Semantic checks on iterator specifications. - - - 0 0 0 2014-01-24 Arnaud Charlet New
[Ada] Selectively inline subprograms in GNATprove mode - - - 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Secondary stack usage and operators that rename functions - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Secondary stack leak for call returning limited discriminated object - - - 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Scalar_Storage_Order consistency for nested composites - - - 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Save/restore value of pragma Normalize_Scalars - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Save/restore value of pragma Normalize_Scalars - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Save occurrence on the stack before calling last chance handler - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Satisfy representation invariants in operation Move - - - 0 0 0 2011-11-20 Arnaud Charlet New
[Ada] SPARK_Mode on synchronized units and entry declarations - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] SPARK property "effectively volatile" and its effects - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] SPARK 2014 aspects should not be delayed - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] SCOs: handle the Short_Circuit_And_Or pragma - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] SCOs for pragmas - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] SCOs for disabled pragmas - - - 0 0 0 2012-01-23 Arnaud Charlet New
[Ada] SCOs for SELECT statements - - - 0 0 0 2012-07-12 Arnaud Charlet New
[Ada] SCO generation for pragma Debug - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] SCO for nested decision in pragma - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Runtime check on assignment to tagged types - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Run csinfo and ceinfo automatically - - - 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Robustify renaming code in gigi - - - 0 0 0 2014-04-15 Eric Botcazou New
[Ada] Rewrite obsolete comment - - - 0 0 0 2010-11-17 Eric Botcazou New
[Ada] Rewrite dynamic stack usage - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Rewrite CleanupUnwind_Handler to strictly follow ia64 ABI - - - 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Rework win32_wait to behave more like the UNIX waitpid() - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Rework the initialization/finalization of the runtime. - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Return early from rest_of_record_type_compilation - - - 0 0 0 2012-03-25 Eric Botcazou New
[Ada] Restrictions on 'Old in a postcondition. - - - 0 0 0 2014-01-23 Arnaud Charlet New
[Ada] Restriction SPARK replaced by SPARK_05 - - - 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Restriction No_Dynamic_Sized_Objects - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Restrict simultaneous compilations to one per object dir - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Restrict propagation of atomicity from objects to types - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Restrict SAL library names to Ada identifiers - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Resolving spurious ambiguities within instantiations - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Resolving self-references to a child generic unit in an instance - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Resolution of references to predefined operators - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Resolution of parameterless calls that return arrays - - - 0 0 0 2013-09-10 Arnaud Charlet New
[Ada] Require Elaborate_Body if non-null abstract state is specified - - - 0 0 0 2013-10-15 Arnaud Charlet New
[Ada] Representation information for nested subprograms - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Reporting complex ambiguities - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Report unhandled exceptions as unhandled - - - 0 0 0 2012-07-12 Arnaud Charlet New
[Ada] Report error when "a" does not exist in "a/**" for project files - - - 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Replacement of warnings by errors for dimensionality checking system - - - 0 0 0 2011-12-22 Arnaud Charlet New
[Ada] Replaced 64-bit index manipulation with more efficient integer types - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Repair No_Strict_Aliasing configuration pragma - - - 0 0 0 2015-01-07 Arnaud Charlet New
[Ada] Reorganize handling of predicates - - - 0 0 0 2014-07-18 Arnaud Charlet New
[Ada] Reorganize Full_Qualified_Name handling - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Reorganization of NetDB binding - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Renamings of volatile objects - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Renaming of unconstrained limited function calls - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Renaming of intrinsic generic subprograms - - - 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Renaming of __gnat_rcheck_NN routines - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Renames System.Parameter.Sec_Stack_Ratio - - - 0 0 0 2011-08-30 Arnaud Charlet New
[Ada] Rename enumeration type - - - 0 0 0 2016-01-28 Eric Botcazou New
[Ada] Rename Has_Volatile_Full_Access into Is_Volatile_Full_Access - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Removes workaround for an old GNU/Linker limitation on Windows - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Remove xgnatugn in doc generation - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Remove xgnatugn in doc generation - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Remove useless type transformation - - - 0 0 0 2016-05-16 Eric Botcazou New
[Ada] Remove useless special handling for SPARK verification - - - 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Remove useless flags for gnatbind link - - - 0 0 0 2011-04-17 Eric Botcazou New
[Ada] Remove unused node N_Subprogram_Info - - - 0 0 0 2014-01-23 Arnaud Charlet New
[Ada] Remove unreachable inlining code - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Remove unreachable code in Freeze_Array_Type - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Remove unnecessary range checks - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Remove unnecessary node component from hashed map iterator - - - 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Remove ttypf.ads and compute floating point attributes instead - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Remove the Support_64_Bit_Divides flag - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Remove support for type completion deferring in gigi - - - 0 0 0 2012-03-07 Eric Botcazou New
[Ada] Remove support for obsolete switch - - - 0 0 0 2010-10-10 Eric Botcazou New
[Ada] Remove support for obsolete switch - - - 0 0 0 2010-10-10 Eric Botcazou New
[Ada] Remove superfluous use of secondary stack on object initialization - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Remove superfluous Container parameter - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Remove spurious warning with -gnatw.t on trivial postconditions - - - 0 0 0 2012-03-19 Arnaud Charlet New
[Ada] Remove spurious warning in Alfa mode - - - 0 0 0 2011-12-02 Arnaud Charlet New
[Ada] Remove spurious accessibility check for aggregate component - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Remove special handling for package declaring abstract state - - - 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Remove special expansion for membership tests in SPARK mode - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Remove special case in GNATprove mode that ignored potential errors - - - 0 0 0 2014-01-21 Arnaud Charlet New
[Ada] Remove special case for actual of calls in SPARK expansion - - - 0 0 0 2013-10-13 Arnaud Charlet New
[Ada] Remove special case for 'Old and 'Result in SPARK expansion - - - 0 0 0 2013-10-13 Arnaud Charlet New
[Ada] Remove remnants of GNAT support for OS/2 and MSDOS - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Remove redundant warning on function postcondition not mentioning 'Result - - - 0 0 0 2012-03-15 Arnaud Charlet New
[Ada] Remove redundant tests for N_Operator_Symbol - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Remove redundant define - - - 0 0 0 2013-11-18 Eric Botcazou New
[Ada] Remove recent trick used for fat pointer types - - - 0 0 0 2013-06-13 Eric Botcazou New
[Ada] Remove propagation of atomicity from object to type - - - 0 0 0 2015-05-27 Arnaud Charlet New
[Ada] Remove propagation of atomicity from object to type - - - 0 0 0 2015-05-27 Eric Botcazou New
[Ada] Remove partial interface to BLAS/LAPACK - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Remove overzealous warnings about Asm statements - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Remove old kludge in i386_pe_encode_section_info - - - 0 0 0 2015-06-01 Eric Botcazou New
[Ada] Remove obsolete mode Full_Expander_Active - - - 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Remove obsolete comment - - - 0 0 0 2013-10-13 Eric Botcazou New
[Ada] Remove more redundant checks in loops - - - 0 0 0 2015-11-18 Eric Botcazou New
[Ada] Remove linear search in Pragma_to_gnu - - - 0 0 0 2015-10-02 Eric Botcazou New
[Ada] Remove junk overflow check on MOD/REM/unary "+" - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Remove internal debug flags -gnatd.X/-gnatd.Y - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Remove high level optimizer framework - - - 0 0 0 2012-03-19 Arnaud Charlet New
[Ada] Remove hardcoded magic constants in tasking-related expansion - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Remove hard-coded clock ids - - - 0 0 0 2011-11-23 Arnaud Charlet New
« 1 2 ... 270 271 272565 566 »