Patchwork GNU Compiler Collection

login
register
mail settings

Incoming patches

« Previous 1 2 ... 212 213 214 215 216 217 218 219 220 ... 411 412 Next »
Filters: State = Action Required remove filter    |    Archived = No remove filter
Patch A/R/T Date Submitter Delegate State
[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
[Ada] Use of non-static constants in aspect Global 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Use of unconstrained or tagged items in aspect Depends 0 0 0 2013-10-13 Arnaud Charlet New
[Ada] Use oscons circuitry to define pthread types on GNU/Linux 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Use rwlock for protected objects 0 0 0 2011-09-27 Arnaud Charlet New
[Ada] Use subtraction to negate VAX float on Alpha VMS 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Use the CPU_ZERO and CPU_SET linux macros 0 0 0 2011-09-01 Arnaud Charlet New
[Ada] Use unique names in ALFA cross reference in ALI files 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Use_Type and operators that are primitive in more than one type 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] User-defined indexing operations 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] VAX Float runtime via Targparm 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] VMS 32/64bit heap handling 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] VMS: fix incompatibility of sendmsg/recvmsg 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Validity checks in generated equality function 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Validity checks on boolean expressions 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Validity checks on subprogram parameters and results 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Various fpt related clean ups 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Vector must check for cursor tampering, not element tampering 0 0 0 2012-01-30 Arnaud Charlet New
[Ada] Verification of Ada 2012 subpool implementation 0 0 0 2011-12-20 Arnaud Charlet New
[Ada] Virtually extending library project inherits library kind 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Visibility check for aspects, part 1 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Visibility error in formal package with no associations 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Visibility error in the presence of private limited with clauses 0 0 0 2012-10-04 Arnaud Charlet New
[Ada] Visibility in expression functions 0 0 0 2011-12-12 Arnaud Charlet New
[Ada] Visibility issue for expanded name in a proper body 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Visibility of aspects between freeze point and end of declarations 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Visibility of equality operator when left operand is null. 0 0 0 2012-12-05 Arnaud Charlet New