Report allocations
Julia docs say
One of the most common techniques to improve performance is to reduce memory allocation.
Julia has some memory-allocation analysis but it would be useful to have in JET.
JET is a static analyzer. There's no reasonable way that it could predict the amount of memory required, but it might be able to address whether memory would be allocated at all.
ProfileView makes it pretty easy to find "serious" allocation: just look for yellow bars.
it might be able to address whether memory would be allocated at all.
Right. In some places I may want to ensure there will be no allocation. Highlighting those locations, just like @report_opt, would be helpful for this.
The relevant Julia issue is "A macro that forbids allocation – turning allocation into error" https://github.com/JuliaLang/julia/issues/34248
See the related package: https://github.com/JuliaLang/AllocCheck.jl