WARNING: line length of 97 exceeds 80 columns #52: FILE: include/linux/bpf_verifier.h:842: +#define verifier_bug_if(cond, env, fmt, args...) \ CHECK: Macro argument 'env' may be better as '(env)' to avoid precedence issues #52: FILE: include/linux/bpf_verifier.h:842: +#define verifier_bug_if(cond, env, fmt, args...) \ + ({ \ + bool __cond = (cond); \ + if (unlikely(__cond)) { \ + BPF_WARN_ONCE(1, "verifier bug: " fmt "(" #cond ")\n", ##args); \ + bpf_log(&env->log, "verifier bug: " fmt "(" #cond ")\n", ##args); \ + } \ + (__cond); \ + }) WARNING: line length of 97 exceeds 80 columns #53: FILE: include/linux/bpf_verifier.h:843: + ({ \ WARNING: line length of 97 exceeds 80 columns #54: FILE: include/linux/bpf_verifier.h:844: + bool __cond = (cond); \ WARNING: line length of 97 exceeds 80 columns #55: FILE: include/linux/bpf_verifier.h:845: + if (unlikely(__cond)) { \ WARNING: line length of 97 exceeds 80 columns #56: FILE: include/linux/bpf_verifier.h:846: + BPF_WARN_ONCE(1, "verifier bug: " fmt "(" #cond ")\n", ##args); \ WARNING: line length of 97 exceeds 80 columns #57: FILE: include/linux/bpf_verifier.h:847: + bpf_log(&env->log, "verifier bug: " fmt "(" #cond ")\n", ##args); \ WARNING: line length of 97 exceeds 80 columns #58: FILE: include/linux/bpf_verifier.h:848: + } \ WARNING: line length of 97 exceeds 80 columns #59: FILE: include/linux/bpf_verifier.h:849: + (__cond); \ WARNING: line length of 83 exceeds 80 columns #99: FILE: kernel/bpf/verifier.c:1927: + if (verifier_bug_if(steps++ > st->dfs_depth, env, "infinite loop")) WARNING: line length of 86 exceeds 80 columns #131: FILE: kernel/bpf/verifier.c:3858: + (env->cur_hist_ent->flags & insn_flags) != insn_flags, WARNING: line length of 91 exceeds 80 columns #132: FILE: kernel/bpf/verifier.c:3859: + env, "insn history: insn_idx %d cur flags %x new flags %x", WARNING: line length of 85 exceeds 80 columns #133: FILE: kernel/bpf/verifier.c:3860: + env->insn_idx, env->cur_hist_ent->flags, insn_flags); WARNING: line length of 94 exceeds 80 columns #178: FILE: kernel/bpf/verifier.c:4282: + verifier_bug(env, "global subprog unexpected regs %x", WARNING: line length of 94 exceeds 80 columns #189: FILE: kernel/bpf/verifier.c:4297: + verifier_bug(env, "static subprog unexpected regs %x", WARNING: line length of 87 exceeds 80 columns #218: FILE: kernel/bpf/verifier.c:4335: + verifier_bug(env, "callback leftover stack slots %llx", WARNING: line length of 82 exceeds 80 columns #228: FILE: kernel/bpf/verifier.c:4355: + /* if backtracking was looking for registers R1-R5 WARNING: line length of 89 exceeds 80 columns #233: FILE: kernel/bpf/verifier.c:4358: + verifier_bug(env, "backtracking call unexpected regs %x", WARNING: line length of 89 exceeds 80 columns #244: FILE: kernel/bpf/verifier.c:4377: + verifier_bug(env, "backtracking exit unexpected regs %x", WARNING: line length of 107 exceeds 80 columns #256: FILE: kernel/bpf/verifier.c:4719: + verifier_bug(env, "backtracking func entry subprog %d reg_mask %x stack_mask %llx", WARNING: line length of 98 exceeds 80 columns #257: FILE: kernel/bpf/verifier.c:4720: + st->frame[0]->subprogno, bt_reg_mask(bt), bt_stack_mask(bt)); WARNING: line length of 94 exceeds 80 columns #279: FILE: kernel/bpf/verifier.c:4781: + if (verifier_bug_if(i >= func->allocated_stack / BPF_REG_SIZE, WARNING: line length of 89 exceeds 80 columns #280: FILE: kernel/bpf/verifier.c:4782: + env, "stack slot %d, total slots %d", WARNING: line length of 93 exceeds 80 columns #281: FILE: kernel/bpf/verifier.c:4783: + i, func->allocated_stack / BPF_REG_SIZE)) WARNING: line length of 93 exceeds 80 columns #294: FILE: kernel/bpf/verifier.c:6557: + if (verifier_bug_if(sidx < 0, env, "callee not found at insn %d", next_insn)) WARNING: line length of 88 exceeds 80 columns #300: FILE: kernel/bpf/verifier.c:6561: + verifier_bug(env, "subprog has tail_call and async cb"); WARNING: line length of 93 exceeds 80 columns #308: FILE: kernel/bpf/verifier.c:6568: + verbose(env, "insn %d cannot call exception cb directly", i); WARNING: line length of 95 exceeds 80 columns #319: FILE: kernel/bpf/verifier.c:6668: + if (verifier_bug_if(subprog < 0, env, "get stack depth: no program at insn %d", start)) WARNING: line length of 85 exceeds 80 columns #349: FILE: kernel/bpf/verifier.c:10275: + verifier_bug(env, "Frame %d already allocated", state->curframe + 1); WARNING: line length of 91 exceeds 80 columns #359: FILE: kernel/bpf/verifier.c:10389: + verifier_bug(env, "unrecognized arg#%d type %d", i, arg->arg_type); WARNING: line length of 96 exceeds 80 columns #387: FILE: kernel/bpf/verifier.c:10510: + if (verifier_bug_if(subprog < 0, env, "target of func call at insn %d is not a program", WARNING: line length of 92 exceeds 80 columns #409: FILE: kernel/bpf/verifier.c:19692: + if (verifier_bug_if(env->cur_state->loop_entry, env, WARNING: line length of 85 exceeds 80 columns #410: FILE: kernel/bpf/verifier.c:19693: + "broken loop detection")) WARNING: line length of 85 exceeds 80 columns #436: FILE: kernel/bpf/verifier.c:21071: + if (verifier_bug_if(subprog < 0, env, "No program to jit at insn %d", WARNING: The commit message has 'syzkaller', perhaps it also needs a 'Fixes:' tag? total: 0 errors, 34 warnings, 1 checks, 379 lines checked NOTE: For some of the reported defects, checkpatch may be able to mechanically convert to the typical style using --fix or --fix-inplace. Commit e51d95c86722 ("bpf: WARN_ONCE on verifier bugs") has style problems, please review. NOTE: Ignored message types: ALLOC_SIZEOF_STRUCT BAD_REPORTED_BY_LINK CAMELCASE COMMIT_LOG_LONG_LINE GIT_COMMIT_ID MACRO_ARG_REUSE NO_AUTHOR_SIGN_OFF NOTE: If any of the errors are false positives, please report them to the maintainer, see CHECKPATCH in MAINTAINERS. total: 0 errors, 34 warnings, 1 checks, 379 lines checked