mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
* 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®