|
From: Jeremy F. <je...@go...> - 2003-03-18 19:02:30
|
On Tue, 2003-03-18 at 04:37, Eyal Lebedinsky wrote:
> '%d' is good for 'int', what is the correct one for 'Int'? If I
> use '%ld' then I violated the type hiding. In C this is a problem
> and for this reason I prefer to use basic types wherever I can, and
> typedef only where actually necessary.
No. VG_(message) is a Valgrind-internal function, so it is defined in
terms of Int, Char, etc, including the interpretation of %d. %ld is for
Long, which is 64 bits.
J
|