Update test/compiler/effects.jl

Co-authored-by: Shuhei Kadowaki <[email protected]>

Author: vchuravy

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, ()))
@@ -1359,20 +1359,17 @@ end
 
 let
     global is_initialized52531, set_initialized52531
-    _is_initialized = false
-    set_initialized52531(flag::Bool) = (_is_initialized = flag)
-    is_initialized52531()            = _is_initialized
+    _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)
+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,)))(false)
 @test !is_initialized52531()
-foo52531(4)
+top_52531(0)
 @test is_initialized52531()
 
 # 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)