[Clp] rational purify

[Watson, Jean-paul]

I've successfully used Purify to instrument our own PICO MIP solver, which uses Clp and various COIN packages under the hood. However, I didn't have to use anything other than the "recommended" settings for Visual Studio 2005:
- native code compilation (no managed stuff)
- Program Database selection for Debug Information Format (C++/General)
- Default for Basic Runtime Checks (C++/Code Generation)
- Disable incremental linking (Linker/General)
- Whole Program Optimization to "no" (C++/Optimization)
Rational claims that you should add /fixed:no to the linker options, but I haven't been able to verify that this actually impacts anything.

I've tried various high-level optimizations (favor speed, etc), but haven't gone crazy with the lower-level flags.

Jean-Paul 

    >-----Original Message-----
    >From: clp-bounces at list.coin-or.org [mailto:clp-bounces at list.coin-
    >or.org] On Behalf Of Matthew Saltzman
    >Sent: Friday, May 15, 2009 8:53 AM
    >To: Alexey Lvov
    >Cc: clp at list.coin-or.org
    >Subject: Re: [Clp] rational purify
    >
    >http://www-01.ibm.com/software/awdtools/purify/
    >
    >IBM Rational Purify is a runtime analysis solution designed to help
    >developers write more reliable code. Reliability is ensured via two
    >crucial functions: memory corruption detection and memory leak
    >detection. Rational Purify packages support for these two runtime
    >analysis capabilities in a single product with a common install and
    >licensing system.
    >
    >On Fri, 2009-05-15 at 10:15 -0400, Alexey Lvov wrote:
    >> Hok,
    >>
    >> I did not even know such thing as "rational purify" exists in CLP.
    >It
    >> sounds like after finding an approximate minimum it can attempt to
    >> give me solution in rational numbers?.. If so it would be very
    >useful!
    >> Could you please copy/paste a piece of code which uses it?
    >>
    >> - Alexey
    >>
    >>
    >>
    >> _______________________________________________
    >> Clp mailing list
    >> Clp at list.coin-or.org
    >> http://list.coin-or.org/mailman/listinfo/clp
    >--
    >                Matthew Saltzman
    >
    >Clemson University Math Sciences
    >mjs AT clemson DOT edu
    >http://www.math.clemson.edu/~mjs
    >
    >_______________________________________________
    >Clp mailing list
    >Clp at list.coin-or.org
    >http://list.coin-or.org/mailman/listinfo/clp