update to LoweredCodeUtils@3 (#650)

* update to LoweredCodeUtils@3

* update test for v1.11

Author: aviatesk

Project.toml

@@ -29,7 +29,7 @@ InteractiveUtils = "1.10"
 JuliaInterpreter = "0.9"
 Libdl = "1.10"
 Logging = "1.10"
-LoweredCodeUtils = "2.4.5"
+LoweredCodeUtils = "3"
 MacroTools = "0.5.6"
 Pkg = "1.10"
 PrecompileTools = "1"

src/toplevel/virtualprocess.jl

@@ -1072,7 +1072,7 @@ Partially interprets statements in `src` using JuliaInterpreter.jl:
 - special-cases `include` calls so that top-level analysis recursively enters the included file
 """
 function partially_interpret!(interp::ConcreteInterpreter, mod::Module, src::CodeInfo)
-    concretize = select_statements(src)
+    concretize = select_statements(mod, src)
     @assert length(src.code) == length(concretize)
 
     with_toplevel_logger(interp.config; filter=≥(JET_LOGGER_LEVEL_DEBUG)) do @nospecialize(io)
@@ -1090,9 +1090,9 @@ function partially_interpret!(interp::ConcreteInterpreter, mod::Module, src::Cod
 end
 
 # select statements that should be concretized, and actually interpreted rather than abstracted
-function select_statements(src::CodeInfo)
+function select_statements(mod::Module, src::CodeInfo)
     stmts = src.code
-    cl = LoweredCodeUtils.CodeLinks(src) # make `CodeEdges` hold `CodeLinks`?
+    cl = LoweredCodeUtils.CodeLinks(mod, src) # make `CodeEdges` hold `CodeLinks`?
     edges = LoweredCodeUtils.CodeEdges(src, cl)
 
     concretize = falses(length(stmts))

test/toplevel/test_virtualprocess.jl

@@ -681,18 +681,6 @@ end
         @test occursin("isexpr2", get_msg(report))
     end
 
-    # error handling for module usages
-    let res = @analyze_toplevel begin
-            using Base: foo
-        end
-
-        @test !isempty(res.res.toplevel_error_reports)
-        er = first(res.res.toplevel_error_reports)
-        @test er isa ActualErrorWrapped
-        @test er.err isa UndefVarError && er.err.var === :foo
-        @test er.file == (@__FILE__) && er.line == (@__LINE__) - 7
-    end
-
     # sequential usage
     let res = @analyze_toplevel begin
             module foo
@@ -1735,7 +1723,7 @@ end
             @eval global getsum() = $sum # concretization is forced
             write(product) # should NOT be selected
         end
-        slice = JET.select_statements(src)
+        slice = JET.select_statements(@__MODULE__, src)
 
         found_N = found_sum = found_product = found_w = found_write = false
         for (i, stmt) in enumerate(src.code)