Hello: This patch was applied to bpf/bpf-next.git (refs/heads/master): On Fri, 26 Feb 2021 14:38:10 -0800 you wrote: > The original bcc pull request > https://github.com/iovisor/bcc/pull/3270 > exposed a verifier failure with Clang 12/13 while > Clang 4 works fine. Further investigation exposed two issues. > Issue 1: LLVM may generate code which uses less refined > value. The issue is fixed in llvm patch > https://reviews.llvm.org/D97479 > Issue 2: Spills with initial value 0 are marked as precise > which makes later state pruning less effective. > This is my rough initial analysis and further investigation > is needed to find how to improve verifier pruning > in such cases. > > [...] Here is the summary with links: - [bpf-next,v2] selftests/bpf: add a verifier scale test with unknown bounded loop https://git.kernel.org/bpf/bpf-next/c/86a35af628e5 You are awesome, thank you! -- Deet-doot-dot, I am a bot. https://korg.docs.kernel.org/patchwork/pwbot.html
