Patchwork GNU Compiler Collection

login
register
mail settings

Incoming patches

« Previous 1 2 ... 211 212 213 214 215 216 217 218 219 ... 444 445 Next »
Filters: Archived = No remove filter
Patch A/R/T Date Submitter Delegate State
[Ada] Box associations for components without defaults in aggregates 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Box associations in record aggregates 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Box-initialized components of aggregates in allocators 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Bug box on object of derived array type with repped enumeration index 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Bug with interfaces and limited views 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Build-in place calls with inherited operations of untagged types 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Bump copyright year 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Bump library version number 0 0 0 2011-04-30 Eric Botcazou New
[Ada] C++ types are limited 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Cache value returned by Is_Compilable 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Calls to protected operations in pre/postcondition 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Case statements over predicated subtypes 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Case variable from another project in an extended project 0 0 0 2014-10-30 Arnaud Charlet New
[Ada] Catch more redundant conversions with -gnatwr 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Catch newly illegal case of Unrestricted_Access 0 0 0 2014-07-16 Arnaud Charlet New
[Ada] Change SIGADAABRT to SIGABRT on Darwin 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Change SPARK_Mode into GNATprove_Mode, and avoid expansion 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Change approach for control of intermediate overflow checking 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Change backtrace mechanism for x86/Linux 0 0 0 2010-08-18 Eric Botcazou New
[Ada] Change error message in Ada 2012 mode for misplaced "if" and "case" 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Change error messages on duplicated Contract_Cases 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Change name Conditional_Expression to If_Expression 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Change of error message in gnatbind 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Change of profile for Prj.Part.Parse 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Change overflow mode handling 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Change parameterized expression to expression function 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Change return mechanism for variable-sized constrained array types 0 0 0 2011-03-24 Eric Botcazou New
[Ada] Change semantics of Merge 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Change semantics of partial iteration 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Change sense of predicate when dequeuing high priority element 0 0 0 2011-10-24 Arnaud Charlet New
[Ada] Change spelling parametrize(d) => parameterize(d) 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Change value of the variable Name_Of_Heap_Variable 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Changes related to back-end inlining 0 0 0 2014-11-05 Eric Botcazou New
[Ada] Changes related to back-end inlining 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Changes to SPARK RM 7.1.3(11) 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Check SPARK restriction on recursive call 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Check ambiguity with prefixed views of tagged primitives 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Check bad use of predicates 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Check component overlap when non-standard bit-order 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Check for attempt to bind GNATprove files 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Check for container tampering 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Check for container tampering 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Check for correct Size for shift and rotate intrinsics 0 0 0 2012-01-10 Arnaud Charlet New
[Ada] Check for illegal global refs to abstract state when refinement visible 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Check infinite loop warning for exit when statement 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Check matching Float_Representation on OpenVMS 0 0 0 2011-12-23 Arnaud Charlet New
[Ada] Check missing function returns in generic template 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Check preconditions for child iterator of multiway tree container 0 0 0 2011-12-02 Arnaud Charlet New
[Ada] Check redundant parens for conditional expressions 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Check that Storage_Pool/Storage_Size not both given for same entity 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Check that actual for aliased parameter is aliased 0 0 0 2011-09-01 Arnaud Charlet New
[Ada] Check that an aggregate is not Externally_Built 0 0 0 2012-02-17 Arnaud Charlet New
[Ada] Check that rtsfind entities are not overloaded 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Checking for eliminated subprograms 0 0 0 2012-06-14 Arnaud Charlet New
[Ada] Checks fail on right operand of "and" and "or" with Short_Circuit_And_Or 0 0 0 2011-10-14 Arnaud Charlet New
[Ada] Checks on aliasing and initialization of scalars for parameters 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Checks on alignment with address clauses 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Checks on intrinsic operators 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Child project extending a child project 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Clarify message for missing pragma argument identifier 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Class-wide objects and debugging information 0 0 0 2013-01-03 Arnaud Charlet New
[Ada] Class-wide operations in instantations 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Class-wide pre/postconditions 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Class-wide type invariants for type extensions in other units. 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Class-wide types of private extensions of constrained types 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Class_wide type of a private subtype 0 0 0 2010-06-16 Arnaud Charlet New
[Ada] Classwide postconditions on null procedures 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Clean up -gnat2012 messages 0 0 0 2010-08-10 Arnaud Charlet New
[Ada] Clean up System.Address_To_Access_Conversions 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Clean up and document use of IN_GCC outside the compiler 0 0 0 2011-08-30 Eric Botcazou New
[Ada] Clean up generation of FIRST/LAST temps for bounds 0 0 0 2015-03-13 Arnaud Charlet New
[Ada] Clean up handling of assertions when disabled 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Clean up handling of invariants 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Clean up handling of msgs for biasing 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Clean up handling of pack, component size, aliased/atomic components 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Clean up implementation of thin pointers in gigi 0 0 0 2012-03-09 Eric Botcazou New
[Ada] Clean up in Pop_Scope 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Clean up in dimentionality checking code 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Clean up obsolescent stuff handling in scng 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Clean up of gnatbind output (for non-standard run times) 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Clean up of heap objects in the context of accessibility failures 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Clean up of index usage in string literal subtypes 0 0 0 2012-04-26 Arnaud Charlet New
[Ada] Clean up of quantified expressions 0 0 0 2012-04-02 Arnaud Charlet New
[Ada] Clean ups in SPARK mode 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Clean ups in container API 0 0 0 2012-01-10 Arnaud Charlet New
[Ada] Clean-up: remove flag Pragma_Enabled 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Cleaning up of quantified expression analysis and expansion. 0 0 0 2012-03-15 Arnaud Charlet New
[Ada] Cleanup -gnatG output for machine code 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Cleanup analysis of concurrent types that implement interfaces 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Cleanup code for the generation of the _Postconditions procedure 0 0 0 2013-04-23 Arnaud Charlet New
[Ada] Cleanup for static expressions raising constraint error 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Cleanup front end code (introduce N_Subprogram_Call) 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Cleanup handling of discrete static predicates 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Cleanup handling of info and warning messages 0 0 0 2014-06-11 Arnaud Charlet New
[Ada] Cleanup in exception_occurrence 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Cleanup in raise-gcc.c 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Cleanup in sysdep.c: remove unused declaration 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Cleanup invariant support 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Cleanup of aspect/pragma Refined_Post 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Cleanup of aspects 0 0 0 2013-04-23 Arnaud Charlet New