Patchwork GNU Compiler Collection

login
register
mail settings

Incoming patches

« Previous 1 2 ... 234 235 236 237 238 239 240 241 242 ... 263 264 Next »
Filters: State = Action Required remove filter    |    Archived = No remove filter
Patch Date Submitter Delegate State
[Ada] Remove remnants of GNAT support for OS/2 and MSDOS 2010-06-22 Arnaud Charlet New
[Ada] Deallocation of a class-wide object with unknown discriminants 2011-11-23 Arnaud Charlet New
[Ada] Implementation of quantified expressions 2010-10-19 Arnaud Charlet New
[Ada] Keep checks in Alfa mode for formal verification 2012-10-29 Arnaud Charlet New
[Ada] Cleanup analysis of concurrent types that implement interfaces 2010-06-22 Arnaud Charlet New
[Ada] Extend ALFA marks to more types of nodes 2011-08-03 Arnaud Charlet New
[Ada] Functions with access result are primitives 2010-10-19 Arnaud Charlet New
[Ada] 2012 rule on aliasing 2013-01-03 Arnaud Charlet New
[Ada] Inherited interface operations hidden by local declaration 2010-06-22 Arnaud Charlet New
[Ada] Fix bad warning for divide by zero 2011-10-06 Arnaud Charlet New
[Ada] Instantiation of a renaming of an implicit child unit 2010-10-19 Arnaud Charlet New
[Ada] Fix another error in multi-precision division used in ELIMINATED mode 2012-11-06 Arnaud Charlet New
[Ada] Class-wide types of private extensions of constrained types 2010-06-18 Arnaud Charlet New
[Ada] Only allow boolean conditional expression in ALFA 2011-08-03 Arnaud Charlet New
[Ada] Implement Invariant aspect and pragma 2010-10-19 Arnaud Charlet New
[Ada] Decoration of limited-with clauses 2012-12-05 Arnaud Charlet New
[Ada] Do not replace Float'Range check by 'Valid 2010-06-22 Arnaud Charlet New
[Ada] Fix check for entry family bounds out of range 2011-11-23 Arnaud Charlet New
[Ada] More detailed exception messages 2010-10-19 Arnaud Charlet New
[Ada] Entities for subprogram body should not have a contract node attached 2013-04-24 Arnaud Charlet New
[Ada] Replaced 64-bit index manipulation with more efficient integer types 2010-06-22 Arnaud Charlet New
[Ada] Ada2012 : incomplete types can be used in more contexts 2011-08-03 Arnaud Charlet New
[Ada] Allow defaulted discriminants on tagged types for Ada 2012 2010-10-22 Arnaud Charlet New
[Ada] clean ups in Makefiles 2012-11-06 Arnaud Charlet New
[Ada] Interface operations with access formal in constrained extension 2010-06-17 Arnaud Charlet New
[Ada] Fixed bugs in iterators for set containers 2011-11-23 Arnaud Charlet New
[Ada] Compiler crash with Initialize_Scalars 2010-10-26 Arnaud Charlet New
[Ada] Add support for returning binary message digest 2012-10-29 Arnaud Charlet New
[Ada] No project level attribute Main_Language 2010-06-22 Arnaud Charlet New
[Ada] Fix latent bug in the analysis of iteration bounds 2011-08-02 Arnaud Charlet New
[Ada] Enforce new no dependence restrictions with Ravenscar 2010-10-21 Arnaud Charlet New
[Ada] Aspects on expression function without prior declaration 2013-04-24 Arnaud Charlet New
[Ada] New switch --unchecked-shared-lib-imports 2010-06-22 Arnaud Charlet New
[Ada] Remove hard-coded clock ids 2011-11-23 Arnaud Charlet New
[Ada] Change overflow mode handling 2012-12-05 Arnaud Charlet New
[Ada] Aspect/pragma Contract_Cases and library level subprograms 2013-04-22 Arnaud Charlet New
[Ada] Missing error on illegal expanded name 2010-06-14 Arnaud Charlet New
[Ada] Set_Command_Line: improve handling of grouped switches with parameters 2011-08-03 Arnaud Charlet New
[Ada] New switch -gnateP to warn on Pure/Preelaborate errors 2010-10-26 Arnaud Charlet New
[Ada] Cleanup order of Nkind declarations in Sinfo 2013-01-04 Arnaud Charlet New
[Ada] Type compatibility of anonymous access to extensions of constrained types 2010-06-18 Arnaud Charlet New
[Ada] Support for user-defined storage pools in limited function returns 2011-10-13 Arnaud Charlet New
[Ada] Quantified expressions in pre/postconditions and other contexts 2010-10-26 Arnaud Charlet New
[Ada] Support target with both VAX and IEEE float 2012-11-06 Arnaud Charlet New
[Ada] Resolution of references to predefined operators 2010-06-22 Arnaud Charlet New
[Ada] Improve removal of side effects in in-mode parameters 2011-08-02 Arnaud Charlet New
[Ada] Handle First/Last/Range for predicated types 2010-10-22 Arnaud Charlet New
[Ada] Only one of Priority or Interrupt_Priority can be specified 2012-10-29 Arnaud Charlet New
[Ada] Redefine IOV_MAX on Tru64 and VMS 2010-06-14 Arnaud Charlet New
[Ada] Stand-Alone Library with attribute Interfaces 2012-01-30 Arnaud Charlet New
[Ada] Generation of SCOs for aspects 2012-12-05 Arnaud Charlet New
[Ada] Locally enabled invariants are ignored 2013-04-25 Arnaud Charlet New
[Ada] Clarify message for missing pragma argument identifier 2010-06-14 Arnaud Charlet New
[Ada] Spurious warnings on iterators over subcomponents 2011-09-02 Arnaud Charlet New
[Ada] Run csinfo and ceinfo automatically 2010-10-26 Arnaud Charlet New
[Ada] Preconditions and postconditions on subprogram bodies 2013-01-02 Arnaud Charlet New
[Ada] Fix scaled complex multiplication in case of overflow 2010-06-22 Arnaud Charlet New
[Ada] Move Implementation_Defined pragma to inner package 2011-10-16 Arnaud Charlet New
[Ada] Warnings about declarations that hide outer homographs 2010-10-21 Arnaud Charlet New
[Ada] Expression of static predicate should be static 2013-04-25 Arnaud Charlet New
[Ada] Minor improvements to regexps 2010-06-21 Arnaud Charlet New
[Ada] Implementation of aspect Synchronization 2012-01-23 Arnaud Charlet New
[Ada] Optimization of array aggregates 2010-10-21 Arnaud Charlet New
[Ada] Add a new pragma Assert_And_Cut for formal verification tools 2012-10-29 Arnaud Charlet New
[Ada] Use Make_Temporary (5) 2010-06-17 Arnaud Charlet New
[Ada] Minor changes for GNAT dimensionality checking system 2012-01-30 Arnaud Charlet New
[Ada] Properly check violations of machine scalar rules 2010-10-26 Arnaud Charlet New
[Ada] Expansion of renamings of unconstrained objects 2012-11-06 Arnaud Charlet New
[Ada] Optimize 2**N in more contexts 2010-06-14 Arnaud Charlet New
[Ada] Strip Switch.C of most of its dependencies 2011-08-02 Arnaud Charlet New
[Ada] Fix bad warning for unmodified pragma and unbounded string 2010-10-18 Arnaud Charlet New
[Ada] Correct possible double qualification of names in formal mode 2012-11-06 Arnaud Charlet New
[Ada] Relax library dir checks for externally built library projects 2010-06-17 Arnaud Charlet New
[Ada] Change sense of predicate when dequeuing high priority element 2011-10-24 Arnaud Charlet New
[Ada] Handle delay of Pre/Post and inherited Pre'Class 2010-10-18 Arnaud Charlet New
[Ada] Better error message for aspect specification without Ada 2012 mode 2013-01-04 Arnaud Charlet New
[Ada] gnatmake performance enhancement 2010-06-17 Arnaud Charlet New
[Ada] Remove spurious warning in Alfa mode 2011-12-02 Arnaud Charlet New
[Ada] Clean up handling of invariants 2010-10-26 Arnaud Charlet New
[Ada] Fix thinko in bignum allocation routine 2012-10-29 Arnaud Charlet New
[Ada] Warn on assigning to packed atomic component 2010-06-18 Arnaud Charlet New
[Ada] Fix Forward_Eliminate routine to allow use with complex matrices 2011-10-13 Arnaud Charlet New
[Ada] Use clauses and use_type clauses 2010-10-18 Arnaud Charlet New
[Ada] Incorrect sign extensions on IOCTL system constants 2012-10-29 Arnaud Charlet New
[Ada] gnatbind -R may list several times the same source 2010-06-21 Arnaud Charlet New
[Ada] Redundant apostrophes in error messages 2012-01-23 Arnaud Charlet New
[Ada] Implement Input/Output/Read/Write aspects 2010-10-18 Arnaud Charlet New
[Ada] Legality of self-referential outputs in aspect/pragma Depends 2013-04-23 Arnaud Charlet New
[Ada] Initialize_Scalars should not clobber variable with address clause 2010-06-14 Arnaud Charlet New
[Ada] Fix typo in Covers_Some_Interface predicate 2011-10-24 Arnaud Charlet New
[Ada] New project attribute Ignore_Source_Sub_Dirs 2010-10-18 Arnaud Charlet New
[Ada] New function Ada.Environment_Variables.Value with default 2013-04-23 Arnaud Charlet New
[Ada] Consistent Ada_Versions in instance bodies 2010-06-23 Arnaud Charlet New
[Ada] Change name Conditional_Expression to If_Expression 2012-10-02 Arnaud Charlet New
[Ada] Add Float_Rep attribute for floating point entities 2010-10-22 Arnaud Charlet New
[Ada] Implementation-defined restrictions 2012-12-05 Arnaud Charlet New
[Ada] Inline_Always applied to a subprogram body without previous spec 2010-06-14 Arnaud Charlet New
[Ada] Allocation of coextensions 2011-12-21 Arnaud Charlet New
[Ada] Use Freeze_Before in lieu of more verbose sequence 2010-10-18 Arnaud Charlet New
[Ada] Document vax float point representation 2012-11-06 Arnaud Charlet New
« Previous 1 2 ... 234 235 236 237 238 239 240 241 242 ... 263 264 Next »