Patchwork GNU Compiler Collection

login
register
mail settings

Incoming patches

« Previous 1 2 ... 238 239 240 241 242 243 244 245 246 ... 264 265 Next »
Filters: State = Action Required remove filter    |    Archived = No remove filter
Patch Date Submitter Delegate State
[Ada] Add support for Ada.Execution_Time on linux 2010-10-12 Arnaud Charlet New
[Ada] Skip special expansion in Alfa mode 2012-08-06 Arnaud Charlet New
[Ada] Split PRE/POST expressions into AND THEN sections 2010-10-12 Arnaud Charlet New
[Ada] Make {Short,Long,Long_Long}_Complex_Elementary_Functions pure 2013-01-02 Arnaud Charlet New
[Ada] String literals in nested subprograms in generic units 2010-10-12 Arnaud Charlet New
[Ada] Ambiguities with class-wide operations on synchronized types 2012-07-23 Arnaud Charlet New
[Ada] Handle inherited postconditions (AI05-0145) 2010-10-12 Arnaud Charlet New
[Ada] Support target with both VAX and IEEE float 2012-11-06 Arnaud Charlet New
[Ada] Further work on pre/post aspects 2010-10-12 Arnaud Charlet New
[Ada] Source location of generated nodes for To_Any calls 2012-10-29 Arnaud Charlet New
[Ada] <exception> will be raised at run time, not "at run-time" 2010-09-10 Arnaud Charlet New
[Ada] Better error message for aspect specification without Ada 2012 mode 2013-01-04 Arnaud Charlet New
[Ada] Final fix to inheriting of Pre'Class preconditions 2010-10-12 Arnaud Charlet New
[Ada] Incorrect parameter mechanism due to convention C_Pass_By_Copy 2012-08-06 Arnaud Charlet New
[Ada] No ALI generated when compiler fails on a spec that needs a body 2010-10-12 Arnaud Charlet New
[Ada] Special case for case expression alternative moved in caller 2012-10-29 Arnaud Charlet New
[Ada] Remote types packages can depend on preelaborated packages 2010-10-08 Arnaud Charlet New
[Ada] Increase alternate stack size on hpux 2012-07-12 Arnaud Charlet New
[Ada] Child project extending a child project 2010-10-05 Arnaud Charlet New
[Ada] Warn for suspicious same range nested loops 2012-10-29 Arnaud Charlet New
[Ada] Add warning for record holes (gaps) 2010-09-10 Arnaud Charlet New
[Ada] Fix potential access violation in Adjust routine 2012-07-17 Arnaud Charlet New
[Ada] Private type as actual in generic RCI 2010-09-10 Arnaud Charlet New
[Ada] Keep checks in Alfa mode for formal verification 2012-10-29 Arnaud Charlet New
[Ada] Add version of Find_Token with From parameter 2010-10-08 Arnaud Charlet New
[Ada] Skip unneeded expansion for Alfa mode 2012-08-06 Arnaud Charlet New
[Ada] Do not perform a null_exclusion check on 'out' parameters 2010-09-10 Arnaud Charlet New
[Ada] Locally enabled invariants are ignored 2013-04-25 Arnaud Charlet New
[Ada] Validity checks on boolean expressions 2010-09-10 Arnaud Charlet New
[Ada] Missing Constraint_Error in illegal conversion to C type 2012-08-06 Arnaud Charlet New
[Ada] Null-exclusion must match for parameters for full conformance 2010-10-08 Arnaud Charlet New
[Ada] Add support for returning binary message digest 2012-10-29 Arnaud Charlet New
[Ada] Static aggregates of a limited type 2010-10-08 Arnaud Charlet New
[Ada] Fix delayed analysis of aspect specification when scopes differ 2012-08-06 Arnaud Charlet New
[Ada] No change of working directory in Remove_Dir implementation 2010-10-08 Arnaud Charlet New
[Ada] 2012 rule on aliasing 2013-01-03 Arnaud Charlet New
[Ada] Wrong warning when instantiating Container in generic unit 2010-10-11 Arnaud Charlet New
[Ada] New generic routine to iterate through interface sources 2012-07-09 Arnaud Charlet New
[Ada] Null exclusion not allowed in uninitialzed allocators 2010-10-07 Arnaud Charlet New
[Ada] GNAT driver with a project file and a single main - switches 2013-01-03 Arnaud Charlet New
[Ada] Parametrized expressions must be parenthesized 2010-10-07 Arnaud Charlet New
[Ada] Move GNAT.Byte_Swapping to System 2012-07-12 Arnaud Charlet New
[Ada] Allow shared libraries to import any projects for some tools 2010-10-11 Arnaud Charlet New
[Ada] Only one of Priority or Interrupt_Priority can be specified 2012-10-29 Arnaud Charlet New
[Ada] gnat stack -P only call gnatstack with existing .ci files 2010-10-07 Arnaud Charlet New
[Ada] 2012 rule on aliasing 2013-01-03 Arnaud Charlet New
[Ada] Actual for a formal derived non-limited type 2010-10-07 Arnaud Charlet New
[Ada] Class-wide objects and debugging information 2013-01-03 Arnaud Charlet New
[Ada] Improve DG output of subprograms 2010-10-05 Arnaud Charlet New
[Ada] Visibility of aspects between freeze point and end of declarations 2012-07-09 Arnaud Charlet New
[Ada] Register source directories even if they do not exist 2010-09-10 Arnaud Charlet New
[Ada] Generation of routine _Postconditions 2013-04-24 Arnaud Charlet New
[Ada] Pass -shared-libgcc when building Ada shared libraries on Windows 2010-10-05 Arnaud Charlet New
[Ada] Redundant finalization of controlled function result 2012-08-06 Arnaud Charlet New
[Ada] Interpretation of Form parameter for Ada.Directories.Copy_File 2010-10-04 Arnaud Charlet New
[Ada] Ada 2012 predicate checks on (in-) out parameters 2013-04-22 Arnaud Charlet New
[Ada] DSA helpers for tagged types 2010-10-05 Arnaud Charlet New
[Ada] Cleanup in raise-gcc.c 2012-07-09 Arnaud Charlet New
[Ada] Perfect_Hash_Generators cleanup 2010-06-18 Arnaud Charlet New
[Ada] Incorrect attachment point for address clause alignment check 2013-01-03 Arnaud Charlet New
[Ada] Improved runtime exception message for duplicated external tag 2011-08-04 Arnaud Charlet New
[Ada] Directly emit binary representation of Vax float 2012-11-06 Arnaud Charlet New
[Ada] Heap objects constrained by their initial value 2010-06-14 Arnaud Charlet New
[Ada] gnatfind missing references to array types 2013-01-03 Arnaud Charlet New
[Ada] Store the value of 'alignment of tagged types in the TSD 2011-12-12 Arnaud Charlet New
[Ada] Guard against cascaded error when processing deferred config pragmas 2012-08-06 Arnaud Charlet New
[Ada] Improve handling of folding of conditional expressions 2010-06-22 Arnaud Charlet New
[Ada] Use of attribute 'Loop_Entry in various contexts 2013-04-24 Arnaud Charlet New
[Ada] Default 'Input for array of limited object 2011-08-03 Arnaud Charlet New
[Ada] Analysis of delayed aspects for components in record types 2012-07-09 Arnaud Charlet New
[Ada] Ada.Real_Time not properly initialized on Windows 2010-06-23 Arnaud Charlet New
[Ada] Avoid overflow in Table reallocation 2013-01-03 Arnaud Charlet New
[Ada] Default to -gnatw.L 2011-12-20 Arnaud Charlet New
[Ada] Preelaboration dependences for Remote_Types and RCI units 2012-07-09 Arnaud Charlet New
[Ada] Crash on derivation of tagged private type with discriminants 2010-06-22 Arnaud Charlet New
[Ada] Internal fix to Insert_Actions routine in compiler 2013-01-04 Arnaud Charlet New
[Ada] Check preconditions for child iterator of multiway tree container 2011-12-02 Arnaud Charlet New
[Ada] Illegal component clause for inherited component in extension 2013-01-03 Arnaud Charlet New
[Ada] Fix missing style checks on entity name casing 2010-06-22 Arnaud Charlet New
[Ada] Expression of static predicate should be static 2013-04-25 Arnaud Charlet New
[Ada] HP-UX build failure - PR ada/51307 2011-12-05 Arnaud Charlet New
[Ada] Connect_Socket with timeout does not report failure correctly 2012-10-03 Arnaud Charlet New
[Ada] Do not replace Float'Range check by 'Valid 2010-06-22 Arnaud Charlet New
[Ada] Fix thinko in bignum allocation routine 2012-10-29 Arnaud Charlet New
[Ada] Deallocation of a single allocated object (PR ada/47880) 2011-08-04 Arnaud Charlet New
[Ada] Support for coverage analysis of ACCEPT alternatives in SELECT statement 2012-07-23 Arnaud Charlet New
[Ada] Doc clean ups 2010-06-22 Arnaud Charlet New
[Ada] Incorrect sign extensions on IOCTL system constants 2012-10-29 Arnaud Charlet New
[Ada] Add new Assign and Copy operations to unbounded containers 2011-11-04 Arnaud Charlet New
[Ada] Inheritance of representation aspects at freezing point 2012-08-06 Arnaud Charlet New
[Ada] New gnatbind command switch -A 2010-06-22 Arnaud Charlet New
[Ada] Add a new pragma Assert_And_Cut for formal verification tools 2012-10-29 Arnaud Charlet New
[Ada] Ada 2012: Derived types and partial views 2011-12-02 Arnaud Charlet New
[Ada] Introduce the notion of machine occurrence 2012-07-16 Arnaud Charlet New
[Ada] Check missing function returns in generic template 2010-06-23 Arnaud Charlet New
[Ada] Entities for subprogram body should not have a contract node attached 2013-04-24 Arnaud Charlet New
[Ada] Add support for fully standalone libraries 2011-12-21 Arnaud Charlet New
[Ada] Ada.Streams.Stream_IO is preelaborated 2012-07-09 Arnaud Charlet New
[Ada] Bad bounds checks on slice of explicit dereference 2010-06-22 Arnaud Charlet New
[Ada] Illegal calls in entry call alternatives 2012-11-06 Arnaud Charlet New