Skip to content

Commit 530de68

Browse files
author
Max Aehle
committed
fix types
1 parent 7382114 commit 530de68

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

derivgrind/dg_shadow.c

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -104,9 +104,9 @@
104104
* \param[in] tag - Tag that is also printed.
105105
* \param[in] value - Printed value.
106106
*/
107-
static VG_REGPARM(0) void dg_Print_double(ULong tag, ULong value){ VG_(printf)("Value for %d : ", tag); VG_(printf)("%lf\n", *(double*)&value); }
108-
static VG_REGPARM(0) void dg_Print_unsignedlong(ULong tag, ULong value){ VG_(printf)("Value for %d : ", tag); VG_(printf)("%p\n", (void*)value); }
109-
static VG_REGPARM(0) void dg_Print_unsignedint(ULong tag, Int value){ VG_(printf)("Value for %d : ", tag); VG_(printf)("%p\n", (void*)value); }
107+
static VG_REGPARM(0) void dg_Print_double(ULong tag, ULong value){ VG_(printf)("Value for %Lu : ", tag); VG_(printf)("%lf\n", *(double*)&value); }
108+
static VG_REGPARM(0) void dg_Print_unsignedlong(ULong tag, ULong value){ VG_(printf)("Value for %Lu : ", tag); VG_(printf)("%p\n", (void*)value); }
109+
static VG_REGPARM(0) void dg_Print_unsignedint(ULong tag, Int value){ VG_(printf)("Value for %Lu : ", tag); VG_(printf)("%p\n", (void*)value); }
110110

111111
/*! Debugging help. Add a dirty statement to IRSB that prints the value of expr whenever it is run.
112112
* \param[in] tag - Tag of your choice, will be printed alongside.
@@ -115,7 +115,7 @@ static VG_REGPARM(0) void dg_Print_unsignedint(ULong tag, Int value){ VG_(printf
115115
*/
116116
void dg_add_print_stmt(ULong tag, IRSB* sb_out, IRExpr* expr){
117117
IRType type = typeOfIRExpr(sb_out->tyenv, expr);
118-
char* fname;
118+
char const* fname;
119119
void* fptr;
120120
IRExpr* expr_to_print;
121121
switch(type){

0 commit comments

Comments
 (0)