From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andrey Ignatov Subject: [PATCH bpf-next v2 0/3] bpf: Allow narrow loads with offset > 0 Date: Sat, 10 Nov 2018 22:15:12 -0800 Message-ID: Mime-Version: 1.0 Content-Type: text/plain Cc: Andrey Ignatov , , , , To: Return-path: Received: from mx0a-00082601.pphosted.com ([67.231.145.42]:53726 "EHLO mx0a-00082601.pphosted.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727307AbeKKQDY (ORCPT ); Sun, 11 Nov 2018 11:03:24 -0500 Received: from pps.filterd (m0109334.ppops.net [127.0.0.1]) by mx0a-00082601.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id wAB6DBQ1009787 for ; Sat, 10 Nov 2018 22:15:46 -0800 Received: from mail.thefacebook.com ([199.201.64.23]) by mx0a-00082601.pphosted.com with ESMTP id 2np04c9mja-4 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=NOT) for ; Sat, 10 Nov 2018 22:15:46 -0800 Sender: netdev-owner@vger.kernel.org List-ID: This patch set adds support for narrow loads with offset > 0 to BPF verifier. Patch 1 provides more details and is the main patch in the set. Patches 2 and 3 add new test cases to test_verifier and test_sock_addr selftests. v1->v2: - fix -Wdeclaration-after-statement warning. Andrey Ignatov (3): bpf: Allow narrow loads with offset > 0 selftests/bpf: Test narrow loads with off > 0 in test_verifier selftests/bpf: Test narrow loads with off > 0 for bpf_sock_addr include/linux/filter.h | 16 +------ kernel/bpf/verifier.c | 21 +++++++-- tools/testing/selftests/bpf/test_sock_addr.c | 28 ++++++++++-- tools/testing/selftests/bpf/test_verifier.c | 48 ++++++++++++++++---- 4 files changed, 79 insertions(+), 34 deletions(-) -- 2.17.1