Re: [PATCH net-next] selftests/bpf: add a test case to check verifier pointer arithmetic

2017-05-03 Thread David Miller
From: Alexei Starovoitov Date: Tue, 2 May 2017 19:58:14 -0700 > From: Yonghong Song > > With clang/llvm 4.0+, the test case is able to generate > the following pattern: > > 440: (b7) r1 = 15 > 441: (05) goto pc+73 > 515: (79) r6 = *(u64 *)(r10 -152) > 516: (bf) r7 = r10 > 517: (07) r7 += -

[PATCH net-next] selftests/bpf: add a test case to check verifier pointer arithmetic

2017-05-02 Thread Alexei Starovoitov
From: Yonghong Song With clang/llvm 4.0+, the test case is able to generate the following pattern: 440: (b7) r1 = 15 441: (05) goto pc+73 515: (79) r6 = *(u64 *)(r10 -152) 516: (bf) r7 = r10 517: (07) r7 += -112 518: (bf) r2 = r7 519: (0f) r2 += r1 520: (71) r1 = *(u8 *)(r8 +0) 521: (73) *(u