Prefer printf format "%#x" over "0x%x".
I exist to serve.
Change-Id: I8e2880b20eefd466da8515d5b6b0c5cb75d56169
diff --git a/vm/compiler/Dataflow.cpp b/vm/compiler/Dataflow.cpp
index 28bed68..7f164cb 100644
--- a/vm/compiler/Dataflow.cpp
+++ b/vm/compiler/Dataflow.cpp
@@ -1601,7 +1601,7 @@
strcpy(buffer, "PHI");
}
else {
- sprintf(buffer, "Opcode 0x%x", opcode);
+ sprintf(buffer, "Opcode %#x", opcode);
}
flags = 0;
} else {
@@ -1712,7 +1712,7 @@
snprintf(buffer + strlen(buffer), 256, ")");
}
else {
- sprintf(buffer, "Opcode 0x%x", opcode);
+ sprintf(buffer, "Opcode %#x", opcode);
}
goto done;
} else {