X-Git-Url: https://pd.if.org/git/?p=nbds;a=blobdiff_plain;f=include%2Flwt.h;h=d31c9eb64d04562d5cf3715da8046c09d6addc6a;hp=9f07e7af30c2887b608e24b7f4270667c6214853;hb=2cce67f0002cdb6dcdc2ab8ccf837e3d2b3336de;hpb=d61d7ffdfa8fab555a5086e61d2e9dfe699a14b9 diff --git a/include/lwt.h b/include/lwt.h index 9f07e7a..d31c9eb 100644 --- a/include/lwt.h +++ b/include/lwt.h @@ -13,6 +13,12 @@ #define TRACE(flag, format, v1, v2) lwt_trace(flag, format, (size_t)(v1), (size_t)(v2)) #endif +#ifdef NDEBUG +#define ASSERT(x) +#else +#define ASSERT(x) if (!(x)) { lwt_halt(); assert(!#x); } +#endif + // Dump trace records to . The file should be post-processed with "sort" before viewing. void lwt_dump (const char *file_name) __attribute__ ((externally_visible)); @@ -31,10 +37,12 @@ static inline void lwt_trace (const char *flag, const char *format, size_t value extern char flag_state_[256]; if (EXPECT_FALSE(flag_state_[(unsigned)flag[0]] >= flag[1])) { // embed in 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