Patches

Show patches with: State = Action Required   
« 1 2 ... 285 286 287578 579 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Conformance checks on partially parametrized formal packages - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Conformance for quantified expressions - - - 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Confusing pragma unreferenced - - - 0 0 0 2016-07-04 Arnaud Charlet New
[Ada] Connect_Socket with timeout does not report failure correctly - - - 0 0 0 2012-10-03 Arnaud Charlet New
[Ada] Consistency of aspect / pragma retrieval by compiler client tools - - - 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Consistency of source locations in generated finalization code - - - 0 0 0 2011-12-22 Arnaud Charlet New
[Ada] Consistent Ada_Versions in instance bodies - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Consistent processing of preelaborated units across language versions - - - 0 0 0 2014-06-11 Arnaud Charlet New
[Ada] Consistent setting of Pure flag on function with address parameters. - - - 0 0 0 2015-10-23 Arnaud Charlet New
[Ada] Consistent target names - - - 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Consistent tree decoration to import C++ classes - - - 0 0 0 2012-07-17 Arnaud Charlet New
[Ada] Constant-folding and discriminants - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Constant-folding and mutable discriminants - - - 0 0 0 2010-08-05 Arnaud Charlet New
[Ada] Constants and hidden state - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Constants are non-static if they fail a predicate check - - - 0 0 0 2014-07-18 Arnaud Charlet New
[Ada] Constants without variable input are not hidden state - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Constraint checks on exit from function calls with out parameters - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Constraint_Error on spurious ambiguity in instance - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Constraint_Error on spurious ambiguity in instance - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Constraint_Error raised for slice indexed by logical negation with -gnato - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Constraints on class-wide types are ignored - - - 0 0 0 2013-09-10 Arnaud Charlet New
[Ada] Container Indexing over a derived container type - - - 0 0 0 2014-07-18 Arnaud Charlet New
[Ada] Containment of finalization actions in short circuit operators - - - 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Continued work on adding tags for warning messages - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Contract_Cases on entries - - - 0 0 0 2015-11-12 Arnaud Charlet New
[Ada] Contracts on imported subprograms - - - 0 0 0 2012-07-17 Arnaud Charlet New
[Ada] Contracts on protected entries and task units - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Control over error message details for Contract_Cases - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Controlled finalization for references in Ada 2012 containers - - - 0 0 0 2012-02-17 Arnaud Charlet New
[Ada] Convention for operations of generlc formals with unknown discriminants - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Conversion of arithmetic expression to wider type flagged as redundant - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Convert Ada front-end to automatic dependencies - - - 0 0 0 2013-10-23 Rainer Orth New
[Ada] Convert Ada front-end to automatic dependencies - - - 0 0 0 2013-10-13 Eric Botcazou New
[Ada] Coordinate front-end and middle-end floating-point settings - - - 0 0 0 2013-05-24 Eric Botcazou New
[Ada] Copy-on-write version of Ada.Containers.Indefinite_Holders - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Correct ALFA xrefs for separates and pre/post - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Correct error handling in Initialize - - - 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Correct failure to detect Invariant'Class for untagged type - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Correct multi-precision division algorithm used for universal integers - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Correct object path when binding extending SALs - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Correct order of evaluation of pre- and postcondition - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Correct placement and checking of Test_Case pragma - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Correct possible double qualification of names in formal mode - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Correct project search path when using switch -aP - - - 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Correct references in Alfa mode for use of renamings - - - 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Correct some anmolies in the handling of Atomic - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Correct unique name of entities for formal verification - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Correct usage of Default_Aspect_Value in scalar types - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Correct various bad choices in Alfa mode - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Correct wrong generation of ALFA cross-references - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Correction to aggregates in instance bodies - - - 0 0 0 2011-09-01 Arnaud Charlet New
[Ada] Correctly set Last when calling Text_IO.Get_Line on empty string - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Couple of adjustments to special return mechanism - - - 0 0 0 2015-06-19 Eric Botcazou New
[Ada] Couple of minor tweaks - - - 0 0 0 2012-10-02 Eric Botcazou New
[Ada] Couple of small adjustments to cross-unit inlining - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Cover all cases of constant objects for ALFA section in ALI files - - - 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Coverage analysis of select statements - - - 0 0 0 2012-07-16 Arnaud Charlet New
[Ada] Crahs on indexing operation with named associations - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] Crash in compile-only mode with dynamic predicates. - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Crash on address clause involving controlled objects. - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Crash on aggregate with discriminant expanded name in default expression - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Crash on complex conditional involving a packed array indexing - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Crash on config pragma Component_Alignment - - - 0 0 0 2016-06-22 Arnaud Charlet New
[Ada] Crash on configuration pragma Check_Policy. - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Crash on constant declaration with variable size with generics - - - 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Crash on conversion to derived private type with invisible discriminants - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Crash on derivation of tagged private type with discriminants - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Crash on entry call with limited view of synchronized object - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Crash on entry call with preconditions and access parameters - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Crash on folded operator with universal operands in functional form - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Crash on function returning limited view of class-wide type - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] Crash on generic instance with class-wide actual - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Crash on illegal allocator for limited type. - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Crash on illegal discrete range - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Crash on illegal expression in context with predicate - - - 0 0 0 2016-06-22 Arnaud Charlet New
[Ada] Crash on illegal program with -gnatf. - - - 0 0 0 2015-10-16 Arnaud Charlet New
[Ada] Crash on illegal selected component in synchronized body. - - - 0 0 0 2015-11-12 Arnaud Charlet New
[Ada] Crash on illegal use of limited view of classwide type - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] Crash on illegal use of limited view of type - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Crash on inconsistent IF-expression - - - 0 0 0 2015-11-12 Arnaud Charlet New
[Ada] Crash on inlined call to subprogram declared in package instance - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Crash on private enumeration type when compiling with -gnatVa - - - 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Crash on processing external property - - - 0 0 0 2014-02-06 Arnaud Charlet New
[Ada] Crash on quantified expressions containing 'Old in postconditions - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Crash on transient classwide limited view on RHS of short-circuit - - - 0 0 0 2014-07-16 Arnaud Charlet New
[Ada] Crash on unconstrained unchecked union declaration - - - 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Crash on use of 'Old - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Crash overriding the equality operator - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Crash processing nested aggregate in constant declaration - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Crash processing private type whose parent is an interface type - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Crash when processing attribute Loop_Entry - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Crash while processing illegal state refinement - - - 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Crash with big strings in System.OS_Lib.Normalize_Pathname - - - 0 0 0 2014-01-29 Arnaud Charlet New
[Ada] Create the Find_Name_In_Path helper - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Cross-Reference information for build-in-place objects - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Cross-reference information for expression functions that are completions - - - 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] DSA code generation reorganization - - - 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] DSA helpers for tagged types - - - 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Deal with empty input in __gnat_decode - - - 0 0 0 2012-01-23 Arnaud Charlet New
[Ada] Deal with references for Alfa mode through multiple renamings - - - 0 0 0 2011-09-19 Arnaud Charlet New
« 1 2 ... 285 286 287578 579 »