| [Ada] Change of profile for Prj.Part.Parse |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Ignore references to renamed Standard constants in Alfa mode |
2011-09-19 |
Arnaud Charlet |
|
New |
| [Ada] Premature freezing when building dispatch tables |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] DSA code generation reorganization |
2011-09-19 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect assignment when deleting node |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Optimization of assignments to bit-packed components with rep. clauses |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of aspect Synchronization |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 accessibility checking |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Wrong conformance checking for null exclusions of dispatching ops |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Crash on use of 'Old |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Missing accessibility check in anonymous access types |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Possibly bit aligned objects in assignments |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] No style checking in instances |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] VMS: fix incompatibility of sendmsg/recvmsg |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] No adainit/adafinal procedures in Stand-Alone Libraries |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Simplify Propagate_Exception |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Do not generate wrong transient scopes for pragma check in ALFA mode |
2011-08-05 |
Arnaud Charlet |
|
New |
| [Ada] Remove N_Cleanups_To_Trigger in GNAT_GCC_Exception. |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] New entity flag defines which entities are in ALFA subset |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] OpenVMS: truncate the length of GNAT_DRIVER_COMMAND_LINE logical |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of Ada2012 rules on preconditions for null procedures |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Crash on conversion to derived private type with invisible discriminants |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Visibility check for aspects, part 1 |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Anonymous access types in type declarations in child units |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Incorrect use of iterator when selector was intended |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Crash on quantified expressions containing 'Old in postconditions |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Inline expression functions whenever possible |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Use subtraction to negate VAX float on Alpha VMS |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Delay all aspects |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Actuals that are function calls returning unconstrained limited types |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake with --subdirs= but no -P |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Implementation of AI05-213 : formal incomplete types |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Use TLS to implement Self on Linux |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Program_Unit pragmas in generic units are inherited by instances |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Warning for quantified expressions over null domains |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] Change value of the variable Name_Of_Heap_Variable |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Better reference information for in out params |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Avoid reporting redundant message on inherited subprogram |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Premature finalization when iterating over containers |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Prefixed calls as generic actuals |
2011-08-30 |
Arnaud Charlet |
|
New |
| [Ada] Clear confusion about -fno-inline in the GNAT UG |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Remove GCC_ZCX_Support in system-*.ads |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Fix handling of "*" in the presence of empty switch sections |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Renaming of unconstrained limited function calls |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Spurious errors with complex slice expression |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Conformance checks on partially parametrized formal packages |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] fix traceback computation stop condition for ppc-aix |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Properly initialize aggregated projects to compute dependencies |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Updates to make Interfaces.C.Strings match RM |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Remove superfluous Container parameter |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Implement iterator for multiset containers |
2011-12-02 |
Arnaud Charlet |
|
New |
| [Ada] Dereference correct hash table for a given node array index |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Lift inlining limitation with -gnatn (2) |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Freezing rules and expression functions |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Improve error message for extra "," in choice list |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Check ambiguity with prefixed views of tagged primitives |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Fixes to preelaborable initialization handling |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Remove overzealous warnings about Asm statements |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] splice items from first to last |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Fix spurious "prefix of dereference must be an access type" |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] New syntax for aspects in packages, add library unit aspects |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Suppress false alarm "postcondition refers only to pre-state" |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Add procedure to print out the predefined floating point types |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Satisfy representation invariants in operation Move |
2011-11-20 |
Arnaud Charlet |
|
New |
| [Ada] Lift inlining limitation with -gnatn |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Class-wide operations in instantations |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] PR ada/49819 |
2011-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Fixes to No_Implementation_Units restriction |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Use a proper assertion in Vet instead of a comment |
2012-01-23 |
Arnaud Charlet |
|
New |
| [Ada] Invariants must only apply to public subprograms |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] Reduce compilation time at -O0 (4/n) |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Spurious errors on aggregates in instances |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Detect array types which belong to ALFA subset |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Visibility of selected components that are prefixed calls in instances |
2012-01-06 |
Arnaud Charlet |
|
New |
| [Ada] Minor improvement to traces, to support indented output |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Speed up 'Count attribute on Windows |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Improved error message on invisible operator |
2011-08-01 |
Arnaud Charlet |
|
New |
| [Ada] Implement attribute Descriptor_Size |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Final implementation of Default[_Component]_Value aspects |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Naming exceptions inherited in extending projects |
2011-09-01 |
Arnaud Charlet |
|
New |
| [Ada] Addition of new attribute Original_Access_Type |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake ignores "-largs" in package Linker |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Fix handling of boolean aspects |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Do not defer aborts while raising exceptions (ZCX) |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] process the External attribute in aggregate projects |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Add the default search dirs after the Builder switches |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] References to the formals of child subprograms without specs |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] Crash processing nested aggregate in constant declaration |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Switch to ZCX on AIX |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] ignore exceptions in termination handlers |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Iterators over containers of indefinite types |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] Some is reserved in Ada 2012 |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Preliminary work for Default_[Component_]Value (AI 228) |
2011-08-02 |
Arnaud Charlet |
|
New |
| [Ada] clean ups in Makefiles |
2011-09-06 |
Arnaud Charlet |
|
New |
| [Ada] Put imported spec in ALI file when body is not found |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Filter out read reference to operator in Alfa xrefs |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Take into account unresolved calls in Alfa mode |
2011-09-02 |
Arnaud Charlet |
|
New |
| [Ada] Do not mention objects of task or protected type in Alfa section |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] New type Prj.Ext.External_References |
2011-08-03 |
Arnaud Charlet |
|
New |
| [Ada] Move remaining sjlj bits from a-except-2005.ads to a-exexpr.adb |
2011-08-29 |
Arnaud Charlet |
|
New |