Casting pointers to unsigned int is generally problematic and hence
compilers tend to warn about such. While here they're used only in
fprintf(), it still seems better to omit such casts, even if only to
avoid setting bad precedents.
/* put a memory leak in here */
(void) malloc (13);
- fprintf (stderr, "so_burncpu @ 0x%08x\n", (unsigned int) so_burncpu);
+ fprintf (stderr, "so_burncpu @ %p\n", so_burncpu);
so_burncpu ();
wlog ("end of so_cputime", NULL);
/* put a memory leak in here */
(void) malloc (13);
- fprintf (stderr, "sx_burncpu @ 0x%08x\n", (unsigned int) sx_burncpu);
+ fprintf (stderr, "sx_burncpu @ %p\n", sx_burncpu);
sx_burncpu ();
wlog ("end of sx_cputime", NULL);
return 13;