| [Ada] Ada.Streams.Stream_IO is preelaborated |
2012-07-09 |
Arnaud Charlet |
|
New |
| [Ada] Bad bounds checks on slice of explicit dereference |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Illegal calls in entry call alternatives |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Reduce compilation time at -O0 (5/n) |
2011-08-02 |
Arnaud Charlet |
|
New |
| Add extra location information - PR43486 |
2012-09-18 |
Arnaud Charlet |
|
New |
| [Ada] Fixed I/O to a string |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Anonymous access components that denote tasks |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Inherited aspects of subtypes |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Minor tweak to expanded code for transient objects |
2012-07-17 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect bounds retrieval in range checks |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Aspects on expression function without prior declaration |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Remove spurious warning in Alfa mode |
2011-12-02 |
Arnaud Charlet |
|
New |
| [Ada] Attribute Loop_Entry |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Pragma Eliminated applied to internal protected subprograms |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Correct project search path when using switch -aP |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Dimensionnality Checking |
2011-12-15 |
Arnaud Charlet |
|
New |
| [Ada] Reject exponent of dimensioned operand that is unknown at compile-time |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Avoid dependency of package Atree on package Scil_ll |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Expansion of renamings of unconstrained objects |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Warning on premature task activation |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Lock_Free implementation for protected object |
2012-07-09 |
Arnaud Charlet |
|
New |
| [Ada] Fix implementation of the vectored sockets on Windows |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] gnatbind: improve messages in -v mode |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Control over error message details for Contract_Cases |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] In Alfa mode, issue an error instead of a warning on a missing component |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Bad initialization of dynamic tables in gnatname ... --and ... |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Correct possible double qualification of names in formal mode |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Tag-indeterminate calls |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Fix error in multi-precision division used in ELIMINATED mode |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Freezing the designated type of an access_to_subprogram_type |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Legality rules for pragma Unchecked_Union |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Proper handling of Has_Element in user-defined iterators |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Element allocators in indefinite containers need accessibility checks |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Remove remnants of GNAT support for OS/2 and MSDOS |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Fix another error in multi-precision division used in ELIMINATED mode |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Remove IN parameters from Alfa section in ALI |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Contracts on imported subprograms |
2012-07-17 |
Arnaud Charlet |
|
New |
| [Ada] Check component overlap when non-standard bit-order |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Legality of self-referential outputs in aspect/pragma Depends |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Clean up in dimentionality checking code |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Warn on redefinition of standard entities |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Cleanup analysis of concurrent types that implement interfaces |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] New function Ada.Environment_Variables.Value with default |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] merge operation should always clear source |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Prevent mispelling error messages |
2012-07-09 |
Arnaud Charlet |
|
New |
| [Ada] Adjust slots assignment of tagged type primitives |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Implement Predicate_Check |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Improvement to errors and warning messages for expanded names |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake --subdirs without project file, binding and linking |
2012-07-12 |
Arnaud Charlet |
|
New |
| [Ada] Crash overriding the equality operator |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Document vax float point representation |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Make GNAT.AWK API compatible with Ada 2005. |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Crash on private enumeration type when compiling with -gnatVa |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Navigate to next node in bucket |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Properly initialize value of global variable Unit_Casing before use |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Deal with empty input in __gnat_decode |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Portability improvement for constants related to serial ports |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] New switch --unchecked-shared-lib-imports |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Disabled invariants and preconditions and _Postconditions |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Improper optimization of range checks |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Fix handling of -A binder argument by gnatmake |
2012-07-30 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake performance enhancement |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Fall-back termination handlers does not apply to Self |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Remove partial interface to BLAS/LAPACK |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Warn for failure to parenthesize unary minus |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Improve 'Image accuracy for fixed point types with decimal small |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Do not apply float conversion checks if expansion not enabled |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Attributes on predicated subtypes |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Serial port flow control support |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Clarify message for missing pragma argument identifier |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Implement extended overflow handling for comparison ops |
2012-10-01 |
Arnaud Charlet |
|
New |
| [Ada] Illegal program not detected, self renames, PR15846 |
2012-01-24 |
Arnaud Charlet |
|
New |
| [Ada] Aspect Global |
2013-01-04 |
Arnaud Charlet |
|
New |
| [Ada] Class-wide types of private extensions of constrained types |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Wrong visibility for root library unit |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Finalization actions during abort |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] clean ups in Makefiles |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Fix scaled complex multiplication in case of overflow |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Support both concurrent and sequential partition elaboration policies |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Use Encapsulated instead of Fully Standalone library |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Static entry [family] names for VMS Debug |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Discriminant references in aggregates |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Fix race condition in freeing tasks |
2012-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Extend ALFA marks to more types of nodes |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] New implementation-defined pragma: Attribute_Definition |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Consistent Ada_Versions in instance bodies |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Ada/C++ missing call to constructor with defaults |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] In Alfa mode, record also modifications not coming from source |
2011-11-07 |
Arnaud Charlet |
|
New |
| [Ada] Visibility error in the presence of private limited with clauses |
2012-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Elaboration checks in generic units |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] : Remove __gl_zero_cost_exceptions in the binder generated file |
2012-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Only allow boolean conditional expression in ALFA |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Remaining fixes for -gnato3 (eliminated mode overflow checks) |
2012-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Interface operations with access formal in constrained extension |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Static predicate checks on type conversions |
2012-10-01 |
Arnaud Charlet |
|
New |
| [Ada] Verification of Ada 2012 subpool implementation |
2011-12-20 |
Arnaud Charlet |
|
New |
| Fix -fdump-ada-spec |
2012-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Optimize 2**N in more contexts |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] New addition to the GNAT dimensionality checking system |
2012-10-01 |
Arnaud Charlet |
|
New |
| [Ada] Reduce compilation time at -O0 (2/n) |
2011-08-02 |
Arnaud Charlet |
|
New |