carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-05 08:01:05 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Include the virtual modifier when importing functions (#5841)

Browse Source
This commit is contained in:
Jon Ross-Perkins
2025-07-23 21:42:15 +00:00
committed by GitHub
parent 192c3f1939
commit b8ca7bf18f
2 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/import_ref.cpp
+1
View File
@@ -1845,6 +1845,7 @@ static auto MakeFunctionDecl(ImportContext& context,
{GetIncompleteLocalEntityBase(context, function_decl_id, import_function),
{.call_params_id = SemIR::InstBlockId::None,
.return_slot_pattern_id = SemIR::InstId::None,
.virtual_modifier = import_function.virtual_modifier,
.virtual_index = import_function.virtual_index}});
function_decl.type_id = GetFunctionType(
toolchain/check/testdata/class/virtual_modifiers.carbon
Vendored
+5 -5
View File
@@ -699,7 +699,7 @@ var v: Base(T1) = {};
// CHECK:STDOUT:
// CHECK:STDOUT: impl fn @Derived.H(%self.param: %Derived);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @Base.H [from "modifiers.carbon"];
// CHECK:STDOUT: virtual fn @Base.H [from "modifiers.carbon"];
// CHECK:STDOUT:
// CHECK:STDOUT: fn @Use() {
// CHECK:STDOUT: !entry:
@@ -821,7 +821,7 @@ var v: Base(T1) = {};
// CHECK:STDOUT:
// CHECK:STDOUT: virtual fn @Derived.F(%self.param: %Derived);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @Base.H [from "modifiers.carbon"];
// CHECK:STDOUT: virtual fn @Base.H [from "modifiers.carbon"];
// CHECK:STDOUT:
// CHECK:STDOUT: --- init.carbon
// CHECK:STDOUT:
@@ -914,7 +914,7 @@ var v: Base(T1) = {};
// CHECK:STDOUT: return
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: fn @Base.H [from "modifiers.carbon"];
// CHECK:STDOUT: virtual fn @Base.H [from "modifiers.carbon"];
// CHECK:STDOUT:
// CHECK:STDOUT: --- impl_abstract.carbon
// CHECK:STDOUT:
@@ -4897,7 +4897,7 @@ var v: Base(T1) = {};
// CHECK:STDOUT: constants.%Base.F.specific_fn.892
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: generic fn @Base.F(imports.%Main.import_ref.5ab3ec.2: type) [from "generic_lib.carbon"] {
// CHECK:STDOUT: generic virtual fn @Base.F(imports.%Main.import_ref.5ab3ec.2: type) [from "generic_lib.carbon"] {
// CHECK:STDOUT: %T: type = bind_symbolic_name T, 0 [symbolic = %T (constants.%T)]
// CHECK:STDOUT: %Base: type = class_type @Base, @Base(%T) [symbolic = %Base (constants.%Base.370)]
// CHECK:STDOUT: %pattern_type: type = pattern_type %Base [symbolic = %pattern_type (constants.%pattern_type.9f7)]
@@ -4905,7 +4905,7 @@ var v: Base(T1) = {};
// CHECK:STDOUT: !definition:
// CHECK:STDOUT: %require_complete: <witness> = require_complete_type %Base [symbolic = %require_complete (constants.%require_complete)]
// CHECK:STDOUT:
// CHECK:STDOUT: fn;
// CHECK:STDOUT: virtual fn;
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: fn @__global_init() {