Patchwork GNU Compiler Collection

login
register
mail settings

Incoming patches

« Previous 1 2 ... 244 245 246 247 248 249 250 251 252 ... 263 264 Next »
Filters: State = Action Required remove filter    |    Archived = No remove filter
Patch Date Submitter Delegate State
[Ada] Performance of UTC_Time_Offset on Windows 2012-01-23 Arnaud Charlet New
[Ada] Incorrect finalization of build-in-place function result 2012-03-30 Arnaud Charlet New
[Ada] Correction to aggregates in instance bodies 2011-09-01 Arnaud Charlet New
[Ada] Interfacing aspects in Ada 2012 2012-05-15 Arnaud Charlet New
[Ada] Reduce compilation time at -O0 (1/n) 2011-08-02 Arnaud Charlet New
[Ada] Remove code duplication in Scn and Sinput.P 2012-02-08 Arnaud Charlet New
[Ada] Adjustments to Alfa mode for types and packing 2011-08-29 Arnaud Charlet New
[Ada] Get rid of compilation warnings in raise-gcc.c 2012-05-15 Arnaud Charlet New
[Ada] C++ types are limited 2011-08-03 Arnaud Charlet New
[Ada] Documentation for GNAT dimensionality checking system 2012-02-08 Arnaud Charlet New
[Ada] Delete SCIL files in CodePeer mode 2011-08-31 Arnaud Charlet New
[Ada] Private with-clauses in the context of generic package declarations 2012-05-15 Arnaud Charlet New
[Ada] Add style check for NOT IN 2012-10-02 Arnaud Charlet New
[Ada] Issue warning on suspicious contract cases when -gnatw.t is set 2012-03-15 Arnaud Charlet New
[Ada] Correct various bad choices in Alfa mode 2011-08-31 Arnaud Charlet New
[Ada] Front-end support for per-instance coverage analysis 2012-10-01 Arnaud Charlet New
[Ada] Iterators over containers of indefinite types 2011-08-02 Arnaud Charlet New
[Ada] Controlled finalization for references in Ada 2012 containers 2012-02-17 Arnaud Charlet New
[Ada] Managing affinities for programs executing on multiprocessors 2011-08-30 Arnaud Charlet New
[Ada] Couple of small adjustments to cross-unit inlining 2012-05-15 Arnaud Charlet New
[Ada] Avoid unnecessary use of Bignums for ELIMINATED mode 2012-10-02 Arnaud Charlet New
[Ada] Missing debug info for object of class-wide interface type 2012-03-19 Arnaud Charlet New
[Ada] Improved messages for use of incomplete type in selected components 2011-09-02 Arnaud Charlet New
[Ada] Delay of aspect specification evaluation 2012-06-12 Arnaud Charlet New
[Ada] Reduce compilation time 2011-08-02 Arnaud Charlet New
[Ada] Remove spurious warning with -gnatw.t on trivial postconditions 2012-03-19 Arnaud Charlet New
[Ada] ALI lines for with'ed units should be complete in Alfa mode 2011-09-01 Arnaud Charlet New
[Ada] Imaging of arbitrary precision integers 2012-05-15 Arnaud Charlet New
[Ada] Fixes to preelaborable initialization handling 2011-08-01 Arnaud Charlet New
[Ada] Remove high level optimizer framework 2012-03-19 Arnaud Charlet New
[Ada] In Alfa mode, do not force evaluation of expressions for checks 2011-11-21 Arnaud Charlet New
[Ada] Ada 2012 Legality check on requeue statements 2012-10-01 Arnaud Charlet New
[Ada] Change parameterized expression to expression function 2011-08-02 Arnaud Charlet New
[Ada] Preliminary work for enlarging nodes 2012-03-19 Arnaud Charlet New
[Ada] Attribute 'Max_Size_In_Storage_Elements and controlled types 2011-11-21 Arnaud Charlet New
[Ada] Ada 2012 legality checks on uses of names of protected procedures 2012-10-01 Arnaud Charlet New
[Ada] Ada 2012 invariant checks on access values and components 2012-10-02 Arnaud Charlet New
[Ada] Better error message for misused preprocessor directive 2012-03-19 Arnaud Charlet New
[Ada] In Alfa mode, do not remove side-effects from expression 2011-11-21 Arnaud Charlet New
[Ada] Handling of -vPx with incorrect x 2012-10-01 Arnaud Charlet New
[Ada] Legality checks on 'Result in the presence of quantified expression 2011-08-01 Arnaud Charlet New
[Ada] Better error message for a ** b ** c 2012-03-19 Arnaud Charlet New
[Ada] Locate error message on the first character of an assertion 2011-11-21 Arnaud Charlet New
[Ada] Checks on aliasing and initialization of scalars for parameters 2012-10-01 Arnaud Charlet New
[Ada] Missing compile-time error in conversion of private type 2011-08-02 Arnaud Charlet New
[Ada] gnatmake crashes with -cargs -m -margs -m 2012-03-19 Arnaud Charlet New
[Ada] Properly detect passing volatile A.B to non-volatile formal 2011-11-21 Arnaud Charlet New
[Ada] Interplay between exception handlers and finalization 2012-06-12 Arnaud Charlet New
[Ada] Proper aspect placement for package declaratios/instantiations 2011-08-02 Arnaud Charlet New
[Ada] Initial framework for Valid_Scalars attribute 2012-03-19 Arnaud Charlet New
[Ada] Inheriting non-conformant homographs 2011-08-29 Arnaud Charlet New
[Ada] Wrong size for variant records with single variant with front-end layout 2012-04-26 Arnaud Charlet New
[Ada] Indexing aspects and indexable containers 2012-10-02 Arnaud Charlet New
[Ada] Missing deallocation of subpool 2012-10-05 Arnaud Charlet New
[Ada] Detect illegal use of unconstrained string type in SPARK mode 2011-09-05 Arnaud Charlet New
[Ada] Restrict propagation of atomicity from objects to types 2012-05-15 Arnaud Charlet New
[Ada] Remove Exc_Stack (was unused) 2011-08-29 Arnaud Charlet New
[Ada] Fix static computation of bounds using -gnato2 or -gnato3 2012-10-05 Arnaud Charlet New
[Ada] Do not call Callback function when switch is dealt with automatically 2011-09-02 Arnaud Charlet New
[Ada] Fix cross-unit inlining on internal inline subprograms 2012-05-15 Arnaud Charlet New
[Ada] Isolate variables used to handle exceptions during finalization 2011-08-31 Arnaud Charlet New
[Ada] Special error message for 'Range used as integer type definition 2012-02-22 Arnaud Charlet New
[Ada] Reimplement Ada.Numerics.Generic_Real_Arrays in pure Ada 2011-08-29 Arnaud Charlet New
[Ada] Validity checks on subprogram parameters and results 2012-10-01 Arnaud Charlet New
[Ada] Small fixes to Eliminated overflow mode 2012-10-02 Arnaud Charlet New
[Ada] Merge s-osinte-vms and s-osinte-vms-ia64 2012-03-07 Arnaud Charlet New
[Ada] Optimize out index check for dynamic arrays in indirect case 2011-09-06 Arnaud Charlet New
[Ada] Better handling of illegal iterators 2012-05-15 Arnaud Charlet New
[Ada] Detect all derived types as violation of the SPARK restriction 2011-08-31 Arnaud Charlet New
[Ada] Switch to control maximum number of instantiations 2012-03-15 Arnaud Charlet New
[Ada] Adjustments to setting alignment when size is set 2011-11-21 Arnaud Charlet New
[Ada] Skip unneeded expansion for Alfa mode 2012-08-06 Arnaud Charlet New
[Ada] Add overriding indicators 2012-01-06 Arnaud Charlet New
[Ada] Quantified expressions and functions with side effects 2012-03-30 Arnaud Charlet New
[Ada] Refine error messages for illegal placement of [Type_]Invariant aspect 2011-09-06 Arnaud Charlet New
[Ada] Attribute 'Old should only be used in postconditions 2012-06-26 Arnaud Charlet New
[Ada] Define a light expansion mode for formal verification (2) 2011-08-30 Arnaud Charlet New
[Ada] Protect generation of Alfa sections in ALI files against empty node 2012-03-30 Arnaud Charlet New
[Ada] Cleanup in exception_occurrence 2011-08-29 Arnaud Charlet New
[Ada] Fix error in multi-precision division used in ELIMINATED mode 2012-11-06 Arnaud Charlet New
[Ada] Double evaluation in allocator for unconstrained packed array 2011-08-29 Arnaud Charlet New
[Ada] Missing debug info for loop entity of an Ada 2012 array iterator loop 2012-03-30 Arnaud Charlet New
[Ada] Remove overzealous warnings about Asm statements 2011-08-29 Arnaud Charlet New
[Ada] New addition to the GNAT dimensionality checking system 2012-10-01 Arnaud Charlet New
[Ada] Add new attribute 'Elab_Subp_Body 2011-08-29 Arnaud Charlet New
[Ada] Incorrect finalization of build-in-place function result 2012-03-30 Arnaud Charlet New
[Ada] finalization and controlled transient variable 2011-09-01 Arnaud Charlet New
[Ada] Attribute Loop_Entry 2012-11-06 Arnaud Charlet New
[Ada] Remove the Support_64_Bit_Divides flag 2011-08-29 Arnaud Charlet New
[Ada] Towards support in Alfa cross-references for generics 2012-03-30 Arnaud Charlet New
[Ada] Satisfy representation invariants in operation Move 2011-11-20 Arnaud Charlet New
[Ada] Contracts on imported subprograms 2012-07-17 Arnaud Charlet New
RFC: [build, ada] Centralize PICFLAG configuration 2011-08-16 Arnaud Charlet New
[Ada] Generate Alfa cross-references for instantiations of generics 2012-03-30 Arnaud Charlet New
[Ada] Fix spurious "prefix of dereference must be an access type" 2011-08-31 Arnaud Charlet New
[Ada] Preelaboration dependences for Remote_Types and RCI units 2012-07-09 Arnaud Charlet New
[Ada] Properly initialize aggregated projects to compute dependencies 2011-08-29 Arnaud Charlet New
[Ada] Cleaning up of quantified expression analysis and expansion. 2012-03-15 Arnaud Charlet New
[Ada] Use Dir_Seps everywhere to properly handle all directory speparators. 2011-08-31 Arnaud Charlet New
[Ada] Internal terminology change in compiler sources 2012-10-29 Arnaud Charlet New
« Previous 1 2 ... 244 245 246 247 248 249 250 251 252 ... 263 264 Next »