[PATCH] D155894: [BPF] allow external calls

Alessandro Decina via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Jul 28 20:25:23 PDT 2023


alessandrod added a comment.

In D155894#4544073 <https://reviews.llvm.org/D155894#4544073>, @ast wrote:

>> I may dig into that when I have some time, but for now we're just ignoring these errors in aya's linker.
>
> what do you mean "ignoring in aya" ?
> If bpf prog contains a call to memset and you link it with a generic unbounded loop in aya linker the verifier will reject such code.
> I thought aya suppose to produce valid programs.

We're ignoring the error because the error is in fact not an error, the target is doing the right thing, and aya (well, rustc) always provides memory builtins so memset gets linked correctly and a valid program is produced.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D155894/new/

https://reviews.llvm.org/D155894



More information about the llvm-commits mailing list