On Wed, 2024-10-16 at 15:49 +0200, Daniel Borkmann wrote: > Add a small BPF verifier test case to ensure that alu32 additions to > registers are not subject to linked scalar delta tracking. > > # ./vmtest.sh -- ./test_progs -t verifier_linked_scalars > [...] > ./test_progs -t verifier_linked_scalars > [ 1.413138] tsc: Refined TSC clocksource calibration: 3407.993 MHz > [ 1.413524] clocksource: tsc: mask: 0xffffffffffffffff max_cycles: 0x311fcd52370, max_idle_ns: 440795242006 ns > [ 1.414223] clocksource: Switched to clocksource tsc > [ 1.419640] bpf_testmod: loading out-of-tree module taints kernel. > [ 1.420025] bpf_testmod: module verification failed: signature and/or required key missing - tainting kernel > #500/1 verifier_linked_scalars/scalars: find linked scalars:OK > #500 verifier_linked_scalars:OK > Summary: 1/1 PASSED, 0 SKIPPED, 0 FAILED > [ 1.590858] ACPI: PM: Preparing to enter system sleep state S5 > [ 1.591402] reboot: Power down > [...] > > Signed-off-by: Daniel Borkmann <daniel@xxxxxxxxxxxxx> > --- Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
