#define TRACE(flag, format, v1, v2) lwt_trace(flag, format, (size_t)(v1), (size_t)(v2))
#endif
+#ifndef NDEBUG
+#define ASSERT(x) do { if (!(x)) { lwt_halt(); assert(!#x); } } while (0)
+#else
+#define ASSERT(x) do { } while (0)
+#endif
+
// Dump trace records to <file_name>. The file should be post-processed with "sort" before viewing.
void lwt_dump (const char *file_name) __attribute__ ((externally_visible));
extern char flag_state_[256];
if (EXPECT_FALSE(flag_state_[(unsigned)flag[0]] >= flag[1])) {
// embed <flags> in <format> so we don't have to make the lwt_record_t any bigger than it already is
- format = (const char *)((size_t)format | ((uint64_t)flag[0] << 56) | ((uint64_t)flag[1] << 48));
- extern void lwt_trace_i (const char *format, size_t value1, size_t value2);
- lwt_trace_i(format, value1, value2);
+ uint64_t f = ((uint64_t)(size_t)format | ((uint64_t)flag[0] << 56) | ((uint64_t)flag[1] << 48));
+ extern void lwt_trace_i (uint64_t format, size_t value1, size_t value2);
+ lwt_trace_i(f, value1, value2);
}
}
+void lwt_halt (void);
+
#endif//LWT_H