Hello,
I have integrated catchconv with valgrind 3.11.svn, and have gotten
everything to compile and link on a debian 7.8 32-bit virtual machine.

When I run the command:
valgrind --tool=catchconv --inline-path-queries=yes
--log-file=aplay.txt aplay trumpet-12.wav

All I get in the aplay.txt file is:
==13910== Catchconv, a type mismatch constraint generator
==13910== Copyright (C) 2006-7, Regents of the University of
California, Berkeley.
==13910== Using Valgrind-3.11.0.SVN and LibVEX; rerun with -h for copyright info
==13910== Command: aplay trumpet-12.wav
==13910== Parent PID: 13900
==13910==
==13910==
XXX Stat counters:
XXX Unhandled binop: 0
XXX Unhandled unop: 0
XXX CalcCondition: 0

I was expecting something more that I could feed to the stp constraint solver.
This is all I get no matter what program I try ot test with catchconv
and valgrind.

Any suggestions on how I can get this to work properly would be appreciated.

Thanks in advance,
Donald

------------------------------------------------------------------------------
Dive into the World of Parallel Programming The Go Parallel Website, sponsored
by Intel and developed in partnership with Slashdot Media, is your hub for all
things parallel software development, from weekly thought leadership blogs to
news, videos, case studies, tutorials and more. Take a look and join the 
conversation now. http://goparallel.sourceforge.net/
_______________________________________________
Valgrind-users mailing list
Valgrind-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-users

Reply via email to