From 4f950667e72bf1a685ffc1045268f853e37147be Mon Sep 17 00:00:00 2001 From: Valentin Churavy Date: Thu, 21 Dec 2023 06:03:58 +0100 Subject: [PATCH] Update test/compiler/effects.jl Co-authored-by: Shuhei Kadowaki <40514306+aviatesk@users.noreply.github.com> --- test/compiler/effects.jl | 24 +++++++++++------------- 1 file changed, 11 insertions(+), 13 deletions(-) diff --git a/test/compiler/effects.jl b/test/compiler/effects.jl index 5f3594840fc46..2c303f5335633 100644 --- a/test/compiler/effects.jl +++ b/test/compiler/effects.jl @@ -1347,9 +1347,9 @@ const a52531 = Core.Ref(1) @test !Core.Compiler.is_consistent(Base.infer_effects(getref52531)) let global set_a52531!, get_a52531 - _a::Int = -1 + _a::Int = -1 set_a52531!(a::Int) = (_a = a; return get_a52531()) - get_a52531() = _a + get_a52531() = _a end @test !Core.Compiler.is_consistent(Base.infer_effects(set_a52531!, (Int,))) @test !Core.Compiler.is_consistent(Base.infer_effects(get_a52531, ())) @@ -1358,17 +1358,16 @@ end @test get_a52531() == 1 let - global is_initialized52531, set_initialized52531 - _is_initialized = false - set_initialized52531(flag::Bool) = (_is_initialized = flag) - is_initialized52531() = _is_initialized -end -@test !is_initialized52531() -@test set_initialized52531(true) -@test is_initialized52531() -@test !set_initialized52531(false) + global is_initialized52531, set_initialized52531! + _is_initialized = false + set_initialized52531!(flag::Bool) = (_is_initialized = flag) + is_initialized52531() = _is_initialized +end +top_52531(_) = (set_initialized52531!(true); nothing) +@test !Core.Compiler.is_consistent(Base.infer_effects(is_initialized52531)) +@test !Core.Compiler.is_removable_if_unused(Base.infer_effects(set_initialized52531!, (Bool,))) @test !is_initialized52531() -foo52531(4) +top_52531(0) @test is_initialized52531() @test Core.Compiler.is_inaccessiblememonly(Base.infer_effects(identity∘identity, Tuple{Any})) @@ -1377,4 +1376,3 @@ foo52531(4) # pointerref nothrow for invalid pointer @test !Core.Compiler.intrinsic_nothrow(Core.Intrinsics.pointerref, Any[Type{Ptr{Vector{Int64}}}, Int, Int]) @test !Core.Compiler.intrinsic_nothrow(Core.Intrinsics.pointerref, Any[Type{Ptr{T}} where T, Int, Int]) -foo52531(x) = (set_initialized52531(true); nothing)