[Valgrind-users] catchconv no usable output

[Donald R. <don...@ny...>]

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