* kernel/bpf/liveness.c:1273 arg_track_log() warn: inconsistent indenting
@ 2026-06-22 17:02 kernel test robot
0 siblings, 0 replies; only message in thread
From: kernel test robot @ 2026-06-22 17:02 UTC (permalink / raw)
To: Eduard Zingerman; +Cc: oe-kbuild-all, linux-kernel, Alexei Starovoitov
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: ef0c9f75a19532d7675384708fc8621e10850104
commit: bf0c571f7feb6fa05a512e2a5e50702501849d61 bpf: introduce forward arg-tracking dataflow analysis
date: 2 months ago
config: um-randconfig-r072-20260622 (https://download.01.org/0day-ci/archive/20260623/202606230027.3jJdEt4k-lkp@intel.com/config)
compiler: gcc-14 (Debian 14.2.0-19) 14.2.0
smatch: v0.5.0-9185-gbcc58b9c
If you fix the issue in a separate patch/commit (i.e. not just a new version of
the same patch/commit), kindly add following tags
| Fixes: bf0c571f7feb ("bpf: introduce forward arg-tracking dataflow analysis")
| Reported-by: kernel test robot <lkp@intel.com>
| Closes: https://lore.kernel.org/oe-kbuild-all/202606230027.3jJdEt4k-lkp@intel.com/
smatch warnings:
kernel/bpf/liveness.c:1273 arg_track_log() warn: inconsistent indenting
vim +1273 kernel/bpf/liveness.c
1253
1254 static void arg_track_log(struct bpf_verifier_env *env, struct bpf_insn *insn, int idx,
1255 struct arg_track *at_in, struct arg_track *at_stack_in,
1256 struct arg_track *at_out, struct arg_track *at_stack_out)
1257 {
1258 bool printed = false;
1259 int i;
1260
1261 if (!(env->log.level & BPF_LOG_LEVEL2))
1262 return;
1263 for (i = 0; i < MAX_BPF_REG; i++) {
1264 if (arg_track_eq(&at_out[i], &at_in[i]))
1265 continue;
1266 if (!printed) {
1267 verbose(env, "%3d: ", idx);
1268 bpf_verbose_insn(env, insn);
1269 bpf_vlog_reset(&env->log, env->log.end_pos - 1);
1270 printed = true;
1271 }
1272 verbose(env, "\tr%d: ", i); verbose_arg_track(env, &at_in[i]);
> 1273 verbose(env, " -> "); verbose_arg_track(env, &at_out[i]);
1274 }
1275 for (i = 0; i < MAX_ARG_SPILL_SLOTS; i++) {
1276 if (arg_track_eq(&at_stack_out[i], &at_stack_in[i]))
1277 continue;
1278 if (!printed) {
1279 verbose(env, "%3d: ", idx);
1280 bpf_verbose_insn(env, insn);
1281 bpf_vlog_reset(&env->log, env->log.end_pos - 1);
1282 printed = true;
1283 }
1284 verbose(env, "\tfp%+d: ", -(i + 1) * 8); verbose_arg_track(env, &at_stack_in[i]);
1285 verbose(env, " -> "); verbose_arg_track(env, &at_stack_out[i]);
1286 }
1287 if (printed)
1288 verbose(env, "\n");
1289 }
1290
--
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2026-06-22 17:02 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-06-22 17:02 kernel/bpf/liveness.c:1273 arg_track_log() warn: inconsistent indenting kernel test robot
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®