| [Ada] Style checks on subprogram instantiations |
2012-04-02 |
Arnaud Charlet |
|
New |
| [Ada] Checks on alignment with address clauses |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Remove internal debug flags -gnatd.X/-gnatd.Y |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Secondary stack usage and operators that rename functions |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Better error message for misused preprocessor directive |
2012-03-19 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect bounds retrieval in range checks |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Extra semantic rules for aspect Abstract_State and aspect Global |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Conditional expression is static if all expression are static |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] New Z lines in ALI files for implicit withs from instantiation |
2012-04-02 |
Arnaud Charlet |
|
New |
| [Ada] Elaboration checks in generic units |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Improvement to errors and warning messages for expanded names |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Use_Type and operators that are primitive in more than one type |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] File descriptor leak in GNAT.Expect |
2012-04-02 |
Arnaud Charlet |
|
New |
| [Ada] Replaced 64-bit index manipulation with more efficient integer types |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Attribute 'Width and pragma Discard_Names |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] Code reorganization in static evaluation of range membership |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] New preprocessor switch -a |
2012-10-04 |
Arnaud Charlet |
|
New |
| [Ada] More accurate sloc information for pragma Check |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Define unique entity for parameter (used in Alfa mode) |
2011-11-07 |
Arnaud Charlet |
|
New |
| [Ada] Better expansion of short-circuit, conditional expressions |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Legality of aspects specified on a full view |
2012-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Error wrongly given for nested tagged types when No_Task_Hierarchy applies |
2010-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Atomic_Synchronization applies to types as well as variables |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Test for recursive subprogram call via a derived subprogram |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Missing debug info for loop entity of an Ada 2012 array iterator loop |
2012-03-30 |
Arnaud Charlet |
|
New |
| [Ada] Nested elaboration checks and conditional expression |
2010-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Visibility in expression functions |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Elaboration of expressions in address clauses |
2010-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Fix internal error on constant with nested variant part |
2012-02-08 |
Arnaud Charlet |
|
New |
| [Ada] prevent overflow for index subtypes near extrema of base range |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] New line for each entry for pg/po/ps in Sprint |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Remove Dint (code cleanup) |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Remove code duplication in Scn and Sinput.P |
2012-02-08 |
Arnaud Charlet |
|
New |
| [Ada] behavior of invalid typed variable in project files |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Iteration over Ada container causes Program_Error |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake -s -gnatC always recompiles |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Preliminary work for enlarging nodes |
2012-03-19 |
Arnaud Charlet |
|
New |
| [Ada] Implement new Expression_With_Actions node |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Deal with empty input in __gnat_decode |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Adjust slots assignment of tagged type primitives |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Update GNAT RM with a separate chapter on restrictions |
2012-02-17 |
Arnaud Charlet |
|
New |
| [Ada] Overriding indicator rejected for controlled operation in child unit |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Refactoring of Ada.Text_IO.Put |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Clarify message for missing pragma argument identifier |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Initial framework for Valid_Scalars attribute |
2012-03-19 |
Arnaud Charlet |
|
New |
| [Ada] Always freeze slice itype |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Check for correct Size for shift and rotate intrinsics |
2012-01-10 |
Arnaud Charlet |
|
New |
| [Ada] Perfect_Hash_Generators cleanup |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect finalization of build-in-place function result |
2012-03-30 |
Arnaud Charlet |
|
New |
| [Ada] VMS 32/64bit heap handling |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Send gnatls/gnatcmd verbose diagnostics to stderr |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] pragma Style_Checks (All_Checks) for -gnatg mode |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Internal cleanup of overflow defaults |
2012-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Error recovery for illformed conditional expression |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Extend atomic synchronization handling to selections |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Membership operations on fixed point universal arguments |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Bogus elaboration warnings on internally-generated finalizers |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] Implement Ada.Strings.UTF_Encoding |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Handle compilation unit specific restrictions for subunits |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] New switch --unchecked-shared-lib-imports |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Missing finalization of class-wide object |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] PR 22220 |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Control over error message details for Contract_Cases |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Remove false positive for infinite loop warning |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Handling of Invariant aspect on type completions |
2012-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Crash on folded operator with universal operands in functional form |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Redefine FD_SETSIZE before including system headers |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Redefine IOV_MAX on Tru64 and VMS |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Increase maximum number of instantiations |
2012-03-07 |
Arnaud Charlet |
|
New |
| [Ada] Fix implementation of the vectored sockets on Windows |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Add Reason argument to pragma Warnings |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Inherited interface operations hidden by local declaration |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Package instantiation as remote call interface |
2012-02-17 |
Arnaud Charlet |
|
New |
| [Ada] GNAT driver, ASIS tools and switch -files= |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Add Generic_Sort operation to standard library |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Enable debug info generation for Postcondition procedures |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Protect generation of Alfa sections in ALI files against empty node |
2012-03-30 |
Arnaud Charlet |
|
New |
| [Ada] Implement Ekind_In in compiler |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Change semantics of Merge |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Consistent Ada_Versions in instance bodies |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Check that an aggregate is not Externally_Built |
2012-02-17 |
Arnaud Charlet |
|
New |
| [Ada] Initialize_Scalars should not clobber variable with address clause |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Create the Find_Name_In_Path helper |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Avoid dependency of package Atree on package Scil_ll |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Allocation of controlled private type with unknown discriminants |
2012-02-17 |
Arnaud Charlet |
|
New |
| [Ada] Rederivation of interface primitives |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Straigthen implementation of aggregate libraries |
2011-12-23 |
Arnaud Charlet |
|
New |
| [Ada] Do not replace Float'Range check by 'Valid |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Don't flag No_Obsolescent_Features violations in instances |
2012-02-17 |
Arnaud Charlet |
|
New |
| [Ada] PR ada/44633 |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Default to -gnatw.L |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] Allow pragma Import and pragma Interface |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Internal error on multiple layers of nested generics |
2012-03-07 |
Arnaud Charlet |
|
New |
| [Ada] Resolution of references to predefined operators |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Clean ups in container API |
2012-01-10 |
Arnaud Charlet |
|
New |
| [Ada] Bad initialization of dynamic tables in gnatname ... --and ... |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Handling of library unit renamings in with_clauses |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake -f -u <main> always invokes the compiler |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Further refinement to Atomic_Synchronization handling |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Fix interface to a couple of POSIX functions |
2010-06-17 |
Arnaud Charlet |
|
New |