GMP terminates when out of memory

[Roberto Bagnara]

Bjarke Roune wrote:
> On Sun, Dec 28, 2008 at 10:44 AM, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
>> Yes, we have one test in our testsuite that simulates virtual memory
>> exhaustions and running it with valgrind does not reveal any memory
>> leak.  In addition, we have used for years this facility in our
>> program analyzers and we never detected a state violation.
>>
> It sounds like you make memory unavailable and then call a GMP
> algorithm to test it. This would make GMP fail at the first allocation
> it attempts.

No.

> Have you done something to make the first few GMP
> allocations succeed, and only then make them fail?

Yes, this is precisely how the test works.
Cheers,

   Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it