search

JuliaLang / AllocCheck.jl

AllocCheck
Other
196 stars 8 forks source link

Add semi-dynamic `ccall` support #69

Open topolarity opened 5 months ago

topolarity commented 5 months ago 
          I relaxed this test and marked the original as broken

We need to expand our resolution here to walk through the PhiNode in the LLVM IR and notice the ccall / jl_load_and_lookup machinery.

_Originally posted by @topolarity in https://github.com/JuliaLang/AllocCheck.jl/pull/68#discussion_r1471788425_

topolarity commented 5 months ago

This is not a soundness bug, but it does mean that some dynamic ccalls that we could statically resolve to the runtime are instead treated as DynamicDispatch