| [Ada] Check infinite loop warning for exit when statement |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Finalization actions during abort |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Class_wide type of a private subtype |
2010-06-16 |
Arnaud Charlet |
|
New |
| [Ada] Iteration over Ada container causes Program_Error |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] Ambiguous universal arithmetic expressions in conversions |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Improve finalization of global controlled objects |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Crash on folded operator with universal operands in functional form |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Update dependencies |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Extension aggregate with ancestor that is a constrained private extension |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Improve finalization of global controlled objects (2) |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Reorganization of NetDB binding |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Consistency of source locations in generated finalization code |
2011-12-22 |
Arnaud Charlet |
|
New |
| [Ada] Checks on alignment with address clauses |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Unresolved symbols with pragma External_Name_Casing |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Implement pragma Ada_2012 and -gnat12 switch |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Straigthen implementation of aggregate libraries |
2011-12-23 |
Arnaud Charlet |
|
New |
| [Ada] Secondary stack usage and operators that rename functions |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Forbid anonymous access to subprogram in Compiler_Unit mode |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] pragma Style_Checks (All_Checks) for -gnatg mode |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 containers |
2011-12-22 |
Arnaud Charlet |
|
New |
| [Ada] Redefine IOV_MAX on Tru64 and VMS |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Add anonymous subtypes to ALFA |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake does not take into account compiler switch -gnatknn |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] MKS dimension system |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] Handling of implicit dereferences in generic units. |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Mark generated subtypes and loop iteration entity as in ALFA |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] pragma Warnings Off (str) should delete continuations |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Handle compilation unit specific restrictions for subunits |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Better expansion of short-circuit, conditional expressions |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Fix minor violation of B.1 (39) implementation advice |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] GNAT.Sockets.Null_Selector |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Add overriding indicators |
2011-12-22 |
Arnaud Charlet |
|
New |
| [Ada] Error wrongly given for nested tagged types when No_Task_Hierarchy applies |
2010-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Add special case for "ALFA" in error message similar to "RM" |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Nested elaboration checks and conditional expression |
2010-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Verification of Ada 2012 subpool implementation |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] Crash on aggregate with discriminant expanded name in default expression |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Duplicated SCO for decision in pragma Debug |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Elaboration of expressions in address clauses |
2010-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Inhibit exception push/pop when not needed |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Implement -gnat-p switch (cancel previous -gnatp) |
2010-06-16 |
Arnaud Charlet |
|
New |
| [Ada] Improve support of size and alignment clauses |
2011-08-04 |
Arnaud Charlet |
|
New |
| improve support for enums in -fdump-ada-spec |
2010-06-15 |
Arnaud Charlet |
|
New |
| [Ada] Warning on suspicious existential quantifier |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Warn on assigning to packed atomic component |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Do not skip analysis of aspect X when X'Class aspect present (and reverse) |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] 'Version and 'Body_Version in Stand-Alone Libraries |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Prevent use of attribute definitions for renamings |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] Set up alternative signal stack for PowerPC Linux |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Issue warning for missing -gnat2012 switch on aspect X'Class |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Conditional expression is static if all expression are static |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Get rid of internal use of N_Return_Statement |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] Use_Type and operators that are primitive in more than one type |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Improve error message on misplaced 'Result in Ada 2012 mode |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] More work on short circuit forms |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Cleanup -gnatG output for machine code |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] All assignments to abstract target objects must be disallowed |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Intrinsic operators with real operands |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Record original expression associated with actual subtypes |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Clean ups in container API |
2012-01-10 |
Arnaud Charlet |
|
New |
| [Ada] Allow pragma Import and pragma Interface |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Box-initialized components of aggregates in allocators |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Simplify expansion of conditional expressions |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Message on rewriting loops is now an info message |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Missing error on illegal expanded name |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Use canonical case file name to check ALI file (-gnatc) |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Improve output of type for error messages |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Improve error msg for passing volatile to non-volatile |
2011-11-07 |
Arnaud Charlet |
|
New |
| [Ada] Wrong derivation of interfaces in generic formals |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] SCO for nested decision in pragma |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Fix warning count when deleting continuations |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Simplify Get_Target_Prefix in mlib-tgt-specific-xi.adb |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] minor improvement to handling of assertion/check messages |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Clean-up: remove flag Pragma_Enabled |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Implement case expressions |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Always get an existing declared object/exec directory |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Replaced 64-bit index manipulation with more efficient integer types |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Improved error message on one-element positional aggregates |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Relax library dir checks for externally built library projects |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Attribute 'Width and pragma Discard_Names |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] Fix casing of identifiers in error messages |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Fix obscure race condition in term alts |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Always prefer Pure/Preelab units in binder elab order |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] No tampering check for empty container |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Ambiguity on "=" inherited from untagged private with tagged full type |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Remove detection of entities in the ALFA subset for formal verification |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] new flag to disable some errors when loading projects |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Iteration over class-wide containers |
2011-11-07 |
Arnaud Charlet |
|
New |
| [Ada] GNAT driver, ASIS tools and switch -files= |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Detect useless assignments to parts of objects |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Enable debug info generation for Postcondition procedures |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Add Reason argument to pragma Warnings |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Limited with clauses in parent units |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Do not use specific stream routines for strings when not available |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Fix interface to a couple of POSIX functions |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] SCOs for disabled pragmas |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Shorter display for shared library building |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Remote types instance in private part of RCI spec |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Membership operations on fixed point universal arguments |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Extra semantic rules for aspect Abstract_State and aspect Global |
2013-04-25 |
Arnaud Charlet |
|
New |