| [Ada] More complete style checks for specs |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake -s -gnatn1 always recompiles |
2012-07-17 |
Arnaud Charlet |
|
New |
| [Ada] Checks fail on right operand of "and" and "or" with Short_Circuit_And_Or |
2011-10-14 |
Arnaud Charlet |
|
New |
| [Ada] Adding new frontend support for inlining |
2012-03-07 |
Arnaud Charlet |
|
New |
| [Ada] Allow System.Multiprocessors[.Dispatching_Domains] in Ada 95 |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Fix error in multi-precision division used in ELIMINATED mode |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Speed up 'Count attribute on Windows |
2011-12-12 |
Arnaud Charlet |
|
New |
| [Ada] Internal cleanup of overflow defaults |
2012-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Aspect Abstract_State and nested packages |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Ada/C++ missing call to constructor with defaults |
2012-10-02 |
Arnaud Charlet |
|
New |
| [Ada] Handle limited line length for enumeration put (AI2012-R036) |
2011-10-24 |
Arnaud Charlet |
|
New |
| [Ada] Minor changes for GNAT dimensionality checking system |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] Initial implementation of aspect Ghost |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Directly emit binary representation of Vax float |
2012-11-06 |
Arnaud Charlet |
|
New |
| [Ada] Add new attribute System_Allocator_Alignment |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] An actual for a formal type that is an extesion of a limited interface |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] Check for container tampering |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Skip special expansion in Alfa mode |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Taft-amendment types and Ada 2012 type invariants |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Front-end layout in a generic unit |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] If-expressions and the capture of local values |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] New implementation-defined pragma: Attribute_Definition |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Do not defer aborts while raising exceptions (ZCX) |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Update GNAT RM with a separate chapter on restrictions |
2012-02-17 |
Arnaud Charlet |
|
New |
| [Ada] Detect suspicious Contract_Cases instead of Contract_Case |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] 2012 rule on aliasing |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Change semantics of partial iteration |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Controlled finalization for references in Ada 2012 containers |
2012-02-17 |
Arnaud Charlet |
|
New |
| [Ada] New environmment variable GPR_PROJECT_PATH_FILE for project path |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Proper placement and analysis of aspects/pragmas Depends and Global |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Legality checks on access-to-object types |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Small tweak to signal handling code |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] Array components of discriminated records with packed parent types |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Skip unneeded expansion for Alfa mode |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Implement Atomic_Synchronization pragmas |
2011-10-24 |
Arnaud Charlet |
|
New |
| [Ada] Cross-reference information for expression functions that are completions |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] Improve detection of bad Stdcall convention |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Missing Constraint_Error in illegal conversion to C type |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Detect illegal use of unconstrained string type in SPARK mode |
2011-09-05 |
Arnaud Charlet |
|
New |
| [Ada] Bogus elaboration warnings on internally-generated finalizers |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] Completing the implementation of Ada 2012 restrictions |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Fix initialization problems on global variables in frontend |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Aliasing and objects in extended return statements |
2011-10-14 |
Arnaud Charlet |
|
New |
| [Ada] Handling of library unit renamings in with_clauses |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] Redundant comparison to True |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] Consistent tree decoration to import C++ classes |
2012-07-17 |
Arnaud Charlet |
|
New |
| [Ada] Add support for the CPU aspect |
2011-09-01 |
Arnaud Charlet |
|
New |
| [Ada] Missing finalization of class-wide object |
2012-02-22 |
Arnaud Charlet |
|
New |
| [Ada] gnatfind and source file names on Windows |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] New restriction for lock-free implementation |
2012-07-30 |
Arnaud Charlet |
|
New |
| [Ada] Deallocation of a class-wide object with unknown discriminants |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Issue warning on suspicious contract cases when -gnatw.t is set |
2012-03-15 |
Arnaud Charlet |
|
New |
| [Ada] New gnatls switch -aPdir |
2013-04-24 |
Arnaud Charlet |
|
New |
| [Ada] gnatmake --subdirs without project file, binding and linking |
2012-07-12 |
Arnaud Charlet |
|
New |
| [Ada] Ada 2012 accessibility of anonymous access stand-alone objects |
2011-08-30 |
Arnaud Charlet |
|
New |
| [Ada] Expansion of "of" iterator loop over multidimensional arrays |
2012-03-09 |
Arnaud Charlet |
|
New |
| [Ada] Finalization of temporary controlled function results |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] Fix to SCOs for SELECT alternatives with guard |
2012-07-23 |
Arnaud Charlet |
|
New |
| [Ada] Dependencies of virtual extending projects |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Front-end support for attribute Scalar_Storage_Order |
2012-03-09 |
Arnaud Charlet |
|
New |
| [Ada] Legality rules for aspect Depends |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] In Alfa mode, issue an error instead of a warning on a missing component |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Naming exceptions inherited in extending projects |
2011-09-01 |
Arnaud Charlet |
|
New |
| [Ada] Merge s-osinte-vms and s-osinte-vms-ia64 |
2012-03-07 |
Arnaud Charlet |
|
New |
| [Ada] Incomplete view of ancestor type |
2013-04-11 |
Arnaud Charlet |
|
New |
| [Ada] Wrong visibility for root library unit |
2013-01-03 |
Arnaud Charlet |
|
New |
| [Ada] Fixed bugs in iterators for set containers |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Indirect calls in static elaboration model |
2012-03-15 |
Arnaud Charlet |
|
New |
| [Ada] Storage_Error due to large object size |
2013-02-06 |
Arnaud Charlet |
|
New |
| [Ada] Fix race condition in freeing tasks |
2012-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Crash on use of 'Old |
2011-08-29 |
Arnaud Charlet |
|
New |
| [Ada] Adding new frontend support for inlining |
2012-03-09 |
Arnaud Charlet |
|
New |
| [Ada] gnatclean -f ignores nonexistent directories |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Add support for encoding in Create_Directory and Create_Path. |
2012-07-16 |
Arnaud Charlet |
|
New |
| [Ada] Add a pseudo-terminal based expect unit |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Missing deallocation of subpool |
2012-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Improve error message on static vs non-static predicate use |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Connect_Socket with timeout does not report failure correctly |
2012-10-03 |
Arnaud Charlet |
|
New |
| [Ada] Delete SCIL files in CodePeer mode |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Fix Current_Directory behavior for root dirs on Windows |
2012-03-09 |
Arnaud Charlet |
|
New |
| [Ada] Warning on unused loop variable of a quantified expression |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Report unhandled exceptions as unhandled |
2012-07-12 |
Arnaud Charlet |
|
New |
| [Ada] Wrong dispatching call in returned class-wide interface object |
2011-11-23 |
Arnaud Charlet |
|
New |
| [Ada] Fix static computation of bounds using -gnato2 or -gnato3 |
2012-10-05 |
Arnaud Charlet |
|
New |
| [Ada] Diagnose unsupported bit packed arrays |
2013-04-23 |
Arnaud Charlet |
|
New |
| [Ada] Fix delayed analysis of aspect specification when scopes differ |
2012-08-06 |
Arnaud Charlet |
|
New |
| [Ada] Filter out read reference to operator in Alfa xrefs |
2011-08-31 |
Arnaud Charlet |
|
New |
| [Ada] Missing finalization call of interface class-wide object |
2012-03-15 |
Arnaud Charlet |
|
New |
| [Ada] VAX Float runtime via Targparm |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Increase alternate stack size on hpux |
2012-07-12 |
Arnaud Charlet |
|
New |
| [Ada] Synchronization of run time support for controlled objects |
2011-10-24 |
Arnaud Charlet |
|
New |
| [Ada] New pragma and aspect Contract_Case to refine contracts |
2012-03-15 |
Arnaud Charlet |
|
New |
| [Ada] Remove special expansion for membership tests in SPARK mode |
2013-04-25 |
Arnaud Charlet |
|
New |
| [Ada] Clean up of gnatbind output (for non-standard run times) |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Special case dup2() on Windows |
2011-11-21 |
Arnaud Charlet |
|
New |
| [Ada] Switch to control maximum number of instantiations |
2012-03-15 |
Arnaud Charlet |
|
New |
| [Ada] Extended syntax for Check_Policy |
2013-04-12 |
Arnaud Charlet |
|
New |
| [Ada] Warn for failure to parenthesize unary minus |
2012-10-29 |
Arnaud Charlet |
|
New |
| [Ada] Box associations in record aggregates |
2011-10-13 |
Arnaud Charlet |
|
New |
| [Ada] Quantified expressions and functions with side effects |
2012-03-30 |
Arnaud Charlet |
|
New |