diff options
author | Oleg Nesterov <oleg@redhat.com> | 2020-02-04 17:51:44 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-02-06 03:36:29 +0100 |
commit | b0f73c73c1f05f888321b4441a94758267c83703 (patch) | |
tree | 166fe29d7cb9767c002049f01f2b50ab74eb3d6b | |
parent | c6adc489224b4c1c5929ac83b8a904f1733a7ba4 (diff) | |
download | sparse-b0f73c73c1f05f888321b4441a94758267c83703.tar.gz |
dissect: disallow NULL pointers in struct reporter
This makes dissect.c a bit more readable.
Signed-off-by: Oleg Nesterov <oleg@redhat.com>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | dissect.c | 24 |
1 files changed, 7 insertions, 17 deletions
@@ -135,7 +135,7 @@ static struct symbol *report_member(usage_t mode, struct position *pos, { struct symbol *ret = mem->ctype.base_type; - if (mem->ident && reporter->r_member) + if (mem->ident) reporter->r_member(fix_mode(ret, mode), pos, type, mem); return ret; @@ -146,9 +146,6 @@ static void report_implicit(usage_t mode, struct position *pos, struct symbol *t if (type->type != SYM_STRUCT && type->type != SYM_UNION) return; - if (!reporter->r_member) - return; - if (type->ident != NULL) reporter->r_member(mode, pos, type, NULL); @@ -184,8 +181,7 @@ static struct symbol *report_symbol(usage_t mode, struct expression *expr) if (0 && ret->type == SYM_ENUM) return report_member(mode, &expr->pos, ret, expr->symbol); - if (reporter->r_symbol) - reporter->r_symbol(fix_mode(ret, mode), &expr->pos, sym); + reporter->r_symbol(fix_mode(ret, mode), &expr->pos, sym); return ret; } @@ -238,10 +234,8 @@ static void examine_sym_node(struct symbol *node, struct symbol *parent) return; base->evaluated = 1; - if (base->ident || deanon(base, name, parent)) { - if (reporter->r_symdef) - reporter->r_symdef(base); - } + if (base->ident || deanon(base, name, parent)) + reporter->r_symdef(base); DO_LIST(base->symbol_list, mem, examine_sym_node(mem, base->ident ? base : parent)); default: @@ -577,19 +571,15 @@ static struct symbol *do_initializer(struct symbol *type, struct expression *exp static inline struct symbol *do_symbol(struct symbol *sym) { - struct symbol *type; - - type = base_type(sym); + struct symbol *type = base_type(sym); - if (reporter->r_symdef) - reporter->r_symdef(sym); + reporter->r_symdef(sym); switch (type->type) { default: if (!sym->initializer) break; - if (reporter->r_symbol) - reporter->r_symbol(U_W_VAL, &sym->pos, sym); + reporter->r_symbol(U_W_VAL, &sym->pos, sym); do_initializer(type, sym->initializer); break; case SYM_FN: |