Patchwork GNU Compiler Collection

login
register
mail settings

Incoming patches

« Previous 1 2 ... 223 224 225 226 227 228 229 230 231 ... 434 435 Next »
Filters: State = Action Required remove filter    |    Archived = No remove filter
Patch A/R/T Date Submitter Delegate State
[Ada] Automatic deallocation of task upon termination 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Attributes on predicated subtypes 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Attributes of arrays with an index type derived from a formal type 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Attributes 'Old and 'Update must preserve the tag of their prefix 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Attribute and pragma for lock-free implementation 0 0 0 2012-06-14 Arnaud Charlet New
[Ada] Attribute Update 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Attribute Loop_Entry and index check generation 0 0 0 2013-01-04 Arnaud Charlet New
[Ada] Attribute Loop_Entry 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Attribute 'Width and pragma Discard_Names 0 0 0 2011-12-20 Arnaud Charlet New
[Ada] Attribute 'Old should only be used in postconditions 0 0 0 2012-06-26 Arnaud Charlet New
[Ada] Attribute 'Max_Size_In_Storage_Elements and controlled types 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Atomic_Synchronization applies to types as well as variables 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Atomic protected types 0 0 0 2012-04-25 Arnaud Charlet New
[Ada] Assignment to a packed component with a change of representation 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Assign and Copy do not work for ordered and hashed maps 0 0 0 2014-01-27 Arnaud Charlet New
[Ada] Assertions_Policy must be captured at time of aspect specification 0 0 0 2013-04-23 Arnaud Charlet New
[Ada] Assertion to detect conflicting alignments in renaming 0 0 0 2011-12-11 Eric Botcazou New
[Ada] Assertion policy and postconditions 0 0 0 2014-06-13 Arnaud Charlet New
[Ada] Aspects on task and protected bodies are illegal 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Aspects on expression function without prior declaration 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Aspects Depends and Global on subprogram body stubs 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Aspects Contract_Cases, Depends and Global not analyzed when applied to 0 0 0 2013-07-05 Arnaud Charlet New
[Ada] Aspect/pragma SPARK_Mode in generic 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Aspect/pragma Extensions_Visible 0 0 0 2014-10-30 Arnaud Charlet New
[Ada] Aspect/pragma Default_Initial_Condition 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Aspect/pragma Contract_Cases and library level subprograms 0 0 0 2013-04-22 Arnaud Charlet New
[Ada] Aspect specifications on subprogram renaming declarations 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Aspect specifications initial preparation 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Aspect specifications in subprogram bodies 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Aspect specifications can appear on subprogram body stubs 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Aspect specifications and incomplete views 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Aspect Refined_Post 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Aspect Refined_Global 0 0 0 2013-10-13 Arnaud Charlet New
[Ada] Aspect Refined_Depends 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Aspect Initializes 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Aspect Initial_Condition 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Aspect Import with a value of False 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Aspect Global 0 0 0 2013-01-04 Arnaud Charlet New
[Ada] Aspect Depends 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Aspect Default_Storage_Pool 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Aspect Abstract_State and nested packages 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Aspect Abstract_State 0 0 0 2013-01-03 Arnaud Charlet New
[Ada] Aspect / pragma SPARK_Mode 0 0 0 2013-07-05 Arnaud Charlet New
[Ada] Aspect / pragma SPARK_Mode 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Aspect / pragma Contract_Cases 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] As we use the default behavior, no need to allocate a mutex attribute 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] As we use the default behavior, no need to allocate a cond attribute 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Array components of discriminated records with packed parent types 0 0 0 2013-04-23 Arnaud Charlet New
[Ada] Apply special expansion in GNATprove mode also for pre-analysis 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Apply proper predicate tests to OUT and IN OUT parameters 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Anonymous access types in type declarations in child units 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Anonymous access components that denote tasks 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Analyze pre/post expression for correctness in formal verification mode 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Analyze instance with SPARK_Mode at point of instantiation 0 0 0 2014-01-29 Arnaud Charlet New
[Ada] Analyze contracts of subprogram body stubs 0 0 0 2014-06-11 Arnaud Charlet New
[Ada] Analysis of disabled SPARK features 0 0 0 2014-06-13 Arnaud Charlet New
[Ada] Analysis of delayed aspects for components in record types 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Analysis of delayed SPARK aspects and use of SPARK_Mode 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Analysis of delayed SPARK aspects and use of SPARK_Mode 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] An actual for a formal type that is an extesion of a limited interface 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Ambiguous universal arithmetic expressions in conversions 0 0 0 2010-06-21 Arnaud Charlet New
[Ada] Ambiguity on "=" inherited from untagged private with tagged full type 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Ambiguities with prefixed views of synchronized primitives 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Ambiguities with class-wide operations on synchronized types 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Always set Do_Discriminant_Check flag during semantic analysis 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Always prefer Pure/Preelab units in binder elab order 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Always get an existing declared object/exec directory 0 0 0 2011-12-12 Arnaud Charlet New
[Ada] Always freeze slice itype 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Always analyze loop body during semantic analysis in Alfa mode 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Alternate output modes for GNAT.Memory_Dump 0 0 0 2014-07-18 Arnaud Charlet New
[Ada] Allows Wide_String output on Windows console 0 0 0 2014-07-18 Arnaud Charlet New
[Ada] Allow wild cards in Switches (<file>) in project files 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Allow warning tag in pragma Warnings (Off, string) 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Allow use of GNU ld on AIX 0 0 0 2011-10-16 Arnaud Charlet New
[Ada] Allow to extend a project imported only by extended projects 0 0 0 2014-01-21 Arnaud Charlet New
[Ada] Allow the same library project in different project tree 0 0 0 2012-07-12 Arnaud Charlet New
[Ada] Allow static string expression as name of Test_Case pragma/aspect 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Allow shared libraries to import any projects for some tools 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Allow run-time to be compiled with Normalize_Scalars 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Allow raise expression in return statement 0 0 0 2014-01-24 Arnaud Charlet New
[Ada] Allow pragma Restrictions (No_Dependence => unit) in system.ads 0 0 0 2014-06-13 Arnaud Charlet New
[Ada] Allow pragma Partition_Elaboration_Policy in system.ads 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Allow pragma Inline_Always to overrule -fno-inline 0 0 0 2015-02-20 Arnaud Charlet New
[Ada] Allow pragma Import and pragma Interface 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Allow gnatmake switch -j0 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] Allow generic iteration on formal lists 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Allow full range of static address values for To_Address 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Allow foreign exceptions 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Allow defaulted discriminants on tagged types for Ada 2012 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Allow System.Multiprocessors[.Dispatching_Domains] in Ada 95 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Allow Object_Size that is a multiple of the alignment 0 0 0 2014-02-20 Arnaud Charlet New
[Ada] Allow Linker_Section for types 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Allow Ada 2012 aspects on renaming declarations 0 0 0 2013-01-29 Arnaud Charlet New
[Ada] Allow 'Mod attribute in Ada 95 mode 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Allow ! and !! insertions anywhere in compiler message 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Allocation of unconstrained limited type 0 0 0 2012-03-19 Arnaud Charlet New
[Ada] Allocation of controlled private type with unknown discriminants 0 0 0 2012-02-17 Arnaud Charlet New
[Ada] Allocation of coextensions 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Allocation from empty storage pool is error, not warning 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] All duplicate units in a project now reported 0 0 0 2010-10-08 Arnaud Charlet New
« Previous 1 2 ... 223 224 225 226 227 228 229 230 231 ... 434 435 Next »