Hello Kent Overstreet,
The patch b3dc2344548f: "bcachefs: reserve space in journal for fs
usage entries" from Jan 24, 2019 (linux-next), leads to the following
Smatch static checker warning:
fs/bcachefs/journal_io.c:468 journal_entry_blacklist_v2_validate()
warn: missing error code here? 'journal_entry_err_on()' failed. 'ret' =
'0'
fs/bcachefs/journal_io.c
455 static int journal_entry_blacklist_v2_validate(struct bch_fs *c,
456 struct jset *jset,
457 struct jset_entry *entry,
458 unsigned version, int big_endian,
459 enum bkey_invalid_flags flags)
460 {
461 struct jset_entry_blacklist_v2 *bl_entry;
462 int ret = 0;
463
464 if (journal_entry_err_on(le16_to_cpu(entry->u64s) != 2,
465 c, version, jset, entry,
466 "invalid journal seq blacklist entry: bad size")) {
467 journal_entry_null_range(entry, vstruct_next(entry));
--> 468 goto out;
Should these error
469 }
470
471 bl_entry = container_of(entry, struct jset_entry_blacklist_v2,
entry);
472
473 if (journal_entry_err_on(le64_to_cpu(bl_entry->start) >
474 le64_to_cpu(bl_entry->end),
475 c, version, jset, entry,
476 "invalid journal seq blacklist entry: start > end")) {
477 journal_entry_null_range(entry, vstruct_next(entry));
paths set an error code?
478 }
479 out:
480 fsck_err:
481 return ret;
482 }
regards,
dan carpenter