| [Ada] Add support for Ada.Execution_Time on linux |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Skip special expansion in Alfa mode |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Split PRE/POST expressions into AND THEN sections |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Make {Short,Long,Long_Long}_Complex_Elementary_Functions pure |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] String literals in nested subprograms in generic units |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Ambiguities with class-wide operations on synchronized types |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Handle inherited postconditions (AI05-0145) |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Support target with both VAX and IEEE float |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Further work on pre/post aspects |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Source location of generated nodes for To_Any calls |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] <exception> will be raised at run time, not "at run-time" |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Better error message for aspect specification without Ada 2012 mode |
2013-01-04 |
Arnaud Charlet |
|
New |
| [Ada] Final fix to inheriting of Pre'Class preconditions |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect parameter mechanism due to convention C_Pass_By_Copy |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] No ALI generated when compiler fails on a spec that needs a body |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Special case for case expression alternative moved in caller |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Remote types packages can depend on preelaborated packages |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Increase alternate stack size on hpux |
2012-07-12 |
Arnaud Charlet |
|
New |
| [Ada] Child project extending a child project |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Warn for suspicious same range nested loops |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Add warning for record holes (gaps) |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Fix potential access violation in Adjust routine |
2012-07-17 |
Arnaud Charlet |
|
New |
| [Ada] Private type as actual in generic RCI |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Keep checks in Alfa mode for formal verification |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Add version of Find_Token with From parameter |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Skip unneeded expansion for Alfa mode |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Do not perform a null_exclusion check on 'out' parameters |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Locally enabled invariants are ignored |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Validity checks on boolean expressions |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Missing Constraint_Error in illegal conversion to C type |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Null-exclusion must match for parameters for full conformance |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Add support for returning binary message digest |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Static aggregates of a limited type |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Fix delayed analysis of aspect specification when scopes differ |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] No change of working directory in Remove_Dir implementation |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] 2012 rule on aliasing |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Wrong warning when instantiating Container in generic unit |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] New generic routine to iterate through interface sources |
2012-07-09 |
Arnaud Charlet |
|
New |
| [Ada] Null exclusion not allowed in uninitialzed allocators |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] GNAT driver with a project file and a single main - switches |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Parametrized expressions must be parenthesized |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Move GNAT.Byte_Swapping to System |
2012-07-12 |
Arnaud Charlet |
|
New |
| [Ada] Allow shared libraries to import any projects for some tools |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Only one of Priority or Interrupt_Priority can be specified |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] gnat stack -P only call gnatstack with existing .ci files |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] 2012 rule on aliasing |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Actual for a formal derived non-limited type |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Class-wide objects and debugging information |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Improve DG output of subprograms |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Visibility of aspects between freeze point and end of declarations |
2012-07-09 |
Arnaud Charlet |
|
New |
| [Ada] Register source directories even if they do not exist |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Generation of routine _Postconditions |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Pass -shared-libgcc when building Ada shared libraries on Windows |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Redundant finalization of controlled function result |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Interpretation of Form parameter for Ada.Directories.Copy_File |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 predicate checks on (in-) out parameters |
2013-04-22 |
Arnaud Charlet |
|
New |
| [Ada] DSA helpers for tagged types |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Cleanup in raise-gcc.c |
2012-07-09 |
Arnaud Charlet |
|
New |
| [Ada] Perfect_Hash_Generators cleanup |
2010-06-18 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect attachment point for address clause alignment check |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Improved runtime exception message for duplicated external tag |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Directly emit binary representation of Vax float |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Heap objects constrained by their initial value |
2010-06-14 |
Arnaud Charlet |
|
New |
| [Ada] gnatfind missing references to array types |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Store the value of 'alignment of tagged types in the TSD |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Guard against cascaded error when processing deferred config pragmas |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Improve handling of folding of conditional expressions |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Use of attribute 'Loop_Entry in various contexts |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Default 'Input for array of limited object |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Analysis of delayed aspects for components in record types |
2012-07-09 |
Arnaud Charlet |
|
New |
| [Ada] Ada.Real_Time not properly initialized on Windows |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Avoid overflow in Table reallocation |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Default to -gnatw.L |
2011-12-20 |
Arnaud Charlet |
|
New |
| [Ada] Preelaboration dependences for Remote_Types and RCI units |
2012-07-09 |
Arnaud Charlet |
|
New |
| [Ada] Crash on derivation of tagged private type with discriminants |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Internal fix to Insert_Actions routine in compiler |
2013-01-04 |
Arnaud Charlet |
|
New |
| [Ada] Check preconditions for child iterator of multiway tree container |
2011-12-02 |
Arnaud Charlet |
|
New |
| [Ada] Illegal component clause for inherited component in extension |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Fix missing style checks on entity name casing |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Expression of static predicate should be static |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] HP-UX build failure - PR ada/51307 |
2011-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Connect_Socket with timeout does not report failure correctly |
2012-10-03 |
Arnaud Charlet |
|
New |
| [Ada] Do not replace Float'Range check by 'Valid |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Fix thinko in bignum allocation routine |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Deallocation of a single allocated object (PR ada/47880) |
2011-08-04 |
Arnaud Charlet |
|
New |
| [Ada] Support for coverage analysis of ACCEPT alternatives in SELECT statement |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Doc clean ups |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect sign extensions on IOCTL system constants |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Add new Assign and Copy operations to unbounded containers |
2011-11-04 |
Arnaud Charlet |
|
New |
| [Ada] Inheritance of representation aspects at freezing point |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] New gnatbind command switch -A |
2010-06-22 |
Arnaud Charlet |
|
New |
| [Ada] Add a new pragma Assert_And_Cut for formal verification tools |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012: Derived types and partial views |
2011-12-02 |
Arnaud Charlet |
|
New |
| [Ada] Introduce the notion of machine occurrence |
2012-07-16 |
Arnaud Charlet |
|
New |
| [Ada] Check missing function returns in generic template |
2010-06-23 |
Arnaud Charlet |
|
New |
| [Ada] Entities for subprogram body should not have a contract node attached |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Add support for fully standalone libraries |
2011-12-21 |
Arnaud Charlet |
|
New |
| [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 |