Sema: register correct dependencies for inline calls

And add a corresponding test case.

1 files changed, 7 insertions, 0 deletions

diff --git a/src/Sema.zig b/src/Sema.zig
index b0f2623652..3752cefe3f 100644
--- a/src/Sema.zig
+++ b/src/Sema.zig
@@ -7598,6 +7598,9 @@ fn analyzeCall(
 
         const module_fn = zcu.funcInfo(module_fn_index);
 
+        // The call site definitely depends on the function's signature.
+        try sema.declareDependency(.{ .src_hash = module_fn.zir_body_inst });
+
         // This is not a function instance, so the function's `Nav` has a
         // `Cau` -- we don't need to check `generic_owner`.
         const fn_nav = ip.getNav(module_fn.owner_nav);
@@ -7755,6 +7758,10 @@ fn analyzeCall(
             break :res Air.internedToRef(memoized_call.result);
         }
 
+        // Since we're doing an inline call, we depend on the source code of the whole
+        // function declaration.
+        try sema.declareDependency(.{ .src_hash = fn_cau.zir_index });
+
         new_fn_info.return_type = sema.fn_ret_ty.toIntern();
         if (!is_comptime_call and !block.is_typeof) {
             const zir_tags = sema.code.instructions.items(.tag);