bpf/progs/verifier_live_stack.c

17 __msg("(0) frame 0 insn 2 +written -8")
18 __msg("(0) frame 0 insn 1 +live -24")
19 __msg("(0) frame 0 insn 1 +written -8")
20 __msg("(0) frame 0 insn 0 +live -8,-24")
21 __msg("(0) frame 0 insn 0 +written -8")
22 __msg("(0) live stack update done in 2 iterations")
36 __msg("(0) frame 0 insn 1 +live -8")
38 __msg("(0) live stack update done in 2 iterations")
39 __msg("(0) frame 0 insn 1 +live -16")
40 __msg("(0) frame 0 insn 1 +written -32")
41 __msg("(0) live stack update done in 2 iterations")
61 __msg("2: (25) if r0 > 0x2a goto pc+1")
62 __msg("7: (95) exit")
63 __msg("(0) frame 0 insn 2 +written -16")
64 __msg("(0) live stack update done in 2 iterations")
65 __msg("7: (95) exit")
67 __msg("(0) live stack update done in 1 iterations")
86 __msg("(0) frame 0 insn 0 +written -8,-16")
87 __msg("(0) live stack update done in 2 iterations")
88 __msg("(0) frame 0 insn 0 +written -8")
89 __msg("(0) live stack update done in 2 iterations")
113 __msg("(2,4) frame 0 insn 4 +written -8")
114 __msg("(2,4) live stack update done in 2 iterations")
115 __msg("(0) frame 0 insn 2 +written -8")
116 __msg("(0) live stack update done in 2 iterations")
139 __msg("2: .12345.... (85) call pc+4")
140 __msg("5: .12345.... (85) call pc+1")
141 __msg("6: 0......... (95) exit")
143 __msg("7: .1........ (79) r0 = *(u64 *)(r1 +0)")
144 __msg("8: 0......... (95) exit")
146 __msg("(2,7) frame 0 insn 7 +live -8")
147 __msg("(2,7) live stack update done in 2 iterations")
148 __msg("(0) frame 0 insn 2 +live -8")
149 __msg("(0) live stack update done in 2 iterations")
151 __msg("(5,7) frame 0 insn 7 +live -16")
152 __msg("(5,7) live stack update done in 2 iterations")
153 __msg("(0) frame 0 insn 5 +live -16")
154 __msg("(0) live stack update done in 2 iterations")
180 __msg(" 9: .1........ (79) r0 = *(u64 *)(r1 +0)")  in __flag()
181 __msg("10: .......... (b7) r0 = 0")  in __flag()
182 __msg("11: 0......... (05) goto pc+0")  in __flag()
183 __msg("12: 0......... (95) exit")  in __flag()
189 __msg("12: safe")  in __flag()
190 __msg("processed 20 insns")  in __flag()
230 __msg("R1 type=scalar expected=map_ptr")  in __flag()
304 __failure __msg("invalid read from stack R2 off=-1024 size=8")