I started by putting together a PR for this, but realized I should have opened an issue first to document the problem clearly.
reachability run --lang c --project examples/bluez/ hit two C/C++ acquisition bugs:
get-bc used an ambient llvm-link from PATH instead of the LLVM toolchain resolved by reachability.
- Artifact auto-detection selected
.conftest.c.o from ./configure instead of a real built binary.
can be reproduced with bluez repo reachability run --lang c --project examples/bluez/ --out bluez-reachable-run/
First failure:
llvm-link: ... error: Invalid attribute group entry (Producer: 'LLVM22.1.8' Reader: 'LLVM 18.1.3')
After fixing that, second failure:
artifact: .conftest.c.o
error: analyzer failed (exit 1):
error: no entry symbol resolved. Requested: main LLVMFuzzerTestOneInput
Expected
- C/C++ bitcode extraction should use the same resolved LLVM toolchain as reachability check-toolchain, including llvm-link.
- Artifact detection should ignore autotools probe files like .conftest* and prefer real executables over stray object files.
I started by putting together a PR for this, but realized I should have opened an issue first to document the problem clearly.
reachability run --lang c --project examples/bluez/hit two C/C++ acquisition bugs:get-bcused an ambientllvm-linkfromPATHinstead of the LLVM toolchain resolved by reachability..conftest.c.ofrom./configureinstead of a real built binary.can be reproduced with bluez repo
reachability run --lang c --project examples/bluez/ --out bluez-reachable-run/First failure:
llvm-link: ... error: Invalid attribute group entry (Producer: 'LLVM22.1.8' Reader: 'LLVM 18.1.3')After fixing that, second failure:
Expected