fprintf(pos->fp, "%s = ",
g_quark_to_string(definition->name));
+ if (integer_declaration->encoding == CTF_STRING_ASCII
+ || integer_declaration->encoding == CTF_STRING_UTF8) {
+
+ if (!integer_declaration->signedness) {
+ g_string_append_c(pos->string,
+ (int) integer_definition->value._unsigned);
+ } else {
+ g_string_append_c(pos->string,
+ (int) integer_definition->value._signed);
+ }
+ return 0;
+ }
+
switch (integer_declaration->base) {
case 0: /* default */
case 10:
else
v = (uint64_t) integer_definition->value._signed;
- fprintf(pos->fp, "b");
+ fprintf(pos->fp, "0b");
v = _bt_piecewise_lshift(v, 64 - integer_declaration->len);
for (bitnr = 0; bitnr < integer_declaration->len; bitnr++) {
fprintf(pos->fp, "%u", (v & (1ULL << 63)) ? 1 : 0);