c++/10373: Attempt to compile STLport causes segmentation fault

[bangerth@dealii.org]

Synopsis: Attempt to compile STLport causes segmentation fault

State-Changed-From-To: open->closed
State-Changed-By: bangerth
State-Changed-When: Fri Apr 11 14:17:43 2003
State-Changed-Why:
    This works in 3.2.3pre, 3.3 and 3.4 (mainline). I think,
    Mark fixed this a short time ago. Thanks, Giovanni, for
    trimming this down.
    
    W.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=10373