| [Ada] Visibility of equality operator when left operand is null. |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Code refactoring |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Couple of small adjustments to cross-unit inlining |
2012-05-15 |
Arnaud Charlet |
|
New |
| [Ada] 'Switches (others) not recognized as a valid attribute reference |
2010-08-10 |
Arnaud Charlet |
|
New |
| [Ada] Aspect/pragma Contract_Cases and library level subprograms |
2013-04-22 |
Arnaud Charlet |
|
New |
| [Ada] Catch more redundant conversions with -gnatwr |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 Legality check on requeue statements |
2012-10-01 |
Arnaud Charlet |
|
New |
| [Ada] Spurious ambiguity in instances |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Preconditions and postconditions on subprogram bodies |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] The type of an in-out formal in a child instance |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Imaging of arbitrary precision integers |
2012-05-15 |
Arnaud Charlet |
|
New |
| [C++] fix some wrong decl slocs |
2010-08-30 |
Arnaud Charlet |
|
New |
| [Ada] Decoration of limited-with clauses |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] List fixed-point small and range in -gnatR2 output |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Restrict propagation of atomicity from objects to types |
2012-05-15 |
Arnaud Charlet |
|
New |
| [Ada] Fix missing cases for restriction No_Obsolescent_Features |
2010-08-10 |
Arnaud Charlet |
|
New |
| [Ada] Implementation-defined restrictions |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Refactor handling of project path |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Validity checks on subprogram parameters and results |
2012-10-01 |
Arnaud Charlet |
|
New |
| [C++] use better sloc for enum literals |
2010-09-07 |
Arnaud Charlet |
|
New |
| [Ada] clean ups in Makefiles |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] No_Relative_Delay forbids Set_Handler calls |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Better handling of illegal iterators |
2012-05-15 |
Arnaud Charlet |
|
New |
| [C++] use better sloc for enum literals |
2010-09-07 |
Arnaud Charlet |
|
New |
| [Ada] A prefixed view of a subprogram has convention Intrinsic |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Inheritance of private null interface primitive |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Proper handling of meaningless size clauses |
2012-07-09 |
Arnaud Charlet |
|
New |
| [C] use better sloc for enum literals |
2010-09-07 |
Arnaud Charlet |
|
New |
| [Ada] Ghost entities |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Do style checks for main subunits |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Delete Exp_Dbug.No_Dollar_In_Label |
2012-07-09 |
Arnaud Charlet |
|
New |
| [Ada] Indexing aspects and indexable containers |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] Remove junk overflow check on MOD/REM/unary "+" |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Handling of child instances within a sibling |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Lock-free implementation of protected objects (PR ada/54125) |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] New gnatmake switch --source-info= |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Debug information for code generated for pragma Check |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake and invalid mains in attribute Main |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Ada/C++ missing call to allocation of C++ object with defaults |
2012-10-03 |
Arnaud Charlet |
|
New |
| [Ada] Properly delay Address aspect |
2010-10-11 |
Arnaud Charlet |
|
New |
| [Ada] Locally enabled invariants are ignored |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Check redundant parens for conditional expressions |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Report unhandled exceptions as unhandled |
2012-07-12 |
Arnaud Charlet |
|
New |
| [Ada] Add some defenses against junk code |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Cleanup order of Nkind declarations in Sinfo |
2013-01-04 |
Arnaud Charlet |
|
New |
| [Ada] Avoid unchecked conversion of nodes referencing interface tags |
2010-10-04 |
Arnaud Charlet |
|
New |
| [Ada] Reject illegal uses of Static_Predicate |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Improve recovery for misordered PRIVATE/ABSTRACT/TAGGED keywords |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Convention for operations of generlc formals with unknown discriminants |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Move Create_Binder_Mapping_File to Makeutl |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Fields _CPU, _Priority and _Dispatching_Domain |
2012-06-26 |
Arnaud Charlet |
|
New |
| [Ada] Change spelling parametrize(d) => parameterize(d) |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Legality of aliased keyword in extended return statement |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of AI05-0073 |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Allow the same library project in different project tree |
2012-07-12 |
Arnaud Charlet |
|
New |
| [Ada] Cross-Reference information for build-in-place objects |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Placement and analysis of aspect Contract_Cases |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Primitive equality for composite types |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Fix initialization problems on global variables in frontend |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Immutably limited types |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Avoid storage leak in gnatchop |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Disallow Interrupt_Handler and Attach_Handler in generics |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Improve GNAT dimensionality checking system |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of Ada 2012 AI05-0030: Requeue on synchronized interfaces |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Wrong evaluation order for AND THEN in Pre/Post on library subprogram |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] exception messages now correctly identify kind of tampering |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Suppress false elaboration warnings -- indirect Elaborate_All |
2012-07-16 |
Arnaud Charlet |
|
New |
| [Ada] Aggregate for records with components of an anonymous access type |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 AIo5-014: no null exclusion on allocator with subtype indication |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Conversion of arithmetic expression to wider type flagged as redundant |
2010-09-09 |
Arnaud Charlet |
|
New |
| [Ada] Fix to 64-bit atomic operation failures on ppc-linux |
2012-07-17 |
Arnaud Charlet |
|
New |
| [Ada] Allow wild cards in Switches (<file>) in project files |
2010-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Correct multi-precision division algorithm used for universal integers |
2012-12-05 |
Arnaud Charlet |
|
New |
| [Ada] Implement restriction No_Allocators_After_Elaboration |
2010-10-08 |
Arnaud Charlet |
|
New |
| Add extra location information - PR43486 |
2012-09-18 |
Arnaud Charlet |
|
New |
| [Ada] Derivation of untagged private types with discriminants |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Attribute Loop_Entry and index check generation |
2013-01-04 |
Arnaud Charlet |
|
New |
| [Ada] Intermediate build-in-place result not finalized |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Protected objects with interrupt handlers are legal in nested scopes |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Add warning for overridden sizes |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake -s -fstack-check |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Handle Soft_Hyphen as non-graphic in Ada 2005 mode |
2010-10-08 |
Arnaud Charlet |
|
New |
| [Ada] Always analyze loop body during semantic analysis in Alfa mode |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Optimization of array aggregates |
2010-10-07 |
Arnaud Charlet |
|
New |
| [Ada] Improvements to sprint for conditional expressions |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Package extensions in project files |
2010-09-10 |
Arnaud Charlet |
|
New |
| [Ada] Clean up of heap objects in the context of accessibility failures |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Allow gnatmake switch -j0 |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Illegal forward reference in pragma Postcondition |
2013-01-02 |
Arnaud Charlet |
|
New |
| [Ada] Adjust description of -gnatn switch in usage information |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Duplicate entries for parameters in gnatxref output |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Complete implementation of AI05-0183-1 (aspect specifications) |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Follow on work for tagging of warning switches |
2013-01-04 |
Arnaud Charlet |
|
New |
| [Ada] Null procedures as actuals in instances |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Invariant checks and multiple inheritance |
2012-10-01 |
Arnaud Charlet |
|
New |
| [Ada] Implement non-classwide Pre/Post aspects |
2010-10-12 |
Arnaud Charlet |
|
New |
| [Ada] Illegal prefix in array attributes |
2013-01-02 |
Arnaud Charlet |
|
New |
| [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 |