https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52873
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |INVALID
Keywords|wrong-code |
Status|NEW |RESOLVED
--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
The procedure invokes erroneous execution per RM A.18.2(248/2-252/2):
{AI95-00302-03} A Cursor value is invalid if any of the following have
occurred since it was created:
* The vector that contains the element it designates has been finalized;
...
The result of "=" or Has_Element is unspecified if it is called with an
invalid cursor parameter. Execution is erroneous if any other subprogram
declared in Containers.Vectors is called with an invalid cursor parameter.
