Patchwork GNU Compiler Collection

login
register
mail settings

Incoming patches

« Previous 1 2 ... 226 227 228 229 230 231 232 233 234 ... 456 457 Next »
Filters: State = Action Required remove filter    |    Archived = No remove filter
Patch A/R/T Date Submitter Delegate State
[Ada] Ignore Optimize_Alignment (Space) for packed variable length record 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Ignore pragmas Inline/Inline_Always in GNATprove mode 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Ignore pragmas when looking for unreachable code 0 0 0 2012-04-26 Arnaud Charlet New
[Ada] Ignore references to renamed Standard constants in Alfa mode 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Illegal call on abstract operator 0 0 0 2011-12-12 Arnaud Charlet New
[Ada] Illegal calls in entry call alternatives 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Illegal component clause for inherited component in extension 0 0 0 2013-01-03 Arnaud Charlet New
[Ada] Illegal constituent in state refinement 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Illegal declarations of deferred constants 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Illegal external aspects not detected 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Illegal forward reference in pragma Postcondition 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Illegal iterators over arrays 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Illegal prefix in array attributes 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Illegal program not detected, self renames, PR15846 0 0 0 2012-01-24 Arnaud Charlet New
[Ada] Illegal program not detected, self renames, PR15846 0 0 0 2012-01-11 coopht@gmail.com New
[Ada] Illegal program not detected, self renames, PR15846 0 0 0 2012-01-11 coopht@gmail.com New
[Ada] Illegal selected components of types derived from private types 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Illegal tagged completion of private type with discriminant and default 0 0 0 2010-10-21 Arnaud Charlet New
[Ada] Illegal use of SPARK volatile object not detected 0 0 0 2014-02-25 Arnaud Charlet New
[Ada] Imaging of arbitrary precision integers 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Immutably limited types 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Implement -gnat-p switch (cancel previous -gnatp) 0 0 0 2010-06-16 Arnaud Charlet New
[Ada] Implement -gnatyC for one space after -- in comments 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Implement AI05-0086-1 (consider null exclusion for static matching) 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Implement AI05-117 (memory barriers and volatile objects) 0 0 0 2011-11-10 Eric Botcazou New
[Ada] Implement AI12-0022 (raise expression) 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Implement Ada 2012 AI-0177 Parametrized Expressions 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Implement Ada 2012 Assertion_Policy pragma 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Implement Ada 2012 attributes First_Valid and Last_Valid 0 0 0 2012-03-15 Arnaud Charlet New
[Ada] Implement Ada.Strings.UTF_Encoding 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Implement Atomic_Synchronization pragmas 0 0 0 2011-10-24 Arnaud Charlet New
[Ada] Implement Disable policy for Check/Debug_Policy 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Implement Ekind_In in compiler 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Implement Ghost entities 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Implement In Out and Out parameters for functions 0 0 0 2010-10-25 Eric Botcazou New
[Ada] Implement Input/Output/Read/Write aspects 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Implement Invariant aspect and pragma 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Implement NRV optimization in gigi 0 0 0 2011-10-07 Eric Botcazou New
[Ada] Implement No_Default_Stream_Attributes restriction (AI05-0161-1/02) 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Implement No_Implementation_Identifiers/Extensions 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Implement No_Implicit_Aliasing restriction 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Implement No_Standard_Allocators_After_Elaboration 0 0 0 2014-07-18 Arnaud Charlet New
[Ada] Implement Pragma Partition_Elaboration_Policy 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Implement Predicate_Check 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Implement RT_Resolution properly 0 0 0 2015-01-07 Arnaud Charlet New
[Ada] Implement Rational profile to support non-standard renaming declarations 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Implement SPARK RM C.6 rules 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Implement SPARK_05 rule about calls before bodies 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Implement Short_Descriptors pragma 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Implement Valid_Scalars attribute (except for variant records) 0 0 0 2012-04-02 Arnaud Charlet New
[Ada] Implement aliased parameters for Ada 2012 (AI 142) 0 0 0 2011-09-01 Arnaud Charlet New
[Ada] Implement attribute Descriptor_Size 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Implement case expressions 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Implement compilation date and time output and functions 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Implement concrete iterators as a type hierarchy for multiway trees 0 0 0 2011-12-02 Arnaud Charlet New
[Ada] Implement conventions Ada_Pass_By_Copy and Ada_Pass_By_Reference 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Implement delay of aspects to freeze point 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Implement extended overflow checks, step 1 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Implement extended overflow handling for comparison ops 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Implement inheritance for predicates 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Implement iterator for multiset containers 0 0 0 2011-12-02 Arnaud Charlet New
[Ada] Implement legality rules for shared volatile variables 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Implement more general predicates 0 0 0 2010-10-25 Arnaud Charlet New
[Ada] Implement new Ada 2012 restriction No_Implementation_Units 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Implement new Aspect control restrictions 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Implement new Expression_With_Actions node 0 0 0 2010-06-17 Eric Botcazou New
[Ada] Implement new Expression_With_Actions node 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Implement new Restriction No_Use_Of_Entity 0 0 0 2015-01-07 Arnaud Charlet New
[Ada] Implement new aspects Dynamic_Predicate and Static_Predicate 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Implement new assertion kind Statement_Assertions 0 0 0 2013-04-23 Arnaud Charlet New
[Ada] Implement new attribute Library_Level 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Implement new attribute Restriction_Set 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Implement new partition-wide restriction No_Long_Long_Integer 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Implement new pragma Ignore_Pragma 0 0 0 2015-05-12 Arnaud Charlet New
[Ada] Implement new pragma Prefix_Exception_Messages 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Implement new pragma Warning_As_Error 0 0 0 2014-02-25 Arnaud Charlet New
[Ada] Implement new pragma/aspect Volatile_Full_Access 0 0 0 2015-05-12 Arnaud Charlet New
[Ada] Implement new pragmas Pre[_Class] and Post[_Class] 0 0 0 2013-10-13 Arnaud Charlet New
[Ada] Implement new restriction No_Fixed_IO 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Implement new rules for pragma SPARK_Mode 0 0 0 2014-01-29 Arnaud Charlet New
[Ada] Implement new warnings for suspicious mod values 0 0 0 2012-01-30 Arnaud Charlet New
[Ada] Implement non-classwide Pre/Post aspects 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] Implement notes lines in ALI file 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Implement pragma Ada_2012 and -gnat12 switch 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Implement pragma Check_Float_Overflow 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Implement pragma Compiler_Unit_Warning 0 0 0 2014-02-25 Arnaud Charlet New
[Ada] Implement pragma Default_Storage_Pool 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Implement pragma Default_Storage_Pool 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Implement pragma No_Inline (front-end part) 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Implement pragma Ordered and -gnatw.u 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Implement pragma Pure_12 and use it in Ada.Finalization 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Implement pragma/aspect No_Tagged_Streams 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Implement pragmas Type_Invariant[_Class] 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Implement restriction No_Allocators_After_Elaboration 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Implement stack limitation on VMS 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Implement static predicates and case statements 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Implement static predicates for string/real types 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Implement style switch -gnatyE for enumeration ranges 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Implement switches to reorder record components in gigi 0 0 0 2011-03-21 Eric Botcazou New
[Ada] Implement tagging of warning messages 0 0 0 2013-01-02 Arnaud Charlet New