Patchwork GNU Compiler Collection

login
register
mail settings

Incoming patches

« Previous 1 2 ... 215 216 217 218 219 220 221 222 223 ... 417 418 Next »
Filters: State = Action Required remove filter    |    Archived = No remove filter
Patch A/R/T Date Submitter Delegate State
[Ada] Strip Switch.C of most of its dependencies 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Style checks on subprogram instantiations 0 0 0 2012-04-02 Arnaud Charlet New
[Ada] Subprogram renaming and private overriding 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Subprograms should not be treated as Pure if limited arguments 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Support both concurrent and sequential partition elaboration policies 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Support for CLOCK_MONOTONIC on AIX 5.3 0 0 0 2013-10-13 Arnaud Charlet New
[Ada] Support for Priority aspect 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Support for aspect Refined_State 0 0 0 2013-10-10 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 coverage analysis of ACCEPT alternatives in SELECT statement 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Support for hash based message authentication codes 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Support for renamings in aspects Depends and Global 0 0 0 2013-04-11 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 target with both VAX and IEEE float 0 0 0 2012-11-06 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 false alarm "postcondition refers only to pre-state" 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Suppress false elaboration warnings -- indirect Elaborate_All 0 0 0 2012-07-16 Arnaud Charlet New
[Ada] Swapped inputs and outputs in UG Inline Assembler section 0 0 0 2012-03-07 Arnaud Charlet New
[Ada] Switch -gnatp should have no effect in GNATprove mode 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Switch to ZCX on AIX 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Switch to control maximum number of instantiations 0 0 0 2012-03-15 Arnaud Charlet New
[Ada] Switches for truncated file name on VMS 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Synchronization issues in Set_Finalize_Address 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Synchronization of SPARK implementation against reference manual 0 0 0 2014-01-27 Arnaud Charlet New
[Ada] Synchronization of run time support for controlled objects 0 0 0 2011-10-24 Arnaud Charlet New
[Ada] Syntax checks when SPARK_Mode is Off 0 0 0 2014-02-24 Arnaud Charlet New
[Ada] Taft-amendment types and Ada 2012 type invariants 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Tag initialization in object declarations 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Tag restriction warning messages 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Tag-indeterminate calls 0 0 0 2011-08-03 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] Take into account unresolved calls in Alfa mode 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Take null exclusion into account for statically compatible subtypes 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Tan should never raise Constraint_Error 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Task declarations in entry bodies 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Test SPARK_Mode instead of GNATProve_Mode for warnings 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Test for common parent before testing for sibling 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Test for recursive subprogram call via a derived subprogram 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] The GNAT attribute 'Img can be renamed as a function. 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] The actual type of a constant discriminated object 0 0 0 2011-08-03 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 type of an in-out formal in a child instance 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Towards support in Alfa cross-references for generics 0 0 0 2012-03-30 Arnaud Charlet New
[Ada] Transient controlled function results in if expressions 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Treat -fdump-scos as synonym of -gnateS 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Turn off SPARK_Mode for generated subprograms 0 0 0 2014-01-24 Arnaud Charlet New
[Ada] Two library projects cannot have the same library name 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Type compatibility of anonymous access to extensions of constrained types 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Type conformance for access_to_subprogram types 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Type conversion to String causes Constraint_Error 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Type invariant procedure called on an uninitialized object 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Types derived from types with foreign conventions 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Unchecked union types can be limited 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Unchecked_Deallocation fails to free a class-wide object 0 0 0 2014-01-31 Arnaud Charlet New
[Ada] Undefined symbol when using -gnatVa 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Undefined symbols when building GPS 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Undo useless change 0 0 0 2012-09-07 Eric Botcazou New
[Ada] Uniform trees for certain aspects and corresponding source pragmas 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Unknown attribute in project member of aggregate project 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Unresolved discriminant selector of private overloaded prefix 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Unresolved symbols with pragma External_Name_Casing 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Untagged incomplete views completed with tagged types 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Update GNAT RM with a separate chapter on restrictions 0 0 0 2012-02-17 Arnaud Charlet New
[Ada] Update SPARK cross references for local packages 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Update dependencies 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Update documentation of debug switches 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Update names Is_Other_Format/Is_Punctuation_Connector 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Update spec for Compile_Time_Known_Value 0 0 0 2014-01-21 Arnaud Charlet New
[Ada] Updates to make Interfaces.C.Strings match RM 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Updates to make System.Storage_Pools match RM 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Usage of storage pools in build-in-place functions on ZFP 0 0 0 2011-10-15 Arnaud Charlet New
[Ada] Use "[warning enabled by default]" for default warnings 0 0 0 2014-02-09 Richard Sandiford New
[Ada] Use Ada_2012 instead of Ada_12 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Use C++-compatible calling convention on x86/Windows 0 0 0 2012-07-03 Eric Botcazou New
[Ada] Use C++-compatible calling convention on x86/Windows 0 0 0 2012-05-19 Eric Botcazou New
[Ada] Use CLOCK_MONOTONIC when possible 0 0 0 2011-09-15 Arnaud Charlet New
[Ada] Use Dir_Seps everywhere to properly handle all directory speparators. 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Use Encapsulated instead of Fully Standalone library 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Use Freeze_Before in lieu of more verbose sequence 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Use Is_Inlined flag to mark fully inlined subp in GNATprove mode 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Use Make_Temporary 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Use Make_Temporary (2) 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Use Make_Temporary (3) 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Use Make_Temporary (4) 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Use Make_Temporary (5) 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Use TLS to implement Self on Linux 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Use a proper assertion in Vet instead of a comment 0 0 0 2012-01-23 Arnaud Charlet New
[Ada] Use assertion to verify representation invariant for lock status 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Use canonical case file name to check ALI file (-gnatc) 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Use clauses and use_type clauses 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Use correct predicate for static expressions 0 0 0 2014-04-15 Eric Botcazou New
[Ada] Use current process id to create temp filenames (windows) 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Use discriminant subtype constraints in derivation 0 0 0 2013-05-24 Eric Botcazou New
[Ada] Use full path of archives in link command 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Use of Ghost actuals in Ghost subprogram calls 0 0 0 2014-11-07 Arnaud Charlet New
[Ada] Use of SPARK_Mode with front end inlining (-gnatN) 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Use of attribute 'Loop_Entry in various contexts 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Use of attributes 'Old and 'Result and local entities in another 'Old 0 0 0 2014-02-18 Arnaud Charlet New
[Ada] Use of discriminants in derived types for SPARK 2014 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Use of names in input_list of aspect/pragma Initializes 0 0 0 2013-10-15 Arnaud Charlet New