| [Ada] Get rid of superfluous access checks |
2011-11-20 |
Arnaud Charlet |
|
New |
| [Ada] Fix error in short circuit expansion with -gnatd.X |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Allow static string expression as name of Test_Case pragma/aspect |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Aspect specifications initial preparation |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] --version and --help in usage of GNAT tools |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Resolution of references to predefined operators |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Special cross references in ALFA mode for constants and formals |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Add initial support for aspects |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Add new attribute System_Allocator_Alignment |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Extensions of constrained discriminated with other progenitors |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Premature freezing when building dispatch tables |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Use Ada_2012 instead of Ada_12 |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Fix handling of local Restrictions pragmas |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] Check missing function returns in generic template |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect assignment when deleting node |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Fix oversight in new handling of -Oxxx switches |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Possibly bit aligned objects in assignments |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Fix bad warning message for Unreferenced |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Disable aggregate expansion in assignments in VM targets |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of AI05-0151: additional uses for incomplete types |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Null access exception for nested build-in-place calls in allocator |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] More work on short circuit forms |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Remove C output of gnatbind |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Allow shared libraries to import any projects for some tools |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] improve speed for many tagged types |
2011-09-01 |
Arnaud Charlet |
|
New |
| [Ada] Concatenation and initialize_scalars |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Do not generate SCO for use clause or rep clause |
2011-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Remote types packages can depend on preelaborated packages |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Optional argument Concatenate for Getopt in GNAT.Command_Line |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Use Make_Temporary (3) |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of AI05-0161 restriction No_Default_Stream_Attributes |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Avoid silly long compilation for Wide_Wide_Character'Width |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Suppress false alarm "postcondition refers only to pre-state" |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Use Make_Temporary (2) |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Fix GNAT compilation error when SPARK restriction mode is set |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] String list external references in project files |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Improve the function that computes a unique name for Entities |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Error recovery for illformed conditional expression |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] AI05-0069 : Holder container |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Next stage in implementation of Ada 2012 aspects |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Race condition in Make_Independent |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Tan should never raise Constraint_Error |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Check preconditions for child iterator of multiway tree container |
2011-12-02 |
Arnaud Charlet |
|
New |
| [Ada] New iterator form for GNAT.HTable.Simple_HTable |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Constraint checks on exit from function calls with out parameters |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] Always freeze slice itype |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Get gnatls project path from Prj.Env |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Implement delay of aspects to freeze point |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Generated tag assignment after object declaration |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Finalization actions in instances within generic units |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Reduce compilation time at -O0 (4/n) |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] No_Relative_Delay forbids Set_Handler calls |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Spurious warnings on element iterator whose domain is a function call |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Fix warning count when deleting continuations |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Compiler crash when an aggregate's range choice does not match index type |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Child project extending a child project |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Freezing and Ada2012 expression functions |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Navigate to next node in bucket |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Reduce compilation time at -O0 (3/n) |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Primitive equality for composite types |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Implement No_Implicit_Aliasing restriction |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Attributes of arrays with an index type derived from a formal type |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] No adainit/adafinal procedures in Stand-Alone Libraries |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Maximum line length in project files created by gnatname |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Implement conventions Ada_Pass_By_Copy and Ada_Pass_By_Reference |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Perfect_Hash_Generators cleanup |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Legality checks on 'Result in the presence of quantified expression |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Add some defenses against junk code |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Optimization of assignments to bit-packed components with rep. clauses |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Constant-folding and discriminants |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Final implementation of Default[_Component]_Value aspects |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Allow wild cards in Switches (<file>) in project files |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Wrong initialization of limited class-wide interface objects |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Implement pragma Ordered and -gnatw.u |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Deallocation of a single allocated object (PR ada/47880) |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Restrict simultaneous compilations to one per object dir |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Dereference correct hash table for a given node array index |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Catch more redundant conversions with -gnatwr |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Unresolved discriminant selector of private overloaded prefix |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Clean up obsolescent stuff handling in scng |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] VMS: fix incompatibility of sendmsg/recvmsg |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Interpretation of Form parameter for Ada.Directories.Copy_File |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Recognize HIDE directive in SPARK as special comment |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Do style checks for main subunits |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Correct object path when binding extending SALs |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake and invalid mains in attribute Main |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Iterators over containers of indefinite types |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Properly delay Address aspect |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Default-initialize Nodes component |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Implement restriction No_Allocators_After_Elaboration |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Correct wrong generation of ALFA cross-references |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Move Create_Binder_Mapping_File to Makeutl |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Assignment to a packed component with a change of representation |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Generate style warnings for spec |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Delay all aspects |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Parametrized expressions must be parenthesized |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Implement new Ada 2012 restriction No_Implementation_Units |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Implement Ada 2012 AI-0177 Parametrized Expressions |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Premature finalization when iterating over containers |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Avoid unchecked conversion of nodes referencing interface tags |
2010-10-04 |
Arnaud Charlet |
|
New |