Getting junk numbers in the output due to changes in dbg_print()
eyalroz opened this issue · comments
To fix issue #14 , we stopped casting values as pointers, and started passing their addresses instead. However, it seems the PR_INT(), PR_CHAR() etc. macros were invoked with all sorts of types, not necessarily the intended one, so there was also an actual enlarging conversion to void * (from char etc.); isn't that terrible? ... with the way we call dbg_print() now, no conversion occurs; so - we need to force it.
What horrible code...