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

Fix handling of large int types in interop (#6102)

Browse Source 
This fixes a crash on `i8388608`.
This commit is contained in:
Jon Ross-Perkins
2025-09-22 17:50:42 +00:00
committed by GitHub
parent 70cde77f0e
commit 6070db0b8a
2 changed files with 48 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/testdata/interop/cpp/function/param_unsupported.carbon
Vendored
+38
View File
@@ -58,6 +58,44 @@ fn F() {
//@dump-sem-ir-end
}
// ============================================================================
// Unconvertible integer argument.
// ============================================================================
// --- int_param.h
auto foo(int a) -> void;
// --- fail_large_int.carbon
library "[[@TEST_NAME]]";
import Cpp library "int_param.h";
// This doesn't have a direct type mapping in `getIntTypeForBitwidth`.
fn F(x: i512) {
// CHECK:STDERR: fail_large_int.carbon:[[@LINE+4]]:11: error: call argument of type `i512` is not supported [CppCallArgTypeNotSupported]
// CHECK:STDERR: Cpp.foo(x);
// CHECK:STDERR: ^
// CHECK:STDERR:
Cpp.foo(x);
}
// --- fail_very_large_int.carbon
library "[[@TEST_NAME]]";
import Cpp library "int_param.h";
// This doesn't fit as an embedded `IntId` value.
fn F(x: i8388608) {
// CHECK:STDERR: fail_very_large_int.carbon:[[@LINE+4]]:11: error: call argument of type `i8388608` is not supported [CppCallArgTypeNotSupported]
// CHECK:STDERR: Cpp.foo(x);
// CHECK:STDERR: ^
// CHECK:STDERR:
Cpp.foo(x);
}
// CHECK:STDOUT: --- fail_todo_import_unsupported_primitive_type.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {