Don't explore inbounds expressions (#26)

JuliaPluto · Jan 8, 2025 · ccc7f47 · ccc7f47 · Pangoraw · Jan 8, 2025
1 parent 6c260ee
commit ccc7f47
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -2,7 +2,7 @@ name = "ExpressionExplorer"
 uuid = "21656369-7473-754a-2065-74616d696c43"
 license = "MIT"
 authors = ["Paul Berg <[email protected]>", "Fons van der Plas <[email protected]>"]
-version = "1.1.0"
+version = "1.1.1"
 
 [compat]
 julia = "1.10"

diff --git a/src/explore.jl b/src/explore.jl
@@ -817,7 +817,7 @@ function explore!(ex::Expr, scopestate::ScopeState)::SymbolsState
     elseif Meta.isexpr(ex, Symbol("'"), 1)
         # a' corresponds to adjoint(a)
         return explore!(Expr(:call, :adjoint, ex.args[1]), scopestate)
-    elseif ex.head === :meta
+    elseif Meta.isexpr(ex, :meta) || Meta.isexpr(ex, :inbounds)
         return SymbolsState()
     else
         return explore_fallback!(ex, scopestate)

diff --git a/test/ExpressionExplorer.jl b/test/ExpressionExplorer.jl
@@ -662,6 +662,12 @@ end
         expr=:(@mymacro a <: b = 2),
         macrocalls=[Symbol("@mymacro")],
     )
+
+    @test test_expression_explorer(
+        expr=@macroexpand(@inbounds a[i] = 2x),
+        references=[:a, :i, :x],
+        funccalls=[:*],
+    )
 end
 @testset "Module imports" begin
     @test test_expression_explorer(