Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Message-ID: <45067d6f-1752-8e3e-49b5-6349d35831af@meta.com>
Date:   Mon, 12 Dec 2022 15:22:49 -0800
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0)
 Gecko/20100101 Thunderbird/102.5.1
Subject: Re: [PATCH bpf-next 2/2] selftests/bpf: check null propagation only
 neither reg is PTR_TO_BTF_ID
Content-Language: en-US
To:     Hao Sun <sunhao.th@gmail.com>, bpf@vger.kernel.org
Cc:     ast@kernel.org, daniel@iogearbox.net, john.fastabend@gmail.com,
        andrii@kernel.org, martin.lau@linux.dev, song@kernel.org,
        yhs@fb.com, kpsingh@kernel.org, sdf@google.com, haoluo@google.com,
        jolsa@kernel.org, davem@davemloft.net, linux-kernel@vger.kernel.org
References: <20221212041547.12775-1-sunhao.th@gmail.com>
From:   Yonghong Song <yhs@meta.com>
In-Reply-To: <20221212041547.12775-1-sunhao.th@gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?bEpoek85YnRFcklGa0tEOG82VFBLMjI0V0puUFlCRlRUK1plL0pObkZKTnll?=
 =?utf-8?B?YTFJNmhmTWZqNTUwQXYvM3dRTXpkMkRMaGFaRmw2WlJ1K1NrUDNENUVtY1Zl?=
 =?utf-8?B?WkQrM082L2xVY213OWtFdVQ0Nm9qdGRxYThSNVdWMjdydGR1T3ZxS2VQN1hB?=
 =?utf-8?B?cGF4UzNQU3M0Vmw0VGtnYTFXd2VuWkhTNjBwdFpHTzl3dnhOVjdsK2dJdm9s?=
 =?utf-8?B?UjVaaEV0bnhFYzAzZGpNWW5JdVYzL0pzcU1CNDNUVG16Z2RwU3ZEZzV3TkRp?=
 =?utf-8?B?Sk1WdUE4SndPRVhvTlFpaDF2UEw4Y3dvNU8yOTl1NEZUWGdnQ3JsUnhseDhr?=
 =?utf-8?B?ZHBOMjNYVHdOYXRmWFFSR2hXUUJvb3ZYVk9EVjJMenVzM0xFKy9FdHh4ckg2?=
 =?utf-8?B?V2NWL2ZZNEd4R2I3T3A1dUYxZ1BPNk53RUlQT09wbGJyM05ZaExFdE1jYlJl?=
 =?utf-8?B?cEVwTlJyMnpWSHRTQ3FvQVpQUmVldTlHM2Q4Zm1ZRk1oM3Q1TDVVemhmSFRV?=
 =?utf-8?B?dUVUaTdVSVFURUJzVHhnZGR1TUlLZXJESEl1RDlRZW54aGZOc1NpOFd6UU96?=
 =?utf-8?B?bzI2dTN4SXZjekdNaytPMXlCcmJYSUlyblpSak5TNDJjb3FEcU1zZXlHOW1h?=
 =?utf-8?B?L2JLSHY2aG5rbVhHVHQvL1RVcXdtMUZNUUZSR2ZlR21JMkZIN2tpZXB4Zk8w?=
 =?utf-8?B?NFNVWWhTUXpuYzRud1Y3TldHVk5uenFZNnB4MFRFRjdXWCtDemhucDFIMzAw?=
 =?utf-8?B?NmJYc09BdWs1OUFvckRyLzROdFk5RWdkTllMMEljeGw1RDNvMkZ2cUdJWGk5?=
 =?utf-8?B?Tml5QVljc2RmK2RHNzB5M3MwTm9BQXFmM1RGTVNLVFBoM2EycWx1VjBrdWta?=
 =?utf-8?B?c0RKV3BmRXVaRHM4akxpTXVneWN4a0dYOGJwalhBbkhUQSt4dUc4S0crZkUy?=
 =?utf-8?B?UlhhbTZXME91MXRvQ1dkSm1lbFdhNnh1cGZhaSt1VDhibXZlL3VSMmFoVFBo?=
 =?utf-8?B?Q2NKZExINGxHY0tuN0FIYk4veEdON292QkN4WGRUY201UDhENEErV29RZU9k?=
 =?utf-8?B?bDJmSXZtSURtcjRkb1lrZGk5cmFMOWpWcVk2dkF5a0V4TW85b0pneWZvUVAy?=
 =?utf-8?B?Tk9hWTdwQ3JVSlpUak9EV0xVMmhMVmlhQVZmb2txRk9NN1VGb0VLOG5xc1dp?=
 =?utf-8?B?eUVRRUtIak1HcDRUWkFUbHNmdHlxWE93Z2xUaXloV05CclNJYlhVTTdIRE42?=
 =?utf-8?B?eHdkeTV0Zzh6TDA4Ulp2Lzczd2NSU0xseXk5YkhJanpZTEp3VldObGRuNWhy?=
 =?utf-8?B?TjUxWmhJQWZqdGhFTVY1cDRDM01qV3g2V2UvaHhSZmlKYnZITjAvSi8zRXFl?=
 =?utf-8?B?bm9YTHlIV290VzJuZVl6WCtFRUVUQmx6TDNyTDZlSTBteUJEd3AyUXJpeTI3?=
 =?utf-8?B?cTA5azNhMHMxNUpySnNnQS9HWUtOSEZ3UHYvbUFWMXh4NHpMd0JRVDJ4RkZV?=
 =?utf-8?B?Z0lMQmYyc0g2RWdOeWk3ci9YUmJvSG45T0t5UUk4dU5ZbXJaMnpORDI0TFRR?=
 =?utf-8?B?Q1pmV1N1YlhNRXo5T1R4K0J6ZWZCNWVCYzJ3U0pLYU5MbTNxZWRLZVoxc1Zh?=
 =?utf-8?B?SUxmOSt6MWYyTEoyR3VvNUJ2YnNTQ2VIYmdYVWQ3c0RpVzRPZFRBcFJJcHFI?=
 =?utf-8?B?UmN1bHVoTmJ0SkNJQWxHZzJ0MXhlbVlEZ0taNVViT3R1OHdvSnB6NDBudVFR?=
 =?utf-8?B?NTByMWUxd3kweUs0ZWlKZ1MzQzNiL3MxN29UdGJxS0FVdVhubnpVRlRtYWJn?=
 =?utf-8?B?YnJWYXN6OU1JKytCOWt6NWRUeFd0MDMrUGtGL0k5UkZSYjByUWR4S21xeE56?=
 =?utf-8?B?a0Yvei9xMEFDbmdKWjluVEdmcVR6MXB0L2JDNzhXTFJMSzI4WVhBb0J5bm9U?=
 =?utf-8?B?MTU3UXIxQStVOFAyc3VNdHFMdkxOZU5xZHhnK0tkOHBYSVRDOXR4WkFrTEV4?=
 =?utf-8?B?RWxMN3pSWVd4d25FR2w1Y05hd2ZTZk4rTW54bi9XeXhKemY4c3BGQUF3bHNI?=
 =?utf-8?B?azh1NGtJZU1qN2oyRHdHNmk5Z3NjdTNRWVduTlRUU2QrbTlhVzRzS2RMbGdC?=
 =?utf-8?B?M2JiNnk0KzJ3a2dRbHppUWVEcTlSUUdibE52WmpTeWJOdzdjaGk2MkNJZlVQ?=
 =?utf-8?B?bEE9PQ==?=
X-OriginatorOrg: meta.com
X-MS-Exchange-CrossTenant-Network-Message-Id: b6b5e2d0-4c0a-40dd-e1d7-08dadc97ca70
X-MS-Exchange-CrossTenant-AuthSource: SN6PR1501MB2064.namprd15.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 12 Dec 2022 23:22:52.2789
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 8ae927fe-1255-47a7-a2af-5f3a069daaa2
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: PVdcKohJsv79NQ8RZ2mOEzD0r6gh2dyWgtfpXGZ2b7UOoZ9sX5vFAIW/o+Zx+6IR
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM6PR15MB2249
X-Proofpoint-ORIG-GUID: fLvQakG9HcHW7Pyb193SvBEe4YjICzYZ
X-Proofpoint-GUID: fLvQakG9HcHW7Pyb193SvBEe4YjICzYZ
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.205,Aquarius:18.0.923,Hydra:6.0.545,FMLib:17.11.122.1
 definitions=2022-12-12_02,2022-12-12_02,2022-06-22_01
X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,
        DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,NICE_REPLY_A,RCVD_IN_DNSWL_LOW,
        RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_NONE
        autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org


On 12/11/22 8:15 PM, Hao Sun wrote:
> Verify that nullness information is not porpagated in the branches
> of register to register JEQ and JNE operations if one of them is
> PTR_TO_BTF_ID.
> 
> Signed-off-by: Hao Sun <sunhao.th@gmail.com>

Acked-by: Yonghong Song <yhs@fb.com>