Rename error_assert() -> error_check()
authorBarret Rhoden <brho@cs.berkeley.edu>
Sun, 12 May 2019 22:24:35 +0000 (18:24 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sun, 12 May 2019 22:24:35 +0000 (18:24 -0400)
If asserts fail, that's a kernel bug.  The error_check() pattern is just
shorthand for "if (foo) error(...)", which are not asserts.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/devarch.c
kern/include/assert.h

index a40c622..951ce4b 100644 (file)
@@ -357,9 +357,9 @@ static const uint8_t *arch_read_core_set(struct core_set *cset,
        int i, nb;
        uint32_t n;
 
        int i, nb;
        uint32_t n;
 
-       error_assert(EBADMSG, (kptr + sizeof(uint32_t)) <= ktop);
+       error_check(EBADMSG, (kptr + sizeof(uint32_t)) <= ktop);
        kptr = get_le_u32(kptr, &n);
        kptr = get_le_u32(kptr, &n);
-       error_assert(EBADMSG, (kptr + n) <= ktop);
+       error_check(EBADMSG, (kptr + n) <= ktop);
        core_set_init(cset);
        nb = MIN((int) n * 8, num_cores);
        for (i = 0; i < nb; i++) {
        core_set_init(cset);
        nb = MIN((int) n * 8, num_cores);
        for (i = 0; i < nb; i++) {
@@ -393,14 +393,14 @@ static long arch_perf_write(struct perf_context *pc, const void *udata,
 
        kptr = kdata;
        ktop = kptr + usize;
 
        kptr = kdata;
        ktop = kptr + usize;
-       error_assert(EBADMSG, (kptr + 1) <= ktop);
+       error_check(EBADMSG, (kptr + 1) <= ktop);
        switch (*kptr++) {
        case PERFMON_CMD_COUNTER_OPEN: {
                int ped;
                struct perfmon_event pev;
                struct core_set cset;
 
        switch (*kptr++) {
        case PERFMON_CMD_COUNTER_OPEN: {
                int ped;
                struct perfmon_event pev;
                struct core_set cset;
 
-               error_assert(EBADMSG, (kptr + 3 * sizeof(uint64_t)) <= ktop);
+               error_check(EBADMSG, (kptr + 3 * sizeof(uint64_t)) <= ktop);
                perfmon_init_event(&pev);
                kptr = get_le_u64(kptr, &pev.event);
                kptr = get_le_u64(kptr, &pev.flags);
                perfmon_init_event(&pev);
                kptr = get_le_u64(kptr, &pev.event);
                kptr = get_le_u64(kptr, &pev.flags);
@@ -420,7 +420,7 @@ static long arch_perf_write(struct perf_context *pc, const void *udata,
                uint8_t *rptr;
                struct perfmon_status *pef;
 
                uint8_t *rptr;
                struct perfmon_status *pef;
 
-               error_assert(EBADMSG, (kptr + sizeof(uint32_t)) <= ktop);
+               error_check(EBADMSG, (kptr + sizeof(uint32_t)) <= ktop);
                kptr = get_le_u32(kptr, &ped);
 
                pef = perfmon_get_event_status(pc->ps, (int) ped);
                kptr = get_le_u32(kptr, &ped);
 
                pef = perfmon_get_event_status(pc->ps, (int) ped);
@@ -437,7 +437,7 @@ static long arch_perf_write(struct perf_context *pc, const void *udata,
        case PERFMON_CMD_COUNTER_CLOSE: {
                uint32_t ped;
 
        case PERFMON_CMD_COUNTER_CLOSE: {
                uint32_t ped;
 
-               error_assert(EBADMSG, (kptr + sizeof(uint32_t)) <= ktop);
+               error_check(EBADMSG, (kptr + sizeof(uint32_t)) <= ktop);
                kptr = get_le_u32(kptr, &ped);
 
                perfmon_close_event(pc->ps, (int) ped);
                kptr = get_le_u32(kptr, &ped);
 
                perfmon_close_event(pc->ps, (int) ped);
index 4539e75..7d5beac 100644 (file)
@@ -26,7 +26,7 @@ void _panic(struct hw_trapframe *, const char *, int, const char *, ...)
 #define assert(x)              \
        do { if (unlikely(!(x))) panic("assertion failed: %s", #x); } while (0)
 
 #define assert(x)              \
        do { if (unlikely(!(x))) panic("assertion failed: %s", #x); } while (0)
 
-#define error_assert(e, x) \
+#define error_check(e, x) \
        do { if (unlikely(!(x))) error(e, "Assertion failed: " #x); } while (0)
 
 // static_assert(x) will generate a compile-time error if 'x' is false.
        do { if (unlikely(!(x))) error(e, "Assertion failed: " #x); } while (0)
 
 // static_assert(x) will generate a compile-time error if 'x' is false.