Patchwork GNU Compiler Collection

login
register
mail settings

Incoming patches

« Previous 1 2 ... 238 239 240 241 242 243 244 245 246 ... 469 470 Next »
Filters: State = Action Required remove filter    |    Archived = No remove filter
Patch A/R/T Date Submitter Delegate State
[Ada] Clean ups in SPARK mode 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Clean up of quantified expressions 0 0 0 2012-04-02 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 heap objects in the context of accessibility failures 0 0 0 2012-07-23 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 obsolescent stuff handling in scng 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Clean up in dimentionality checking code 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Clean up in Pop_Scope 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Clean up implementation of thin pointers in gigi 0 0 0 2012-03-09 Eric Botcazou New
[Ada] Clean up handling of pack, component size, aliased/atomic components 0 0 0 2010-10-08 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 invariants 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Clean up handling of assertions when disabled 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Clean up generation of FIRST/LAST temps for bounds 0 0 0 2015-03-13 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 System.Address_To_Access_Conversions 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Clean up -gnat2012 messages 0 0 0 2010-08-10 Arnaud Charlet New
[Ada] Classwide postconditions on null procedures 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Class_wide type of a private subtype 0 0 0 2010-06-16 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 invariants for type extensions in other units. 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Class-wide pre/postconditions 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Class-wide operations in instantations 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Class-wide objects and debugging information 0 0 0 2013-01-03 Arnaud Charlet New
[Ada] Clarify message for missing pragma argument identifier 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Child project extending a child project 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Checks on intrinsic operators 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Checks on alignment with address clauses 0 0 0 2010-06-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 fail on right operand of "and" and "or" with Short_Circuit_And_Or 0 0 0 2011-10-14 Arnaud Charlet New
[Ada] Checking for eliminated subprograms 0 0 0 2012-06-14 Arnaud Charlet New
[Ada] Check violation of 6.20/3 in aggregates 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Check that rtsfind entities are not overloaded 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Check that an aggregate is not Externally_Built 0 0 0 2012-02-17 Arnaud Charlet New
[Ada] Check that actual for aliased parameter is aliased 0 0 0 2011-09-01 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 redundant parens for conditional expressions 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Check preconditions for child iterator of multiway tree container 0 0 0 2011-12-02 Arnaud Charlet New
[Ada] Check missing function returns in generic template 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Check matching Float_Representation on OpenVMS 0 0 0 2011-12-23 Arnaud Charlet New
[Ada] Check infinite loop warning for exit when statement 0 0 0 2010-06-14 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 for correct Size for shift and rotate intrinsics 0 0 0 2012-01-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 attempt to bind GNATprove files 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Check component overlap when non-standard bit-order 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Check bad use of predicates 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Check ambiguity with prefixed views of tagged primitives 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Check SPARK restriction on recursive call 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Changes to SPARK RM 7.1.3(11) 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Changes related to back-end inlining 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Changes related to back-end inlining 0 0 0 2014-11-05 Eric Botcazou New
[Ada] Change value of the variable Name_Of_Heap_Variable 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Change spelling parametrize(d) => parameterize(d) 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Change sense of predicate when dequeuing high priority element 0 0 0 2011-10-24 Arnaud Charlet New
[Ada] Change semantics of partial iteration 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Change semantics of Merge 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Change return mechanism for variable-sized constrained array types 0 0 0 2011-03-24 Eric Botcazou New
[Ada] Change parameterized expression to expression function 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Change overflow mode handling 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Change of profile for Prj.Part.Parse 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Change of error message in gnatbind 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Change name Conditional_Expression to If_Expression 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Change error messages on duplicated Contract_Cases 0 0 0 2012-12-05 Arnaud Charlet 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 backtrace mechanism for x86/Linux 0 0 0 2010-08-18 Eric Botcazou New
[Ada] Change approach for control of intermediate overflow checking 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Change SPARK_Mode into GNATprove_Mode, and avoid expansion 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Change SIGADAABRT to SIGABRT on Darwin 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Catch newly illegal case of Unrestricted_Access 0 0 0 2014-07-16 Arnaud Charlet New
[Ada] Catch more redundant conversions with -gnatwr 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Case variable from another project in an extended project 0 0 0 2014-10-30 Arnaud Charlet New
[Ada] Case statements over predicated subtypes 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Cannot rename component of Volatile_Full_Access object 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Calls to protected operations in pre/postcondition 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Cache value returned by Is_Compilable 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] C++ types are limited 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Bump library version number 0 0 0 2011-04-30 Eric Botcazou New
[Ada] Bump copyright year 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Build-in place calls with inherited operations of untagged types 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] Bug box on object of derived array type with repped enumeration index 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Box-initialized components of aggregates in allocators 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Box associations in record aggregates 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Box associations for components without defaults in aggregates 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Bounded string slice fails when passed superflat bounds 0 0 0 2015-03-04 Arnaud Charlet New
[Ada] Bogus elaboration warnings on internally-generated finalizers 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Blank lines in SCO information 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Better warnings on Ada95/Ada05 incompatibility with limited types 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Better warning for failure to override an abstract operation in an instance 0 0 0 2012-02-17 Arnaud Charlet New
[Ada] Better reference information for in out params 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Better messages for missing entities in configurable runtime 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Better implementation for the read/write lock support 0 0 0 2011-09-27 Arnaud Charlet New
[Ada] Better handling of variant records with No_Implicit_Conditionals 0 0 0 2014-06-11 Arnaud Charlet New
[Ada] Better handling of illegal iterators 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Better handling of exponentiation range check 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Better handling of controlled objects in conditional expressions 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Better expansion of short-circuit, conditional expressions 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Better error recovery for unparenthesized expression functions 0 0 0 2011-09-05 Arnaud Charlet New