| [Ada] Aspect Abstract_State and nested packages |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Actual for a formal derived non-limited type |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Aspect specifications can appear on subprogram body stubs |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Fix warning count when deleting continuations |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Array components of discriminated records with packed parent types |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] The type of an in-out formal in a child instance |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Raise_Expression in membership test causes test to fail |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Minor improvements to regexps |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] Diagnose unsupported bit packed arrays |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Better warnings on Ada95/Ada05 incompatibility with limited types |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] gnatname and temporary files |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] new flag to disable some errors when loading projects |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Improve error message on static vs non-static predicate use |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Aggregate for records with components of an anonymous access type |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Aspect Depends |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Use Make_Temporary |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] More complete style checks for specs |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Subprogram renaming and private overriding |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Always set Do_Discriminant_Check flag during semantic analysis |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Remove Dint (code cleanup) |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Improve detection of bad Stdcall convention |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] New Ada 2012 language-defined System.Multiprocessors |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Check for container tampering |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Check component overlap when non-standard bit-order |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] gnatfind and source file names on Windows |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Interpretation of Form parameter for Ada.Directories.Copy_File |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect handling of type conversion with endianness change |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Replaced 64-bit index manipulation with more efficient integer types |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Redundant comparison to True |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Implement No_Default_Stream_Attributes restriction (AI05-0161-1/02) |
2010-10-18 |
Arnaud Charlet |
|
New |
| [Ada] Improvements to sprint for conditional expressions |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Two library projects cannot have the same library name |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] New gnatls switch -aPdir |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Fix oversight in new handling of -Oxxx switches |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Classwide postconditions on null procedures |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Crash on aggregate with discriminant expanded name in default expression |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Warning on unused loop variable of a quantified expression |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Use Ada_2012 instead of Ada_12 |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] New environmment variable GPR_PROJECT_PATH_FILE for project path |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Cleanup analysis of concurrent types that implement interfaces |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] VAX Float runtime via Targparm |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] List fixed-point small and range in -gnatR2 output |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Decoration of limited-with clauses |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Use Make_Temporary (2) |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Remove special expansion for membership tests in SPARK mode |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Change of error message in gnatbind |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 AIo5-014: no null exclusion on allocator with subtype indication |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake performance enhancement |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Allow System.Multiprocessors[.Dispatching_Domains] in Ada 95 |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Add initial support for aspects |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Avoid storage leak in gnatchop |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] New switch --unchecked-shared-lib-imports |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Avoid uninitialized variable in Pop_End_Context |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Prefix of 'Address attribute |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Implementation-defined restrictions |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Fix casing of identifiers in error messages |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Legality rules for aspect Depends |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Allow shared libraries to import any projects for some tools |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Remove junk overflow check on MOD/REM/unary "+" |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Attributes of arrays with an index type derived from a formal type |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Detect suspicious Contract_Cases instead of Contract_Case |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of AI05-0151: additional uses for incomplete types |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Legality of self-referential outputs in aspect/pragma Depends |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Use Make_Temporary (5) |
2010-06-17 |
Arnaud Charlet |
|
New |
| [Ada] Include scalar storage order information in -gnatR3 output |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] No_Relative_Delay forbids Set_Handler calls |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Visibility of equality operator when left operand is null. |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Ambiguous universal arithmetic expressions in conversions |
2010-06-21 |
Arnaud Charlet |
|
New |
| [Ada] gnatclean -f ignores nonexistent directories |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Implement AI05-0086-1 (consider null exclusion for static matching) |
2010-10-19 |
Arnaud Charlet |
|
New |
| [Ada] Clean up handling of assertions when disabled |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Crash on derivation of tagged private type with discriminants |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Extended syntax for Check_Policy |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Add warning for record holes (gaps) |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Implement AI12-0022 (raise expression) |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Crash on folded operator with universal operands in functional form |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Initial implementation of aspect Ghost |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Static aggregates of a limited type |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Check for container tampering |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Warn on assigning to packed atomic component |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Implement Ada 2012 Assertion_Policy pragma |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Factor duplicated code in expansion of record assignments |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Missing range checks on the expression for Priority in protected types |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Avoid dependency of package Atree on package Scil_ll |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Error recovery for illformed conditional expression |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Remove redundant tests for N_Operator_Symbol |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Crash when processing attribute Loop_Entry |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] No project level attribute Main_Language |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Compiler crash on entry requeue in discriminated protected type |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Functions returning dispatching results |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Locally enabled invariants are ignored |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Allow pragma Import and pragma Interface |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Heap objects constrained by their initial value |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Improve recovery for misordered PRIVATE/ABSTRACT/TAGGED keywords |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Minor edit to -gnatW message |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Record original expression associated with actual subtypes |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] prevent overflow for index subtypes near extrema of base range |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] Avoid making library-level subprograms public unnecessarily |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Handle others better for string aggregates |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Extending project does not inherit Linker_Options |
2010-06-17 |
Arnaud Charlet |
|
New |