| [Ada] Inlining calls with by-reference parameters |
2011-09-01 |
Arnaud Charlet |
|
New |
| [Ada] Interface operations with access formal in constrained extension |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Extended syntax for Check_Policy |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Clean up handling of msgs for biasing |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Finalizable iterators for Ada 2012 containers |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Free memory used for computing checksum (gnatmake -m) |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Warning on unused loop variable of a quantified expression |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Minor change to version string support |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] With_clauses for child units that act as specs |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Doc clean ups |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Allow System.Multiprocessors[.Dispatching_Domains] in Ada 95 |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] DSA helpers for tagged types |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Remove hard-coded clock ids |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Check missing function returns in generic template |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Completing the implementation of Ada 2012 restrictions |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Improve DG output of subprograms |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Optimization of assignments to bit-packed components with rep. clauses |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Relax library dir checks for externally built library projects |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Array components of discriminated records with packed parent types |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Validity checks on boolean expressions |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Correct error handling in Initialize |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] New verbose message for gnatmake -m -v |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Diagnose unsupported bit packed arrays |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Factor duplicated code in expansion of record assignments |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of aspects within generic units |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] VMS 32/64bit heap handling |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Avoid uninitialized variable in Pop_End_Context |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Implement AI05-0086-1 (consider null exclusion for static matching) |
2010-10-19 |
Arnaud Charlet |
|
New |
| [Ada] Remove unnecessary node component from hashed map iterator |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Fix warning count when deleting continuations |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Redundant comparison to True |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Functions returning dispatching results |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Ada2012-A111 specifying a pool on an allocator |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] PR 22220 |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] gnatfind and source file names on Windows |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Add warning for overridden sizes |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Support for user-defined storage pools in limited function returns |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] All assignments to abstract target objects must be disallowed |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Improve detection of bad Stdcall convention |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] gnat stack -P only call gnatstack with existing .ci files |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Remove the Support_64_Bit_Divides flag |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Validity checks in generated equality function |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] New gnatls switch -aPdir |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Fixes/improvements to size check for enum rep clause |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Entity list of for loop for enumeration with rep gets truncated |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] Attributes of arrays with an index type derived from a formal type |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Handle others better for string aggregates |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] GNAT driver command line |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Store read/write through explicit dereference in ALFA mode |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Untagged incomplete views completed with tagged types |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Error recovery for illformed conditional expression |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Cleanups for Namet.Initialize |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Checks on intrinsic operators |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] Inherited interface operations hidden by local declaration |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Compiler crash on entry requeue in discriminated protected type |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Warning on redundant conversion |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Suppress expansion related to tasking and tagged types in Alfa mode |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Build-in place calls with inherited operations of untagged types |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Further illegalities with operator call in functional notation |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Equality on classwide arguments of constrained private extensions |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Usage of storage pools in build-in-place functions on ZFP |
2011-10-15 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect bounds retrieval in range checks |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Pragma Eliminated applied to internal protected subprograms |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Allow wild cards in Switches (<file>) in project files |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Deal with references for Alfa mode through multiple renamings |
2011-09-19 |
Arnaud Charlet |
|
New |
| [Ada] Inherited discriminants, extension aggregates, and allocators |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Heap objects constrained by their initial value |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Child project extending a child project |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Factoring duplicated code |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] new flag to disable some errors when loading projects |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] prevent overflow for index subtypes near extrema of base range |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Implement Ada 2012 AI-0177 Parametrized Expressions |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] ignore exceptions in termination handlers |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Finalization actions in instances within generic units |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Fix copy of object directory for extending projects |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Non-excluding subtypes and generics |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Unknown attribute in project member of aggregate project |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] Replaced 64-bit index manipulation with more efficient integer types |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Set up alternative signal stack for PowerPC Linux |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Interpretation of Form parameter for Ada.Directories.Copy_File |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Correct references in Alfa mode for use of renamings |
2011-09-19 |
Arnaud Charlet |
|
New |
| [Ada] Avoid dependency of package Atree on package Scil_ll |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Handling of implicit dereferences in generic units. |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Handling of child instances within a sibling |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Allow use of GNU ld on AIX |
2011-10-16 |
Arnaud Charlet |
|
New |
| [Ada] Fix casing of identifiers in error messages |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Reporting complex ambiguities |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Do style checks for main subunits |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Implement new Aspect control restrictions |
2011-09-19 |
Arnaud Charlet |
|
New |
| [Ada] Use Make_Temporary |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Redefine IOV_MAX on Tru64 and VMS |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Generate style warnings for spec |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Fix runtime assertion failure in timed selective wait |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] Warn on assigning to packed atomic component |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] 'Version and 'Body_Version in Stand-Alone Libraries |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Add support for not returning executable suffixes in executable names |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] mutex attributes not initialized in the linux run-time library |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Navigate to next node in bucket |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Elaboration checks in generic units |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Instruct gnatmake to pass -Oxxx switches to the linker |
2010-10-04 |
Arnaud Charlet |
|
New |