| [Ada] Always get an existing declared object/exec directory |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Error wrongly given for nested tagged types when No_Task_Hierarchy applies |
2010-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Duplicated SCO for decision in pragma Debug |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Nested elaboration checks and conditional expression |
2010-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Clean ups in container API |
2012-01-10 |
Arnaud Charlet |
|
New |
| [Ada] Crash on aggregate with discriminant expanded name in default expression |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Improve support of size and alignment clauses |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Elaboration of expressions in address clauses |
2010-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 containers |
2011-12-22 |
Arnaud Charlet |
|
New |
| [Ada] Implement -gnat-p switch (cancel previous -gnatp) |
2010-06-16 |
Arnaud Charlet |
|
New |
| [Ada] Do not skip analysis of aspect X when X'Class aspect present (and reverse) |
2011-08-04 |
Arnaud Charlet |
|
New |
| improve support for enums in -fdump-ada-spec |
2010-06-15 |
Arnaud Charlet |
|
New |
| [Ada] Inhibit exception push/pop when not needed |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Warn on assigning to packed atomic component |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Issue warning for missing -gnat2012 switch on aspect X'Class |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] 'Version and 'Body_Version in Stand-Alone Libraries |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Add overriding indicators |
2011-12-22 |
Arnaud Charlet |
|
New |
| [Ada] Set up alternative signal stack for PowerPC Linux |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Improve error message on misplaced 'Result in Ada 2012 mode |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Conditional expression is static if all expression are static |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Consistency of source locations in generated finalization code |
2011-12-22 |
Arnaud Charlet |
|
New |
| [Ada] Use_Type and operators that are primitive in more than one type |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Intrinsic operators with real operands |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] More work on short circuit forms |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Update dependencies |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] All assignments to abstract target objects must be disallowed |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Box-initialized components of aggregates in allocators |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Record original expression associated with actual subtypes |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Extra semantic rules for aspect Abstract_State and aspect Global |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Allow pragma Import and pragma Interface |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Use canonical case file name to check ALI file (-gnatc) |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Simplify expansion of conditional expressions |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Simplify Get_Target_Prefix in mlib-tgt-specific-xi.adb |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Missing error on illegal expanded name |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] SCO for nested decision in pragma |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Improve output of type for error messages |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Straigthen implementation of aggregate libraries |
2011-12-23 |
Arnaud Charlet |
|
New |
| [Ada] Wrong derivation of interfaces in generic formals |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Clean-up: remove flag Pragma_Enabled |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Fix warning count when deleting continuations |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Iteration over Ada container causes Program_Error |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] minor improvement to handling of assertion/check messages |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Improved error message on one-element positional aggregates |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Implement case expressions |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] No tampering check for empty container |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Replaced 64-bit index manipulation with more efficient integer types |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Fix obscure race condition in term alts |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Relax library dir checks for externally built library projects |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Iteration over class-wide containers |
2011-11-07 |
Arnaud Charlet |
|
New |
| [Ada] Fix casing of identifiers in error messages |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Remove detection of entities in the ALFA subset for formal verification |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Always prefer Pure/Preelab units in binder elab order |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Attribute 'Width and pragma Discard_Names |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] Ambiguity on "=" inherited from untagged private with tagged full type |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Detect useless assignments to parts of objects |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] new flag to disable some errors when loading projects |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Allow generic iteration on formal lists |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] GNAT driver, ASIS tools and switch -files= |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Correct wrong generation of ALFA cross-references |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Enable debug info generation for Postcondition procedures |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] SCOs for disabled pragmas |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Limited with clauses in parent units |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Remote types instance in private part of RCI spec |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Fix interface to a couple of POSIX functions |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Add Reason argument to pragma Warnings |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Shorter display for shared library building |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Save/restore value of pragma Normalize_Scalars |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Membership operations on fixed point universal arguments |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Warning on suspicious existential quantifier |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] behavior of invalid typed variable in project files |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Fix discrepancy between initialization and finalization of libraries |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Rederivation of interface primitives |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] New line for each entry for pg/po/ps in Sprint |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Implement Ada.Strings.UTF_Encoding |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Add support for binder/linker in gnatmake in CodePeer mode |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Fix error in short circuit expansion with -gnatd.X |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Get rid of internal use of N_Return_Statement |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] Error recovery for illformed conditional expression |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Special expansion in ALFA for pragma check/precondition/postcondition |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Extensions of constrained discriminated with other progenitors |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Remove internal debug flags -gnatd.X/-gnatd.Y |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Implement new Expression_With_Actions node |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Omit statement SCO for disabled pragma |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Attributes of arrays with an index type derived from a formal type |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Check for correct Size for shift and rotate intrinsics |
2012-01-10 |
Arnaud Charlet |
|
New |
| [Ada] Concatenation and initialize_scalars |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Correct order of evaluation of pre- and postcondition |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Fix bad warning message for Unreferenced |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012: Rule on function writable actuals (AI05-0144-2) |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] Use Make_Temporary (2) |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Get rid of break_start |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Further illegalities with operator call in functional notation |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake find old ALI files in wrong object directory |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] Tan should never raise Constraint_Error |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Name resolution of class-wide operations with prefix notation |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Finalization actions in instances within generic units |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Use full path of archives in link command |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Spurious error with overloaded operation and exponention operand |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Legality rules for formal packages with box initialization |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Implement Ekind_In in compiler |
2010-06-17 |
Arnaud Charlet |
|
New |