[Patch] Fix libstdc++/12438

[Paolo Carlini]

Hi again....

Pétur suggested making use of __gnu_test::set_memory_limits: thanks!

The below is the updated patch (testcase checked with/without the fix)
which I'd like to commit soon.

Paolo.

/////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_12438
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030930/f9c5884c/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_12438_2
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030930/f9c5884c/attachment-0001.ksh>