X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=common.h;h=017cb4f99dd2adba81301d185efb89405cfab79e;hb=4f874a88f053e1f1e99b2d911b4ad3d70084a456;hp=1570a32969a72902cd3ba5569f2413f6b709a062;hpb=d279e84ed265af079ea035d5dff49183def2c144;p=c11tester.git diff --git a/common.h b/common.h index 1570a329..017cb4f9 100644 --- a/common.h +++ b/common.h @@ -1,19 +1,31 @@ +/** @file common.h + * @brief General purpose macros. + */ + #ifndef __COMMON_H__ #define __COMMON_H__ #include - -//#define CONFIG_DEBUG +#include "config.h" #ifdef CONFIG_DEBUG #define DEBUG(fmt, ...) do { printf("*** %25s(): line %-4d *** " fmt, __func__, __LINE__, ##__VA_ARGS__); } while (0) #define DBG() DEBUG("\n"); +#define DBG_ENABLED() (1) #else #define DEBUG(fmt, ...) #define DBG() +#define DBG_ENABLED() (0) #endif -void * myMalloc(size_t size); -void myFree(void *ptr); +#define ASSERT(expr) \ +do { \ + if (!(expr)) { \ + fprintf(stderr, "Error: assertion failed in %s at line %d\n", __FILE__, __LINE__); \ + exit(EXIT_FAILURE); \ + } \ +} while (0); + +#define error_msg(...) fprintf(stderr, "Error: " __VA_ARGS__) #endif /* __COMMON_H__ */