equal
deleted
inserted
replaced
60 } while (0) |
60 } while (0) |
61 #endif |
61 #endif |
62 |
62 |
63 // For backward compatibility. |
63 // For backward compatibility. |
64 #define assert(p, ...) vmassert(p, __VA_ARGS__) |
64 #define assert(p, ...) vmassert(p, __VA_ARGS__) |
|
65 |
|
66 #define precond(p) assert(p, "precond") |
|
67 #define postcond(p) assert(p, "postcond") |
65 |
68 |
66 #ifndef ASSERT |
69 #ifndef ASSERT |
67 #define vmassert_status(p, status, msg) |
70 #define vmassert_status(p, status, msg) |
68 #else |
71 #else |
69 // This version of vmassert is for use with checking return status from |
72 // This version of vmassert is for use with checking return status from |