Fix effect override for @ccall (#46135)

Author: N5N3

base/compiler/abstractinterpretation.jl

@@ -2067,7 +2067,7 @@ function abstract_eval_statement(interp::AbstractInterpreter, @nospecialize(e),
                 override.consistent          ? ALWAYS_TRUE : effects.consistent,
                 override.effect_free         ? ALWAYS_TRUE : effects.effect_free,
                 override.nothrow             ? ALWAYS_TRUE : effects.nothrow,
-                override.terminates_globally ? ALWAYS_TRUE : effects.terminates_globally,
+                override.terminates_globally ? ALWAYS_TRUE : effects.terminates,
                 effects.nonoverlayed         ? true        : false,
                 override.notaskstate         ? ALWAYS_TRUE : effects.notaskstate)
         end

test/compiler/effects.jl

@@ -182,3 +182,8 @@ end |> !Core.Compiler.is_nothrow
 @test Base.infer_effects() do
     Core.svec(nothing, 1, "foo")
 end |> Core.Compiler.is_consistent
+
+# issue 46122: @assume_effects for @ccall
+@test Base.infer_effects((Vector{Int},)) do a
+    Base.@assume_effects :effect_free @ccall jl_array_ptr(a::Any)::Ptr{Int}
+end |> Core.Compiler.is_effect_free