| [Ada] Bug box on object of derived array type with repped enumeration index |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Usage of storage pools in build-in-place functions on ZFP |
2011-10-15 |
Arnaud Charlet |
|
New |
| [Ada] Access all type not considered access-to-object in generic |
2011-08-30 |
Arnaud Charlet |
|
New |
| [Ada] Allow System.Multiprocessors[.Dispatching_Domains] in Ada 95 |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Allow 'Mod attribute in Ada 95 mode |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Allow run-time to be compiled with Normalize_Scalars |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Pragma Independent and Independent_Components |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Incomplete view of ancestor type |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Shorter display for shared library building |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Unchecked union types can be limited |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] Clean up handling of pack, component size, aliased/atomic components |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Clean up handling of assertions when disabled |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Handling of implicit dereferences in generic units. |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Remove Target_Name parameter in subprograms |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Reorganize Full_Qualified_Name handling |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Diagnose unsupported bit packed arrays |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] gnatbind -R generates files |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Fix runtime assertion failure in timed selective wait |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] Report error when "a" does not exist in "a/**" for project files |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Minor edit to -gnatW message |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Crash on aggregate with discriminant expanded name in default expression |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Code cleanup |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Implement No_Default_Stream_Attributes restriction (AI05-0161-1/02) |
2010-10-18 |
Arnaud Charlet |
|
New |
| [Ada] New environmment variable GPR_PROJECT_PATH_FILE for project path |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Improve handling of folding of conditional expressions |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Checks fail on right operand of "and" and "or" with Short_Circuit_And_Or |
2011-10-14 |
Arnaud Charlet |
|
New |
| [Ada] Rejecting duplicate stubs |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Extended syntax for Check_Policy |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Use Make_Temporary (3) |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Use current process id to create temp filenames (windows) |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Static aggregates of a limited type |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] If-expressions and the capture of local values |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Bad initialization of dynamic tables in gnatname ... --and ... |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 type invariants on type completions |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Deriving from formal limited types |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Check for container tampering |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] More accurate sloc information for pragma Check |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Finalization actions during abort |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Improved error recovery for positional box |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] gnatfind and source file names on Windows |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Constant-folding and mutable discriminants |
2010-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Entity list of for loop for enumeration with rep gets truncated |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] Improve recovery for misordered PRIVATE/ABSTRACT/TAGGED keywords |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Redundant comparison to True |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Two library projects cannot have the same library name |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Improve finalization of global controlled objects |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Extended return statements require static compatibility |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Aspect Abstract_State and nested packages |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] pragma Warnings Off (str) should delete continuations |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Change semantics of partial iteration |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Add To_Lower_Case function to Unicode packages |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Improve detection of bad Stdcall convention |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Exceptions not in specified list of sources |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Improve finalization of global controlled objects (2) |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of AI05-0123 : composability of equality |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Array components of discriminated records with packed parent types |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Check infinite loop warning for exit when statement |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Referenced enumeration literals in attributes. |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] Subprograms should not be treated as Pure if limited arguments |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] New gnatls switch -aPdir |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Discriminant references in aggregates |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Unresolved symbols with pragma External_Name_Casing |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Pragma Ada_2012 now allows an argument |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Handle VMS RMS keys in file I/O |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Class_wide type of a private subtype |
2010-06-16 |
Arnaud Charlet |
|
New |
| [Ada] Factoring duplicated code |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] Child project extending a child project |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Implement AI12-0022 (raise expression) |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] overriding indicator in subunit |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Forbid anonymous access to subprogram in Compiler_Unit mode |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Change of error message in gnatbind |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Aspect specifications can appear on subprogram body stubs |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Heap objects constrained by their initial value |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Taft-amendment types and Ada 2012 type invariants |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Ada2012-A179 labels at end of a sequence_of_statements |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Always set Do_Discriminant_Check flag during semantic analysis |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Eliminated protected operations |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Add anonymous subtypes to ALFA |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Non-excluding subtypes and generics |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Warning on unused loop variable of a quantified expression |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Extension aggregate with ancestor that is a constrained private extension |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Finalizable iterators for Ada 2012 containers |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Adjust PC only for SS$_HPARITH on Alpha/VMS |
2010-10-19 |
Arnaud Charlet |
|
New |
| [Ada] Improve error message on static vs non-static predicate use |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Checks on alignment with address clauses |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Mark generated subtypes and loop iteration entity as in ALFA |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Task declarations in entry bodies |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Remove special expansion for membership tests in SPARK mode |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Implement case expressions |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] New pragma/aspect Remote_Access_Type |
2012-01-30 |
Arnaud Charlet |
|
New |
| [Ada] Defaults that raise constraint_error |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect handling of type conversion with endianness change |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Secondary stack usage and operators that rename functions |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Fix minor violation of B.1 (39) implementation advice |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 packages Ada.Wide_[Wide_]Characters.Handling |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Check for container tampering |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Test for recursive subprogram call via a derived subprogram |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Box associations in record aggregates |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] Instruct gnatmake to pass -Oxxx switches to the linker |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Allow Ada 2012 aspects on renaming declarations |
2013-01-29 |
Arnaud Charlet |
|
New |