Shuhei Kadowaki

Results 99 issues of Shuhei Kadowaki

The purpose of `is_inlineable_constant` is to avoid code size increases from copying objects too much. `String`s would be fine since they are generally copied around by reference only.

optimizer

Why does Revise.jl [process user callbacks asynchronously](https://github.com/timholy/Revise.jl/blob/8c83750cb6214c2d999e602d32f4750a7563e0e5/src/callbacks.jl#L114-L118) ? Is it possible we process callbacks sequentially ? --- I'm implementing something like half-static error checker for Julia with Revise.jl running in...

wishlist

There are bunch of dead code around (like https://github.com/JuliaLang/julia/pull/42833), and it would be nice if JET can report such cases automatically. Especially, array allocation couldn't be eliminated by the compiler...

So that we can easily verify `propagate_inbounds` works. The existing [`OptAnalyzer`](https://github.com/aviatesk/JET.jl/blob/master/src/analyzers/optanalyzer.jl) may just suit to have this mode, given that this is a sort of optimization analysis. Probably better to...

optimization analysis

- [ ] JET side - [ ] julia-vscode side:

documentation

- fixes the issue where `sum(a for a in NeverTeminate(::Int))` did not report an error - refactors iteration termination check into a separate function - adds another function to find...

We can report something like "iterate(::NeverTerminate) never terminates" ```julia julia> struct NeverTerminate val::Int end julia> Base.iterate(nv::NeverTerminate, state = 0) = state>nv.val ? (state, state+1) : (state, state+1) julia> report_call() do...

abstract interpretation

something like described in this paper: https://www-apr.lip6.fr/~mine/publi/article-monat-al-ecoop20.pdf I found there're certainly cases where a relational analysis can improve the analysis accuracy: > adapted from https://github.com/JuliaLang/julia/blob/90bea0319ec29e09123ab4c678fa6a30753c8849/base/multidimensional.jl#L126-L133 ```julia # comparison @inline isless(I1::CartesianIndex{N},...

abstract interpretation

**Description** In v0.4.0, polynote can't use `EmrFileSystem` module, which is installed in EMR by default. **Reproduction** Steps to reproduce the behavior: 1. install polynote on a EMR cluster 2. execute...