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

Improve toolchain/check/testdata/interop/cpp/no_prelude/{class,struct,union}.carbon (#5467)

Browse Source 
* Add // === headlines on group of file shards.
* Rename shard files to shorten given the file context them and add
`todo` where appropriate.

Not splitting this file for now.

Part of #5150.
This commit is contained in:
Boaz Brickner
2025-05-15 09:01:18 +00:00
committed by GitHub
parent 9d5575c920
commit 4071372677
3 changed files with 389 additions and 237 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/testdata/interop/cpp/no_prelude/class.carbon
Vendored
+143 -87
View File
@@ -8,165 +8,201 @@
// TIP: To dump output, run:
// TIP: bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/check/testdata/interop/cpp/no_prelude/class.carbon
// --- class_declaration.h
// ============================================================================
// Declaration
// ============================================================================
// --- declaration.h
class Bar;
// --- fail_import_class_declaration.carbon
// --- fail_todo_import_declaration.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_declaration.h";
import Cpp library "declaration.h";
// CHECK:STDERR: fail_import_class_declaration.carbon:[[@LINE+7]]:13: error: semantics TODO: `Unsupported: Record declarations without a definition` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_declaration.carbon:[[@LINE+7]]:13: error: semantics TODO: `Unsupported: Record declarations without a definition` [SemanticsTodo]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR: fail_import_class_declaration.carbon:[[@LINE+4]]:13: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_declaration.carbon:[[@LINE+4]]:13: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR:
fn MyF(bar: Cpp.Bar*);
// --- class_definition.h
// ============================================================================
// Definition
// ============================================================================
// --- definition.h
class Bar {};
// --- import_class_definition.carbon
// --- import_definition.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_definition.h";
import Cpp library "definition.h";
fn MyF(bar: Cpp.Bar*);
// --- class_declaration_and_definition.h
// ============================================================================
// Declaration and definition
// ============================================================================
// --- declaration_and_definition.h
class Bar;
class Bar {};
// --- import_class_declaration_and_definition.carbon
// --- import_declaration_and_definition.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_declaration_and_definition.h";
import Cpp library "declaration_and_definition.h";
fn MyF(bar: Cpp.Bar*);
// --- class_public_static_member_function.h
// ============================================================================
// Public static member function
// ============================================================================
// --- public_static_member_function.h
class Bar {
public:
static auto foo() -> void;
};
// --- import_class_public_static_member_function.carbon
// --- import_public_static_member_function.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_public_static_member_function.h";
import Cpp library "public_static_member_function.h";
fn MyF() {
Cpp.Bar.foo();
}
// --- class_private_static_member_function.h
// ============================================================================
// Private static member function
// ============================================================================
// --- private_static_member_function.h
class Bar {
private:
static auto foo() -> void;
};
// --- todo_fail_import_class_private_static_member_function.carbon
// --- todo_fail_import_private_static_member_function.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_private_static_member_function.h";
import Cpp library "private_static_member_function.h";
fn MyF() {
Cpp.Bar.foo();
}
// --- class_public_member_function.h
// ============================================================================
// Public member function
// ============================================================================
// --- public_member_function.h
class Bar {
public:
auto foo() -> void;
};
// --- fail_import_class_public_member_function.carbon
// --- fail_todo_import_public_member_function.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_public_member_function.h";
import Cpp library "public_member_function.h";
fn MyF(bar : Cpp.Bar*) {
// CHECK:STDERR: fail_import_class_public_member_function.carbon:[[@LINE+7]]:3: error: semantics TODO: `Unsupported: Non-global function` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_public_member_function.carbon:[[@LINE+7]]:3: error: semantics TODO: `Unsupported: Non-global function` [SemanticsTodo]
// CHECK:STDERR: bar->foo();
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR: fail_import_class_public_member_function.carbon:[[@LINE+4]]:3: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_public_member_function.carbon:[[@LINE+4]]:3: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: bar->foo();
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR:
bar->foo();
}
// --- class_public_static_data_member.h
// ============================================================================
// Public static data member
// ============================================================================
// --- public_static_data_member.h
class Bar {
public:
static Bar* foo;
};
// --- fail_import_class_public_static_data_member.carbon
// --- fail_todo_import_public_static_data_member.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_public_static_data_member.h";
import Cpp library "public_static_data_member.h";
fn MyF() {
// CHECK:STDERR: fail_import_class_public_static_data_member.carbon:[[@LINE+11]]:23: error: semantics TODO: `Unsupported: Declaration type Var` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_public_static_data_member.carbon:[[@LINE+11]]:23: error: semantics TODO: `Unsupported: Declaration type Var` [SemanticsTodo]
// CHECK:STDERR: let bar: Cpp.Bar* = Cpp.Bar.foo();
// CHECK:STDERR: ^~~~~~~~~~~
// CHECK:STDERR: fail_import_class_public_static_data_member.carbon:[[@LINE+8]]:23: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_public_static_data_member.carbon:[[@LINE+8]]:23: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: let bar: Cpp.Bar* = Cpp.Bar.foo();
// CHECK:STDERR: ^~~~~~~~~~~
// CHECK:STDERR:
// CHECK:STDERR: fail_import_class_public_static_data_member.carbon:[[@LINE+4]]:23: error: member name `foo` not found in `Cpp.Bar` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: fail_todo_import_public_static_data_member.carbon:[[@LINE+4]]:23: error: member name `foo` not found in `Cpp.Bar` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: let bar: Cpp.Bar* = Cpp.Bar.foo();
// CHECK:STDERR: ^~~~~~~~~~~
// CHECK:STDERR:
let bar: Cpp.Bar* = Cpp.Bar.foo();
}
// --- class_public_data_member.h
// ============================================================================
// Public data member
// ============================================================================
// --- public_data_member.h
class Bar {
public:
Bar* foo;
};
// --- fail_import_class_public_data_member.carbon
// --- fail_todo_import_public_data_member.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_public_static_data_member.h";
import Cpp library "public_static_data_member.h";
fn MyF(bar : Cpp.Bar*) {
// CHECK:STDERR: fail_import_class_public_data_member.carbon:[[@LINE+11]]:27: error: semantics TODO: `Unsupported: Declaration type Var` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_public_data_member.carbon:[[@LINE+11]]:27: error: semantics TODO: `Unsupported: Declaration type Var` [SemanticsTodo]
// CHECK:STDERR: let foo_bar: Cpp.Bar* = bar->foo;
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR: fail_import_class_public_data_member.carbon:[[@LINE+8]]:27: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_public_data_member.carbon:[[@LINE+8]]:27: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: let foo_bar: Cpp.Bar* = bar->foo;
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR:
// CHECK:STDERR: fail_import_class_public_data_member.carbon:[[@LINE+4]]:27: error: member name `foo` not found in `Cpp.Bar` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: fail_todo_import_public_data_member.carbon:[[@LINE+4]]:27: error: member name `foo` not found in `Cpp.Bar` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: let foo_bar: Cpp.Bar* = bar->foo;
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR:
let foo_bar: Cpp.Bar* = bar->foo;
}
// --- class_inheritance_static.h
// ============================================================================
// Inheritance static
// ============================================================================
// --- inheritance_static.h
class Bar1 {
public:
@@ -178,11 +214,11 @@ class Bar2 : public Bar1 {
static auto foo2() -> void;
};
// --- import_class_inheritance_static.carbon
// --- import_inheritance_static.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_inheritance_static.h";
import Cpp library "inheritance_static.h";
fn MyF() {
Cpp.Bar1.foo1();
@@ -190,62 +226,74 @@ fn MyF() {
Cpp.Bar2.foo2();
}
// --- class_inheritance_pointers.h
// ============================================================================
// Inheritance pointers
// ============================================================================
// --- inheritance_pointers.h
class Bar1 {};
class Bar2 : public Bar1 {};
// --- fail_import_class_inheritance_pointers.carbon
// --- fail_todo_import_inheritance_pointers.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_inheritance_pointers.h";
import Cpp library "inheritance_pointers.h";
fn MyF1(bar : Cpp.Bar1*);
// TODO: Support C++ inheritance.
// CHECK:STDERR: fail_import_class_inheritance_pointers.carbon:[[@LINE+7]]:33: error: `Core.ImplicitAs` implicitly referenced here, but package `Core` not found [CoreNotFound]
// CHECK:STDERR: fail_todo_import_inheritance_pointers.carbon:[[@LINE+7]]:33: error: `Core.ImplicitAs` implicitly referenced here, but package `Core` not found [CoreNotFound]
// CHECK:STDERR: fn MyF2(bar : Cpp.Bar2*) { MyF1(bar); }
// CHECK:STDERR: ^~~
// CHECK:STDERR: fail_import_class_inheritance_pointers.carbon:[[@LINE-5]]:9: note: initializing function parameter [InCallToFunctionParam]
// CHECK:STDERR: fail_todo_import_inheritance_pointers.carbon:[[@LINE-5]]:9: note: initializing function parameter [InCallToFunctionParam]
// CHECK:STDERR: fn MyF1(bar : Cpp.Bar1*);
// CHECK:STDERR: ^~~~~~~~~~~~~~~
// CHECK:STDERR:
fn MyF2(bar : Cpp.Bar2*) { MyF1(bar); }
// --- class_dynamic.h
// ============================================================================
// Dynamic
// ============================================================================
// --- dynamic.h
class Bar {
public:
virtual ~Bar();
};
// --- fail_import_class_dynamic.carbon
// --- fail_todo_import_dynamic.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_dynamic.h";
import Cpp library "dynamic.h";
// CHECK:STDERR: fail_import_class_dynamic.carbon:[[@LINE+7]]:14: error: semantics TODO: `Unsupported: Dynamic Class` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_dynamic.carbon:[[@LINE+7]]:14: error: semantics TODO: `Unsupported: Dynamic Class` [SemanticsTodo]
// CHECK:STDERR: fn MyF(bar : Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR: fail_import_class_dynamic.carbon:[[@LINE+4]]:14: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_dynamic.carbon:[[@LINE+4]]:14: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fn MyF(bar : Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR:
fn MyF(bar : Cpp.Bar*);
// --- class_to_inherit_public.h
// ============================================================================
// To inherit public
// ============================================================================
// --- to_inherit_public.h
class Bar {
public:
static auto foo() -> void;
};
// --- import_class_to_inherit_public.carbon
// --- import_to_inherit_public.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_to_inherit_public.h";
import Cpp library "to_inherit_public.h";
class Derived {
extend base: Cpp.Bar;
@@ -255,18 +303,22 @@ fn MyF() {
Derived.foo();
}
// --- class_to_inherit_private.h
// ============================================================================
// To inherit private
// ============================================================================
// --- to_inherit_private.h
class Bar {
private:
static auto foo() -> void;
};
// --- todo_fail_class_to_inherit_private.carbon
// --- todo_fail_to_inherit_private.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_to_inherit_private.h";
import Cpp library "to_inherit_private.h";
class Derived {
extend base: Cpp.Bar;
@@ -276,31 +328,35 @@ fn MyF() {
Derived.foo();
}
// --- class_template.h
// ============================================================================
// Template
// ============================================================================
// --- template.h
template<typename T>
class Bar {};
// --- fail_import_class_template.carbon
// --- fail_todo_import_template.carbon
library "[[@TEST_NAME]]";
import Cpp library "class_template.h";
import Cpp library "template.h";
// CHECK:STDERR: fail_import_class_template.carbon:[[@LINE+11]]:13: error: semantics TODO: `Unsupported: Declaration type ClassTemplate` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_template.carbon:[[@LINE+11]]:13: error: semantics TODO: `Unsupported: Declaration type ClassTemplate` [SemanticsTodo]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR: fail_import_class_template.carbon:[[@LINE+8]]:13: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_template.carbon:[[@LINE+8]]:13: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR:
// CHECK:STDERR: fail_import_class_template.carbon:[[@LINE+4]]:13: error: member name `Bar` not found in `Cpp` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: fail_todo_import_template.carbon:[[@LINE+4]]:13: error: member name `Bar` not found in `Cpp` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR:
fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: --- fail_import_class_declaration.carbon
// CHECK:STDOUT: --- fail_todo_import_declaration.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -320,7 +376,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_declaration.h"
// CHECK:STDOUT: import Cpp "declaration.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: <error> = binding_pattern bar [concrete]
@@ -338,7 +394,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @MyF(%bar.param: <error>);
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_class_definition.carbon
// CHECK:STDOUT: --- import_definition.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar: type = class_type @Bar [concrete]
@@ -363,7 +419,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_definition.h"
// CHECK:STDOUT: import Cpp "definition.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: %pattern_type = binding_pattern bar [concrete]
@@ -392,7 +448,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @MyF(%bar.param: %ptr);
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_class_declaration_and_definition.carbon
// CHECK:STDOUT: --- import_declaration_and_definition.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar: type = class_type @Bar [concrete]
@@ -417,7 +473,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_declaration_and_definition.h"
// CHECK:STDOUT: import Cpp "declaration_and_definition.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: %pattern_type = binding_pattern bar [concrete]
@@ -446,7 +502,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @MyF(%bar.param: %ptr);
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_class_public_static_member_function.carbon
// CHECK:STDOUT: --- import_public_static_member_function.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -472,7 +528,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_public_static_member_function.h"
// CHECK:STDOUT: import Cpp "public_static_member_function.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
// CHECK:STDOUT: }
@@ -501,7 +557,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo();
// CHECK:STDOUT:
// CHECK:STDOUT: --- todo_fail_import_class_private_static_member_function.carbon
// CHECK:STDOUT: --- todo_fail_import_private_static_member_function.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -527,7 +583,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_private_static_member_function.h"
// CHECK:STDOUT: import Cpp "private_static_member_function.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
// CHECK:STDOUT: }
@@ -556,7 +612,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo();
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_class_public_member_function.carbon
// CHECK:STDOUT: --- fail_todo_import_public_member_function.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar: type = class_type @Bar [concrete]
@@ -581,7 +637,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_public_member_function.h"
// CHECK:STDOUT: import Cpp "public_member_function.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: %pattern_type = binding_pattern bar [concrete]
@@ -617,7 +673,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: return
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_class_public_static_data_member.carbon
// CHECK:STDOUT: --- fail_todo_import_public_static_data_member.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -642,7 +698,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_public_static_data_member.h"
// CHECK:STDOUT: import Cpp "public_static_data_member.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
// CHECK:STDOUT: }
@@ -676,7 +732,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: return
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_class_public_data_member.carbon
// CHECK:STDOUT: --- fail_todo_import_public_data_member.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar: type = class_type @Bar [concrete]
@@ -701,7 +757,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_public_static_data_member.h"
// CHECK:STDOUT: import Cpp "public_static_data_member.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: %pattern_type = binding_pattern bar [concrete]
@@ -746,7 +802,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: return
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_class_inheritance_static.carbon
// CHECK:STDOUT: --- import_inheritance_static.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -778,7 +834,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_inheritance_static.h"
// CHECK:STDOUT: import Cpp "inheritance_static.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
// CHECK:STDOUT: }
@@ -834,7 +890,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo2();
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_class_inheritance_pointers.carbon
// CHECK:STDOUT: --- fail_todo_import_inheritance_pointers.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar1: type = class_type @Bar1 [concrete]
@@ -867,7 +923,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF2 = %MyF2.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_inheritance_pointers.h"
// CHECK:STDOUT: import Cpp "inheritance_pointers.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF1.decl: %MyF1.type = fn_decl @MyF1 [concrete = constants.%MyF1] {
// CHECK:STDOUT: %bar.patt: %pattern_type.3cc = binding_pattern bar [concrete]
@@ -928,7 +984,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: return
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_class_dynamic.carbon
// CHECK:STDOUT: --- fail_todo_import_dynamic.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -948,7 +1004,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_dynamic.h"
// CHECK:STDOUT: import Cpp "dynamic.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: <error> = binding_pattern bar [concrete]
@@ -966,7 +1022,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @MyF(%bar.param: <error>);
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_class_to_inherit_public.carbon
// CHECK:STDOUT: --- import_to_inherit_public.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Derived: type = class_type @Derived [concrete]
@@ -997,7 +1053,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_to_inherit_public.h"
// CHECK:STDOUT: import Cpp "to_inherit_public.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %Derived.decl: type = class_decl @Derived [concrete = constants.%Derived] {} {}
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
@@ -1042,7 +1098,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo();
// CHECK:STDOUT:
// CHECK:STDOUT: --- todo_fail_class_to_inherit_private.carbon
// CHECK:STDOUT: --- todo_fail_to_inherit_private.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Derived: type = class_type @Derived [concrete]
@@ -1073,7 +1129,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_to_inherit_private.h"
// CHECK:STDOUT: import Cpp "to_inherit_private.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %Derived.decl: type = class_decl @Derived [concrete = constants.%Derived] {} {}
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
@@ -1118,7 +1174,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo();
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_class_template.carbon
// CHECK:STDOUT: --- fail_todo_import_template.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -1138,7 +1194,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "class_template.h"
// CHECK:STDOUT: import Cpp "template.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: <error> = binding_pattern bar [concrete]
toolchain/check/testdata/interop/cpp/no_prelude/struct.carbon
Vendored
+143 -87
View File
@@ -8,161 +8,197 @@
// TIP: To dump output, run:
// TIP: bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/check/testdata/interop/cpp/no_prelude/struct.carbon
// --- struct_declaration.h
// ============================================================================
// Declaration
// ============================================================================
// --- declaration.h
struct Bar;
// --- fail_import_struct_declaration.carbon
// --- fail_todo_import_declaration.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_declaration.h";
import Cpp library "declaration.h";
// CHECK:STDERR: fail_import_struct_declaration.carbon:[[@LINE+7]]:13: error: semantics TODO: `Unsupported: Record declarations without a definition` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_declaration.carbon:[[@LINE+7]]:13: error: semantics TODO: `Unsupported: Record declarations without a definition` [SemanticsTodo]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR: fail_import_struct_declaration.carbon:[[@LINE+4]]:13: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_declaration.carbon:[[@LINE+4]]:13: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR:
fn MyF(bar: Cpp.Bar*);
// --- struct_definition.h
// ============================================================================
// Definition
// ============================================================================
// --- definition.h
struct Bar {};
// --- import_struct_definition.carbon
// --- import_definition.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_definition.h";
import Cpp library "definition.h";
fn MyF(bar: Cpp.Bar*);
// --- struct_declaration_and_definition.h
// ============================================================================
// Declaration and definition
// ============================================================================
// --- declaration_and_definition.h
struct Bar;
struct Bar {};
// --- import_struct_declaration_and_definition.carbon
// --- import_declaration_and_definition.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_declaration_and_definition.h";
import Cpp library "declaration_and_definition.h";
fn MyF(bar: Cpp.Bar*);
// --- struct_public_static_member_function.h
// ============================================================================
// Public static member function
// ============================================================================
// --- public_static_member_function.h
struct Bar {
static auto foo() -> void;
};
// --- import_struct_public_static_member_function.carbon
// --- import_public_static_member_function.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_public_static_member_function.h";
import Cpp library "public_static_member_function.h";
fn MyF() {
Cpp.Bar.foo();
}
// --- struct_private_static_member_function.h
// ============================================================================
// Private static member function
// ============================================================================
// --- private_static_member_function.h
struct Bar {
private:
static auto foo() -> void;
};
// --- todo_fail_import_struct_private_static_member_function.carbon
// --- todo_fail_import_private_static_member_function.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_private_static_member_function.h";
import Cpp library "private_static_member_function.h";
fn MyF() {
Cpp.Bar.foo();
}
// --- struct_public_member_function.h
// ============================================================================
// Public member function
// ============================================================================
// --- public_member_function.h
struct Bar {
auto foo() -> void;
};
// --- fail_import_struct_public_member_function.carbon
// --- fail_todo_import_public_member_function.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_public_member_function.h";
import Cpp library "public_member_function.h";
fn MyF(bar : Cpp.Bar*) {
// CHECK:STDERR: fail_import_struct_public_member_function.carbon:[[@LINE+7]]:3: error: semantics TODO: `Unsupported: Non-global function` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_public_member_function.carbon:[[@LINE+7]]:3: error: semantics TODO: `Unsupported: Non-global function` [SemanticsTodo]
// CHECK:STDERR: bar->foo();
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR: fail_import_struct_public_member_function.carbon:[[@LINE+4]]:3: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_public_member_function.carbon:[[@LINE+4]]:3: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: bar->foo();
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR:
bar->foo();
}
// --- struct_public_static_data_member.h
// ============================================================================
// Public static data member
// ============================================================================
// --- public_static_data_member.h
struct Bar {
static Bar* foo;
};
// --- fail_import_struct_public_static_data_member.carbon
// --- fail_todo_import_public_static_data_member.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_public_static_data_member.h";
import Cpp library "public_static_data_member.h";
fn MyF() {
// CHECK:STDERR: fail_import_struct_public_static_data_member.carbon:[[@LINE+11]]:23: error: semantics TODO: `Unsupported: Declaration type Var` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_public_static_data_member.carbon:[[@LINE+11]]:23: error: semantics TODO: `Unsupported: Declaration type Var` [SemanticsTodo]
// CHECK:STDERR: let bar: Cpp.Bar* = Cpp.Bar.foo();
// CHECK:STDERR: ^~~~~~~~~~~
// CHECK:STDERR: fail_import_struct_public_static_data_member.carbon:[[@LINE+8]]:23: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_public_static_data_member.carbon:[[@LINE+8]]:23: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: let bar: Cpp.Bar* = Cpp.Bar.foo();
// CHECK:STDERR: ^~~~~~~~~~~
// CHECK:STDERR:
// CHECK:STDERR: fail_import_struct_public_static_data_member.carbon:[[@LINE+4]]:23: error: member name `foo` not found in `Cpp.Bar` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: fail_todo_import_public_static_data_member.carbon:[[@LINE+4]]:23: error: member name `foo` not found in `Cpp.Bar` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: let bar: Cpp.Bar* = Cpp.Bar.foo();
// CHECK:STDERR: ^~~~~~~~~~~
// CHECK:STDERR:
let bar: Cpp.Bar* = Cpp.Bar.foo();
}
// --- struct_public_data_member.h
// ============================================================================
// Public data member
// ============================================================================
// --- public_data_member.h
struct Bar {
Bar* foo;
};
// --- fail_import_struct_public_data_member.carbon
// --- fail_todo_import_public_data_member.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_public_static_data_member.h";
import Cpp library "public_data_member.h";
fn MyF(bar : Cpp.Bar*) {
// CHECK:STDERR: fail_import_struct_public_data_member.carbon:[[@LINE+11]]:27: error: semantics TODO: `Unsupported: Declaration type Var` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_public_data_member.carbon:[[@LINE+11]]:27: error: semantics TODO: `Unsupported: Declaration type Field` [SemanticsTodo]
// CHECK:STDERR: let foo_bar: Cpp.Bar* = bar->foo;
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR: fail_import_struct_public_data_member.carbon:[[@LINE+8]]:27: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_public_data_member.carbon:[[@LINE+8]]:27: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: let foo_bar: Cpp.Bar* = bar->foo;
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR:
// CHECK:STDERR: fail_import_struct_public_data_member.carbon:[[@LINE+4]]:27: error: member name `foo` not found in `Cpp.Bar` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: fail_todo_import_public_data_member.carbon:[[@LINE+4]]:27: error: member name `foo` not found in `Cpp.Bar` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: let foo_bar: Cpp.Bar* = bar->foo;
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR:
let foo_bar: Cpp.Bar* = bar->foo;
}
// --- struct_inheritance_static.h
// ============================================================================
// Inheritance static
// ============================================================================
// --- inheritance_static.h
struct Bar1 {
static auto foo1() -> void;
@@ -172,11 +208,11 @@ struct Bar2 : public Bar1 {
static auto foo2() -> void;
};
// --- import_struct_inheritance_static.carbon
// --- import_inheritance_static.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_inheritance_static.h";
import Cpp library "inheritance_static.h";
fn MyF() {
Cpp.Bar1.foo1();
@@ -184,58 +220,70 @@ fn MyF() {
Cpp.Bar2.foo2();
}
// --- struct_inheritance_pointers.h
// ============================================================================
// Inheritance pointers
// ============================================================================
// --- inheritance_pointers.h
struct Bar1 {};
struct Bar2 : public Bar1 {};
// --- fail_import_struct_inheritance_pointers.carbon
// --- fail_todo_import_inheritance_pointers.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_inheritance_pointers.h";
import Cpp library "inheritance_pointers.h";
fn MyF1(bar : Cpp.Bar1*);
// TODO: Support C++ inheritance.
// CHECK:STDERR: fail_import_struct_inheritance_pointers.carbon:[[@LINE+7]]:33: error: `Core.ImplicitAs` implicitly referenced here, but package `Core` not found [CoreNotFound]
// CHECK:STDERR: fail_todo_import_inheritance_pointers.carbon:[[@LINE+7]]:33: error: `Core.ImplicitAs` implicitly referenced here, but package `Core` not found [CoreNotFound]
// CHECK:STDERR: fn MyF2(bar : Cpp.Bar2*) { MyF1(bar); }
// CHECK:STDERR: ^~~
// CHECK:STDERR: fail_import_struct_inheritance_pointers.carbon:[[@LINE-5]]:9: note: initializing function parameter [InCallToFunctionParam]
// CHECK:STDERR: fail_todo_import_inheritance_pointers.carbon:[[@LINE-5]]:9: note: initializing function parameter [InCallToFunctionParam]
// CHECK:STDERR: fn MyF1(bar : Cpp.Bar1*);
// CHECK:STDERR: ^~~~~~~~~~~~~~~
// CHECK:STDERR:
fn MyF2(bar : Cpp.Bar2*) { MyF1(bar); }
// --- struct_dynamic.h
// ============================================================================
// Dynamic
// ============================================================================
// --- dynamic.h
struct Bar {
virtual ~Bar();
};
// --- fail_import_struct_dynamic.carbon
// --- fail_todo_import_dynamic.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_dynamic.h";
import Cpp library "dynamic.h";
// CHECK:STDERR: fail_import_struct_dynamic.carbon:[[@LINE+7]]:14: error: semantics TODO: `Unsupported: Dynamic Class` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_dynamic.carbon:[[@LINE+7]]:14: error: semantics TODO: `Unsupported: Dynamic Class` [SemanticsTodo]
// CHECK:STDERR: fn MyF(bar : Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR: fail_import_struct_dynamic.carbon:[[@LINE+4]]:14: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_dynamic.carbon:[[@LINE+4]]:14: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fn MyF(bar : Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR:
fn MyF(bar : Cpp.Bar*);
// --- struct_to_inherit_public.h
// ============================================================================
// To inherit public
// ============================================================================
// --- to_inherit_public.h
struct Bar { static auto foo() -> void; };
// --- import_struct_to_inherit_public.carbon
// --- import_to_inherit_public.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_to_inherit_public.h";
import Cpp library "to_inherit_public.h";
class Derived {
extend base: Cpp.Bar;
@@ -245,18 +293,22 @@ fn MyF() {
Derived.foo();
}
// --- struct_to_inherit_private.h
// ============================================================================
// To inherit private
// ============================================================================
// --- to_inherit_private.h
struct Bar {
private:
static auto foo() -> void;
};
// --- todo_fail_struct_to_inherit_private.carbon
// --- todo_fail_to_inherit_private.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_to_inherit_private.h";
import Cpp library "to_inherit_private.h";
class Derived {
extend base: Cpp.Bar;
@@ -266,31 +318,35 @@ fn MyF() {
Derived.foo();
}
// --- struct_template.h
// ============================================================================
// Template
// ============================================================================
// --- template.h
template<typename T>
struct Bar {};
// --- fail_import_struct_template.carbon
// --- fail_todo_import_template.carbon
library "[[@TEST_NAME]]";
import Cpp library "struct_template.h";
import Cpp library "template.h";
// CHECK:STDERR: fail_import_struct_template.carbon:[[@LINE+11]]:13: error: semantics TODO: `Unsupported: Declaration type ClassTemplate` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_template.carbon:[[@LINE+11]]:13: error: semantics TODO: `Unsupported: Declaration type ClassTemplate` [SemanticsTodo]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR: fail_import_struct_template.carbon:[[@LINE+8]]:13: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_template.carbon:[[@LINE+8]]:13: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR:
// CHECK:STDERR: fail_import_struct_template.carbon:[[@LINE+4]]:13: error: member name `Bar` not found in `Cpp` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: fail_todo_import_template.carbon:[[@LINE+4]]:13: error: member name `Bar` not found in `Cpp` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR:
fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: --- fail_import_struct_declaration.carbon
// CHECK:STDOUT: --- fail_todo_import_declaration.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -310,7 +366,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_declaration.h"
// CHECK:STDOUT: import Cpp "declaration.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: <error> = binding_pattern bar [concrete]
@@ -328,7 +384,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @MyF(%bar.param: <error>);
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_struct_definition.carbon
// CHECK:STDOUT: --- import_definition.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar: type = class_type @Bar [concrete]
@@ -353,7 +409,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_definition.h"
// CHECK:STDOUT: import Cpp "definition.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: %pattern_type = binding_pattern bar [concrete]
@@ -382,7 +438,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @MyF(%bar.param: %ptr);
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_struct_declaration_and_definition.carbon
// CHECK:STDOUT: --- import_declaration_and_definition.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar: type = class_type @Bar [concrete]
@@ -407,7 +463,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_declaration_and_definition.h"
// CHECK:STDOUT: import Cpp "declaration_and_definition.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: %pattern_type = binding_pattern bar [concrete]
@@ -436,7 +492,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @MyF(%bar.param: %ptr);
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_struct_public_static_member_function.carbon
// CHECK:STDOUT: --- import_public_static_member_function.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -462,7 +518,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_public_static_member_function.h"
// CHECK:STDOUT: import Cpp "public_static_member_function.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
// CHECK:STDOUT: }
@@ -491,7 +547,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo();
// CHECK:STDOUT:
// CHECK:STDOUT: --- todo_fail_import_struct_private_static_member_function.carbon
// CHECK:STDOUT: --- todo_fail_import_private_static_member_function.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -517,7 +573,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_private_static_member_function.h"
// CHECK:STDOUT: import Cpp "private_static_member_function.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
// CHECK:STDOUT: }
@@ -546,7 +602,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo();
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_struct_public_member_function.carbon
// CHECK:STDOUT: --- fail_todo_import_public_member_function.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar: type = class_type @Bar [concrete]
@@ -571,7 +627,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_public_member_function.h"
// CHECK:STDOUT: import Cpp "public_member_function.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: %pattern_type = binding_pattern bar [concrete]
@@ -607,7 +663,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: return
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_struct_public_static_data_member.carbon
// CHECK:STDOUT: --- fail_todo_import_public_static_data_member.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -632,7 +688,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_public_static_data_member.h"
// CHECK:STDOUT: import Cpp "public_static_data_member.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
// CHECK:STDOUT: }
@@ -666,7 +722,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: return
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_struct_public_data_member.carbon
// CHECK:STDOUT: --- fail_todo_import_public_data_member.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar: type = class_type @Bar [concrete]
@@ -691,7 +747,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_public_static_data_member.h"
// CHECK:STDOUT: import Cpp "public_data_member.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: %pattern_type = binding_pattern bar [concrete]
@@ -736,7 +792,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: return
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_struct_inheritance_static.carbon
// CHECK:STDOUT: --- import_inheritance_static.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -768,7 +824,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_inheritance_static.h"
// CHECK:STDOUT: import Cpp "inheritance_static.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
// CHECK:STDOUT: }
@@ -824,7 +880,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo2();
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_struct_inheritance_pointers.carbon
// CHECK:STDOUT: --- fail_todo_import_inheritance_pointers.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar1: type = class_type @Bar1 [concrete]
@@ -857,7 +913,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF2 = %MyF2.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_inheritance_pointers.h"
// CHECK:STDOUT: import Cpp "inheritance_pointers.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF1.decl: %MyF1.type = fn_decl @MyF1 [concrete = constants.%MyF1] {
// CHECK:STDOUT: %bar.patt: %pattern_type.3cc = binding_pattern bar [concrete]
@@ -918,7 +974,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: return
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_struct_dynamic.carbon
// CHECK:STDOUT: --- fail_todo_import_dynamic.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -938,7 +994,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_dynamic.h"
// CHECK:STDOUT: import Cpp "dynamic.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: <error> = binding_pattern bar [concrete]
@@ -956,7 +1012,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @MyF(%bar.param: <error>);
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_struct_to_inherit_public.carbon
// CHECK:STDOUT: --- import_to_inherit_public.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Derived: type = class_type @Derived [concrete]
@@ -987,7 +1043,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_to_inherit_public.h"
// CHECK:STDOUT: import Cpp "to_inherit_public.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %Derived.decl: type = class_decl @Derived [concrete = constants.%Derived] {} {}
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
@@ -1032,7 +1088,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo();
// CHECK:STDOUT:
// CHECK:STDOUT: --- todo_fail_struct_to_inherit_private.carbon
// CHECK:STDOUT: --- todo_fail_to_inherit_private.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Derived: type = class_type @Derived [concrete]
@@ -1063,7 +1119,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_to_inherit_private.h"
// CHECK:STDOUT: import Cpp "to_inherit_private.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %Derived.decl: type = class_decl @Derived [concrete = constants.%Derived] {} {}
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
@@ -1108,7 +1164,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo();
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_struct_template.carbon
// CHECK:STDOUT: --- fail_todo_import_template.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -1128,7 +1184,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "struct_template.h"
// CHECK:STDOUT: import Cpp "template.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: <error> = binding_pattern bar [concrete]
toolchain/check/testdata/interop/cpp/no_prelude/union.carbon
Vendored
+103 -63
View File
@@ -8,176 +8,212 @@
// TIP: To dump output, run:
// TIP: bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/check/testdata/interop/cpp/no_prelude/union.carbon
// --- union_declaration.h
// ============================================================================
// Declaration
// ============================================================================
// --- declaration.h
union Bar;
// --- fail_import_union_declaration.carbon
// --- fail_todo_import_declaration.carbon
library "[[@TEST_NAME]]";
import Cpp library "union_declaration.h";
import Cpp library "declaration.h";
// CHECK:STDERR: fail_import_union_declaration.carbon:[[@LINE+7]]:13: error: semantics TODO: `Unsupported: Record declarations without a definition` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_declaration.carbon:[[@LINE+7]]:13: error: semantics TODO: `Unsupported: Record declarations without a definition` [SemanticsTodo]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR: fail_import_union_declaration.carbon:[[@LINE+4]]:13: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_declaration.carbon:[[@LINE+4]]:13: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR:
fn MyF(bar: Cpp.Bar*);
// --- union_definition.h
// ============================================================================
// Definition
// ============================================================================
// --- definition.h
union Bar {};
// --- import_union_definition.carbon
// --- import_definition.carbon
library "[[@TEST_NAME]]";
import Cpp library "union_definition.h";
import Cpp library "definition.h";
fn MyF(bar: Cpp.Bar*);
// --- union_declaration_and_definition.h
// ============================================================================
// Declaration and definition
// ============================================================================
// --- declaration_and_definition.h
union Bar;
union Bar {};
// --- import_union_declaration_and_definition.carbon
// --- import_declaration_and_definition.carbon
library "[[@TEST_NAME]]";
import Cpp library "union_declaration_and_definition.h";
import Cpp library "declaration_and_definition.h";
fn MyF(bar: Cpp.Bar*);
// --- union_public_static_member_function.h
// ============================================================================
// Public static member function
// ============================================================================
// --- public_static_member_function.h
union Bar {
public:
static auto foo() -> void;
};
// --- import_union_public_static_member_function.carbon
// --- import_public_static_member_function.carbon
library "[[@TEST_NAME]]";
import Cpp library "union_public_static_member_function.h";
import Cpp library "public_static_member_function.h";
fn MyF() {
Cpp.Bar.foo();
}
// --- union_private_static_member_function.h
// ============================================================================
// Private static member function
// ============================================================================
// --- private_static_member_function.h
union Bar {
private:
static auto foo() -> void;
};
// --- todo_fail_import_union_private_static_member_function.carbon
// --- todo_fail_import_private_static_member_function.carbon
library "[[@TEST_NAME]]";
import Cpp library "union_private_static_member_function.h";
import Cpp library "private_static_member_function.h";
fn MyF() {
Cpp.Bar.foo();
}
// --- union_public_member_function.h
// ============================================================================
// Public member function
// ============================================================================
// --- public_member_function.h
union Bar {
public:
auto foo() -> void;
};
// --- fail_import_union_public_member_function.carbon
// --- fail_todo_import_public_member_function.carbon
library "[[@TEST_NAME]]";
import Cpp library "union_public_member_function.h";
import Cpp library "public_member_function.h";
fn MyF(bar : Cpp.Bar*) {
// CHECK:STDERR: fail_import_union_public_member_function.carbon:[[@LINE+7]]:3: error: semantics TODO: `Unsupported: Non-global function` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_public_member_function.carbon:[[@LINE+7]]:3: error: semantics TODO: `Unsupported: Non-global function` [SemanticsTodo]
// CHECK:STDERR: bar->foo();
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR: fail_import_union_public_member_function.carbon:[[@LINE+4]]:3: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_public_member_function.carbon:[[@LINE+4]]:3: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: bar->foo();
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR:
bar->foo();
}
// --- union_public_static_data_member.h
// ============================================================================
// Public static data member
// ============================================================================
// --- public_static_data_member.h
union Bar {
public:
static Bar* foo;
};
// --- fail_import_union_public_static_data_member.carbon
// --- fail_todo_import_public_static_data_member.carbon
library "[[@TEST_NAME]]";
import Cpp library "union_public_static_data_member.h";
import Cpp library "public_static_data_member.h";
fn MyF() {
// CHECK:STDERR: fail_import_union_public_static_data_member.carbon:[[@LINE+11]]:23: error: semantics TODO: `Unsupported: Declaration type Var` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_public_static_data_member.carbon:[[@LINE+11]]:23: error: semantics TODO: `Unsupported: Declaration type Var` [SemanticsTodo]
// CHECK:STDERR: let bar: Cpp.Bar* = Cpp.Bar.foo();
// CHECK:STDERR: ^~~~~~~~~~~
// CHECK:STDERR: fail_import_union_public_static_data_member.carbon:[[@LINE+8]]:23: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_public_static_data_member.carbon:[[@LINE+8]]:23: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: let bar: Cpp.Bar* = Cpp.Bar.foo();
// CHECK:STDERR: ^~~~~~~~~~~
// CHECK:STDERR:
// CHECK:STDERR: fail_import_union_public_static_data_member.carbon:[[@LINE+4]]:23: error: member name `foo` not found in `Cpp.Bar` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: fail_todo_import_public_static_data_member.carbon:[[@LINE+4]]:23: error: member name `foo` not found in `Cpp.Bar` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: let bar: Cpp.Bar* = Cpp.Bar.foo();
// CHECK:STDERR: ^~~~~~~~~~~
// CHECK:STDERR:
let bar: Cpp.Bar* = Cpp.Bar.foo();
}
// --- union_public_data_member.h
// ============================================================================
// Public data member
// ============================================================================
// --- public_data_member.h
union Bar {
public:
Bar* foo;
};
// --- fail_import_union_public_data_member.carbon
// --- fail_todo_import_public_data_member.carbon
library "[[@TEST_NAME]]";
import Cpp library "union_public_static_data_member.h";
import Cpp library "public_static_data_member.h";
fn MyF(bar : Cpp.Bar*) {
// CHECK:STDERR: fail_import_union_public_data_member.carbon:[[@LINE+11]]:27: error: semantics TODO: `Unsupported: Declaration type Var` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_public_data_member.carbon:[[@LINE+11]]:27: error: semantics TODO: `Unsupported: Declaration type Var` [SemanticsTodo]
// CHECK:STDERR: let foo_bar: Cpp.Bar* = bar->foo;
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR: fail_import_union_public_data_member.carbon:[[@LINE+8]]:27: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_public_data_member.carbon:[[@LINE+8]]:27: note: in `Cpp` name lookup for `foo` [InCppNameLookup]
// CHECK:STDERR: let foo_bar: Cpp.Bar* = bar->foo;
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR:
// CHECK:STDERR: fail_import_union_public_data_member.carbon:[[@LINE+4]]:27: error: member name `foo` not found in `Cpp.Bar` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: fail_todo_import_public_data_member.carbon:[[@LINE+4]]:27: error: member name `foo` not found in `Cpp.Bar` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: let foo_bar: Cpp.Bar* = bar->foo;
// CHECK:STDERR: ^~~~~~~~
// CHECK:STDERR:
let foo_bar: Cpp.Bar* = bar->foo;
}
// --- union_to_inherit_public.h
// ============================================================================
// To inherit public
// ============================================================================
// --- to_inherit_public.h
union Bar {
public:
static auto foo() -> void;
};
// --- todo_fail_import_union_to_inherit_public.carbon
// --- todo_fail_import_to_inherit_public.carbon
library "[[@TEST_NAME]]";
import Cpp library "union_to_inherit_public.h";
import Cpp library "to_inherit_public.h";
class Derived {
extend base: Cpp.Bar;
@@ -187,31 +223,35 @@ fn MyF() {
Derived.foo();
}
// --- union_template.h
// ============================================================================
// Template
// ============================================================================
// --- template.h
template<typename T>
union Bar {};
// --- fail_import_union_template.carbon
// --- fail_todo_import_template.carbon
library "[[@TEST_NAME]]";
import Cpp library "union_template.h";
import Cpp library "template.h";
// CHECK:STDERR: fail_import_union_template.carbon:[[@LINE+11]]:13: error: semantics TODO: `Unsupported: Declaration type ClassTemplate` [SemanticsTodo]
// CHECK:STDERR: fail_todo_import_template.carbon:[[@LINE+11]]:13: error: semantics TODO: `Unsupported: Declaration type ClassTemplate` [SemanticsTodo]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR: fail_import_union_template.carbon:[[@LINE+8]]:13: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fail_todo_import_template.carbon:[[@LINE+8]]:13: note: in `Cpp` name lookup for `Bar` [InCppNameLookup]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR:
// CHECK:STDERR: fail_import_union_template.carbon:[[@LINE+4]]:13: error: member name `Bar` not found in `Cpp` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: fail_todo_import_template.carbon:[[@LINE+4]]:13: error: member name `Bar` not found in `Cpp` [MemberNameNotFoundInInstScope]
// CHECK:STDERR: fn MyF(bar: Cpp.Bar*);
// CHECK:STDERR: ^~~~~~~
// CHECK:STDERR:
fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: --- fail_import_union_declaration.carbon
// CHECK:STDOUT: --- fail_todo_import_declaration.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -231,7 +271,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "union_declaration.h"
// CHECK:STDOUT: import Cpp "declaration.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: <error> = binding_pattern bar [concrete]
@@ -249,7 +289,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @MyF(%bar.param: <error>);
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_union_definition.carbon
// CHECK:STDOUT: --- import_definition.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar: type = class_type @Bar [concrete]
@@ -274,7 +314,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "union_definition.h"
// CHECK:STDOUT: import Cpp "definition.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: %pattern_type = binding_pattern bar [concrete]
@@ -303,7 +343,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @MyF(%bar.param: %ptr);
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_union_declaration_and_definition.carbon
// CHECK:STDOUT: --- import_declaration_and_definition.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar: type = class_type @Bar [concrete]
@@ -328,7 +368,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "union_declaration_and_definition.h"
// CHECK:STDOUT: import Cpp "declaration_and_definition.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: %pattern_type = binding_pattern bar [concrete]
@@ -357,7 +397,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @MyF(%bar.param: %ptr);
// CHECK:STDOUT:
// CHECK:STDOUT: --- import_union_public_static_member_function.carbon
// CHECK:STDOUT: --- import_public_static_member_function.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -383,7 +423,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "union_public_static_member_function.h"
// CHECK:STDOUT: import Cpp "public_static_member_function.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
// CHECK:STDOUT: }
@@ -412,7 +452,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo();
// CHECK:STDOUT:
// CHECK:STDOUT: --- todo_fail_import_union_private_static_member_function.carbon
// CHECK:STDOUT: --- todo_fail_import_private_static_member_function.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -438,7 +478,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "union_private_static_member_function.h"
// CHECK:STDOUT: import Cpp "private_static_member_function.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
// CHECK:STDOUT: }
@@ -467,7 +507,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo();
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_union_public_member_function.carbon
// CHECK:STDOUT: --- fail_todo_import_public_member_function.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar: type = class_type @Bar [concrete]
@@ -492,7 +532,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "union_public_member_function.h"
// CHECK:STDOUT: import Cpp "public_member_function.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: %pattern_type = binding_pattern bar [concrete]
@@ -528,7 +568,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: return
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_union_public_static_data_member.carbon
// CHECK:STDOUT: --- fail_todo_import_public_static_data_member.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -553,7 +593,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "union_public_static_data_member.h"
// CHECK:STDOUT: import Cpp "public_static_data_member.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
// CHECK:STDOUT: }
@@ -587,7 +627,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: return
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_union_public_data_member.carbon
// CHECK:STDOUT: --- fail_todo_import_public_data_member.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Bar: type = class_type @Bar [concrete]
@@ -612,7 +652,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "union_public_static_data_member.h"
// CHECK:STDOUT: import Cpp "public_static_data_member.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: %pattern_type = binding_pattern bar [concrete]
@@ -657,7 +697,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: return
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: --- todo_fail_import_union_to_inherit_public.carbon
// CHECK:STDOUT: --- todo_fail_import_to_inherit_public.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %Derived: type = class_type @Derived [concrete]
@@ -688,7 +728,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "union_to_inherit_public.h"
// CHECK:STDOUT: import Cpp "to_inherit_public.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %Derived.decl: type = class_decl @Derived [concrete = constants.%Derived] {} {}
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {} {}
@@ -733,7 +773,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT:
// CHECK:STDOUT: fn @foo();
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_import_union_template.carbon
// CHECK:STDOUT: --- fail_todo_import_template.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
// CHECK:STDOUT: %MyF.type: type = fn_type @MyF [concrete]
@@ -753,7 +793,7 @@ fn MyF(bar: Cpp.Bar*);
// CHECK:STDOUT: .MyF = %MyF.decl
// CHECK:STDOUT: }
// CHECK:STDOUT: %Cpp.import_cpp = import_cpp {
// CHECK:STDOUT: import Cpp "union_template.h"
// CHECK:STDOUT: import Cpp "template.h"
// CHECK:STDOUT: }
// CHECK:STDOUT: %MyF.decl: %MyF.type = fn_decl @MyF [concrete = constants.%MyF] {
// CHECK:STDOUT: %bar.patt: <error> = binding_pattern bar [concrete]