| [Ada] Avoid duplexing of fields in entity nodes (internal change) |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] Handle others better for string aggregates |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] AI05-0020 : universal operators of fixed point and access types |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Storage_Error due to large object size |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] Adapt SPARK restriction to follow modification of SPARK LRM |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Check for container tampering |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Save/restore value of pragma Normalize_Scalars |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] New environmment variable GPR_PROJECT_PATH_FILE for project path |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Detect generics as violation of the SPARK restriction |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Check for container tampering |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Use unique names in ALFA cross reference in ALI files |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Minor edit to -gnatW message |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Aliased view of a type in various Ada dialects |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Aspect specifications can appear on subprogram body stubs |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Set Entity for a created Identifier Node |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Runtime check on assignment to tagged types |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] in GNAT.Command_Line, allow user to replace the standard help message |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Allow Ada 2012 aspects on renaming declarations |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] Add GNAT-specific Test_Case aspect and pragma for unit verification |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Classwide postconditions on null procedures |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Use the CPU_ZERO and CPU_SET linux macros |
2011-09-01 |
Arnaud Charlet |
|
New |
| [Ada] gnat stub -P crashes when Ada is not a language of the project |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] Correct placement and checking of Test_Case pragma |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Array components of discriminated records with packed parent types |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Improved messages for use of incomplete type in selected components |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Diagnose unsupported bit packed arrays |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Rewrite dynamic stack usage |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Removes workaround for an old GNU/Linker limitation on Windows |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] Null access exception for nested build-in-place calls in allocator |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Avoid uninitialized variable in Pop_End_Context |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Improve support class-wide interface conversions in .NET |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect handling of type conversion with endianness change |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Implement new Ada 2012 restriction No_Implementation_Units |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Improve error message on static vs non-static predicate use |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Default-initialize Nodes component |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Legality rules for aspect Depends |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Class-wide pre/postconditions |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Allow System.Multiprocessors[.Dispatching_Domains] in Ada 95 |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Allow static string expression as name of Test_Case pragma/aspect |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Raise_Expression in membership test causes test to fail |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Optimize out index check for dynamic arrays in indirect case |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Improve detection of bad Stdcall convention |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Special cross references in ALFA mode for constants and formals |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Completing the implementation of Ada 2012 restrictions |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Implement conventions Ada_Pass_By_Copy and Ada_Pass_By_Reference |
2011-12-21 |
Arnaud Charlet |
|
New |
| [Ada] Warning on unused loop variable of a quantified expression |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 AI-0113 Detection of conflicting external tags |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Aspect Abstract_State and nested packages |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] As we use the default behavior, no need to allocate a cond attribute |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] New gnatls switch -aPdir |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Do not generate SCO for use clause or rep clause |
2011-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Redundant comparison to True |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012: Class-wide operations for formal subprograms |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Read references in ali files for out-mode parameters |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] Library_Dir incorrectly reported as not declared |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] gnatfind and source file names on Windows |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Add new attribute 'Elab_Subp_Body |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] If-expressions and the capture of local values |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Add_To_Result routine (internal cleanup) |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] VAX Float runtime via Targparm |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Constraint checks on exit from function calls with out parameters |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] Obsolescence considerations for pragma Interface/Interface_Name |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] Remove C output of gnatbind |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Missing accessibility check |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] Add new attribute System_Allocator_Alignment |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Spurious error in case expression of static predicate subtype |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of AI05-0161 restriction No_Default_Stream_Attributes |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Missing range checks on the expression for Priority in protected types |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Project manager should accept Ada 05 reserved words as identifiers |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Crash when processing attribute Loop_Entry |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] Fix GNAT compilation error when SPARK restriction mode is set |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Remove special expansion for membership tests in SPARK mode |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Race condition in Make_Independent |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Extended syntax for Check_Policy |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] AI05-0069 : Holder container |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Detect suspicious Contract_Cases instead of Contract_Case |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Remove hack for Win95 which is not needed anymore |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Clean up handling of assertions when disabled |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Invariant aspect now called Type_Invariant |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] gnatclean -f ignores nonexistent directories |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Do not catch exception if _UA_FORCE_UNWIND flag is set. |
2011-08-30 |
Arnaud Charlet |
|
New |
| [Ada] Aspect Depends |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Get gnatls project path from Prj.Env |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Initial implementation of aspect Ghost |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Perform required checks on discriminants read from streams using 'Input |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Expression functions and protected definitions |
2013-01-29 |
Arnaud Charlet |
|
New |
| [Ada] avoid incorrect lower casing of attribute names in some cases |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Support for renamings in aspects Depends and Global |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Fix handling of position attributes in Ada 2005 mode |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] gnatname creates backup copy of project file |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Compiler crash when an aggregate's range choice does not match index type |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Incomplete view of ancestor type |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Generated tag assignment after object declaration |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Implement AI12-0022 (raise expression) |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Strip Switch.C of most of its dependencies |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Finalization of temporary controlled function results |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] Skip frontend when option -gnatd.H is present |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Freezing actions for object renaming declarations |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Help the backend to identify safe-to-reevaluate variables |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Preliminary work to coordinate Pragma Warnings and middle-end warnings |
2013-02-06 |
Arnaud Charlet |
|
New |