Skip to content

Commit 817e27c

Browse files
Refrain from emitting as isize casts for Ptr::offset() calls
1 parent a1e0091 commit 817e27c

1 file changed

Lines changed: 4 additions & 4 deletions

File tree

cpp2rust/converter/models/converter_refcount.cpp

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2060,7 +2060,7 @@ bool ConverterRefCount::ConvertCXXOperatorCallExpr(
20602060
StrCat(
20612061
std::format("{}.as_ref().unwrap()", ConvertRValue(expr->getArg(0))));
20622062
if (isAddrOf()) {
2063-
StrCat(std::format(".as_pointer().offset(({}) as isize)",
2063+
StrCat(std::format(".as_pointer().offset(({}))",
20642064
ConvertRValue(expr->getArg(1))));
20652065
} else {
20662066
if (isRValue()) {
@@ -2080,7 +2080,7 @@ bool ConverterRefCount::ConvertCXXOperatorCallExpr(
20802080

20812081
if (isLValue()) {
20822082
PushConversionKind push_ck(*this, ConversionKind::Unboxed);
2083-
pending_deref_.set(std::format("({} as {}).offset({} as isize)",
2083+
pending_deref_.set(std::format("({} as {}).offset({})",
20842084
ConvertObject(expr->getArg(0)),
20852085
ConvertPtrType(expr->getArg(0)->getType()),
20862086
ConvertRValue(expr->getArg(1))),
@@ -2100,7 +2100,7 @@ bool ConverterRefCount::ConvertCXXOperatorCallExpr(
21002100
}
21012101

21022102
PushConversionKind push(*this, ConversionKind::Unboxed);
2103-
StrCat(std::format("({} as {}).offset({} as isize)",
2103+
StrCat(std::format("({} as {}).offset({})",
21042104
ConvertObject(expr->getArg(0)),
21052105
ConvertPtrType(expr->getArg(0)->getType()),
21062106
ConvertRValue(expr->getArg(1))));
@@ -2151,7 +2151,7 @@ void ConverterRefCount::ConvertArraySubscript(clang::Expr *base,
21512151

21522152
{
21532153
PushParen paren(*this, is_inner_boxed);
2154-
StrCat(std::format("({} as {}).offset({} as isize)",
2154+
StrCat(std::format("({} as {}).offset({})",
21552155
ToString(base->IgnoreImplicit()),
21562156
ConvertPtrType(base->IgnoreImplicit()->getType()),
21572157
ConvertRValue(idx)));

0 commit comments

Comments
 (0)