Skip to content

Commit 028e45d

Browse files
committed
Update tests
1 parent fd22c47 commit 028e45d

25 files changed

Lines changed: 106 additions & 177 deletions

‎cpp2rust/converter/models/converter_refcount.cpp‎

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2089,13 +2089,9 @@ std::string ConverterRefCount::ConvertVarInitValue(clang::QualType qual_type,
20892089
Buffer buf(*this);
20902090
PushConversionKind push(*this, ConversionKind::Unboxed);
20912091
if (qual_type->isFunctionPointerType() && lambda->capture_size() == 0) {
2092-
auto proto = lambda->getCallOperator()
2093-
->getType()
2094-
->getAs<clang::FunctionProtoType>();
2095-
StrCat(
2096-
std::format("FnPtr::<{}>::new", ConvertFunctionPointerType(proto)));
2097-
PushParen paren(*this);
2092+
StrCat("FnPtr::new(");
20982093
VisitLambdaExpr(lambda);
2094+
StrCat(')');
20992095
} else {
21002096
VisitLambdaExpr(lambda);
21012097
}

‎tests/unit/out/refcount/fn_ptr_default_arg.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ fn main_0() -> i32 {
2626
assert!((({ apply_1(5, None,) }) == 5));
2727
assert!((({ apply_1(5, Some(FnPtr::<fn(i32) -> i32>::null()),) }) == 5));
2828
assert!((({ apply_1(5, Some(FnPtr::<fn(i32) -> i32>::new(identity_0)),) }) == 5));
29-
let negate: Value<FnPtr<fn(i32) -> i32>> = Rc::new(RefCell::new(FnPtr::<fn(i32) -> i32>::new(
29+
let negate: Value<FnPtr<fn(i32) -> i32>> = Rc::new(RefCell::new(FnPtr::new(
3030
(|x: i32| {
3131
let x: Value<i32> = Rc::new(RefCell::new(x));
3232
return -(*x.borrow());

‎tests/unit/out/refcount/fn_ptr_stable_sort.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -61,7 +61,7 @@ fn main_0() -> i32 {
6161
});
6262
(v.as_pointer() as Ptr<Item>).sort_with_cmp(
6363
(v.as_pointer() as Ptr<Item>).to_end().get_offset(),
64-
|x, y| FnPtr::<fn(Ptr<Item>, Ptr<Item>) -> bool>::new(Compare_0).call(x, y),
64+
|x, y| Compare_0.call(x, y),
6565
);
6666
assert!(
6767
((*(*(v.as_pointer() as Ptr<Item>)

‎tests/unit/out/refcount/qsort_bsearch.rs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ fn main_0() -> i32 {
2929
for __i in 0..8_usize {
3030
let mut __min = __i;
3131
for __j in (__i + 1)..8_usize {
32-
if FnPtr::<fn(AnyPtr, AnyPtr) -> i32>::new(cmp_int_0).call(
32+
if cmp_int_0(
3333
__base.offset(__j * ::std::mem::size_of::<i32>()).to_any(),
3434
__base.offset(__min * ::std::mem::size_of::<i32>()).to_any(),
3535
) < 0
@@ -76,7 +76,7 @@ fn main_0() -> i32 {
7676
while __lo <= __hi && __found.is_null() {
7777
let __mid = __lo + (__hi - __lo) / 2;
7878
let __elem = __base.offset(__mid as usize * ::std::mem::size_of::<i32>());
79-
let __r = FnPtr::<fn(AnyPtr, AnyPtr) -> i32>::new(cmp_int_0).call(
79+
let __r = cmp_int_0(
8080
((key.as_pointer()) as Ptr<i32>).to_any().clone(),
8181
__elem.to_any(),
8282
);
@@ -106,7 +106,7 @@ fn main_0() -> i32 {
106106
while __lo <= __hi && __found.is_null() {
107107
let __mid = __lo + (__hi - __lo) / 2;
108108
let __elem = __base.offset(__mid as usize * ::std::mem::size_of::<i32>());
109-
let __r = FnPtr::<fn(AnyPtr, AnyPtr) -> i32>::new(cmp_int_0).call(
109+
let __r = cmp_int_0(
110110
((miss_key.as_pointer()) as Ptr<i32>).to_any().clone(),
111111
__elem.to_any(),
112112
);

‎tests/unit/out/unsafe/fn_ptr.rs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -23,10 +23,10 @@ pub fn main() {
2323
unsafe fn main_0() -> i32 {
2424
let mut fn_: Option<unsafe fn(*mut ::libc::c_void) -> i32> = None;
2525
assert!((fn_).is_none());
26-
assert!(((fn_) != (Some(my_foo_0 as unsafe fn(*mut ::libc::c_void) -> i32))));
27-
fn_ = Some(my_foo_0 as unsafe fn(*mut ::libc::c_void) -> i32);
26+
assert!(((fn_) != (Some(my_foo_0))));
27+
fn_ = Some(my_foo_0);
2828
assert!(!((fn_).is_none()));
29-
assert!(((fn_) == (Some(my_foo_0 as unsafe fn(*mut ::libc::c_void) -> i32))));
29+
assert!(((fn_) == (Some(my_foo_0))));
3030
let mut a: i32 = 10;
3131
assert!(((unsafe { foo_1(fn_, (&mut a as *mut i32),) }) == (a)));
3232
return 0;

‎tests/unit/out/unsafe/fn_ptr_arity.rs‎

Lines changed: 1 addition & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -32,25 +32,7 @@ pub fn main() {
3232
unsafe fn main_0() -> i32 {
3333
let mut f: Option<
3434
unsafe fn(i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32) -> i32,
35-
> = (Some(
36-
foo_0
37-
as unsafe fn(
38-
i32,
39-
i32,
40-
i32,
41-
i32,
42-
i32,
43-
i32,
44-
i32,
45-
i32,
46-
i32,
47-
i32,
48-
i32,
49-
i32,
50-
i32,
51-
i32,
52-
) -> i32,
53-
));
35+
> = (Some(foo_0));
5436
assert!(((unsafe { (f).unwrap()(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,) }) == (22)));
5537
return 0;
5638
}

‎tests/unit/out/unsafe/fn_ptr_array.rs‎

Lines changed: 3 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -21,16 +21,12 @@ pub fn main() {
2121
}
2222
}
2323
unsafe fn main_0() -> i32 {
24-
let mut ops: [Option<unsafe fn(i32, i32) -> i32>; 3] = [
25-
Some(add_0 as unsafe fn(i32, i32) -> i32),
26-
Some(sub_1 as unsafe fn(i32, i32) -> i32),
27-
Some(mul_2 as unsafe fn(i32, i32) -> i32),
28-
];
24+
let mut ops: [Option<unsafe fn(i32, i32) -> i32>; 3] = [Some(add_0), Some(sub_1), Some(mul_2)];
2925
assert!(((unsafe { (ops[(0) as usize]).unwrap()(2, 3,) }) == (5)));
3026
assert!(((unsafe { (ops[(1) as usize]).unwrap()(7, 4,) }) == (3)));
3127
assert!(((unsafe { (ops[(2) as usize]).unwrap()(6, 5,) }) == (30)));
3228
assert!(!((ops[(0) as usize]).is_none()));
33-
assert!(((ops[(0) as usize]) == (Some(add_0 as unsafe fn(i32, i32) -> i32))));
34-
assert!(((ops[(0) as usize]) != (Some(sub_1 as unsafe fn(i32, i32) -> i32))));
29+
assert!(((ops[(0) as usize]) == (Some(add_0))));
30+
assert!(((ops[(0) as usize]) != (Some(sub_1))));
3531
return 0;
3632
}

‎tests/unit/out/unsafe/fn_ptr_as_condition.rs‎

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -21,19 +21,14 @@ pub fn main() {
2121
}
2222
unsafe fn main_0() -> i32 {
2323
let mut a: i32 = 5;
24-
(unsafe {
25-
maybe_call_1(
26-
Some(double_it_0 as unsafe fn(*mut i32)),
27-
(&mut a as *mut i32),
28-
)
29-
});
24+
(unsafe { maybe_call_1(Some(double_it_0), (&mut a as *mut i32)) });
3025
assert!(((a) == (10)));
3126
let mut b: i32 = 5;
3227
(unsafe { maybe_call_1(None, (&mut b as *mut i32)) });
3328
assert!(((b) == (5)));
3429
let mut fn_: Option<unsafe fn(*mut i32)> = None;
3530
if !(!(fn_).is_none()) {
36-
fn_ = Some(double_it_0 as unsafe fn(*mut i32));
31+
fn_ = Some(double_it_0);
3732
}
3833
let mut c: i32 = 3;
3934
if !(fn_).is_none() {

‎tests/unit/out/unsafe/fn_ptr_cast.rs‎

Lines changed: 7 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ pub unsafe fn double_it_0(mut x: i32) -> i32 {
1010
return ((x) * (2));
1111
}
1212
pub unsafe fn test_roundtrip_1() {
13-
let mut fn_: Option<unsafe fn(i32) -> i32> = Some(double_it_0 as unsafe fn(i32) -> i32);
13+
let mut fn_: Option<unsafe fn(i32) -> i32> = Some(double_it_0);
1414
assert!(((unsafe { (fn_).unwrap()(5,) }) == (10)));
1515
let mut gfn: Option<unsafe fn()> =
1616
std::mem::transmute::<Option<unsafe fn(i32) -> i32>, Option<unsafe fn()>>(fn_);
@@ -21,7 +21,7 @@ pub unsafe fn test_roundtrip_1() {
2121
assert!(((fn2) == (fn_)));
2222
}
2323
pub unsafe fn test_double_cast_2() {
24-
let mut fn_: Option<unsafe fn(i32) -> i32> = Some(double_it_0 as unsafe fn(i32) -> i32);
24+
let mut fn_: Option<unsafe fn(i32) -> i32> = Some(double_it_0);
2525
let mut fn2: Option<unsafe fn(i32) -> i32> =
2626
std::mem::transmute::<Option<unsafe fn()>, Option<unsafe fn(i32) -> i32>>(
2727
std::mem::transmute::<Option<unsafe fn(i32) -> i32>, Option<unsafe fn()>>(fn_),
@@ -37,7 +37,7 @@ pub struct Command {
3737
pub unsafe fn test_void_ptr_to_fn_3() {
3838
let mut cmd: Command = <Command>::default();
3939
cmd.data = std::mem::transmute::<Option<unsafe fn(i32) -> i32>, *mut ::libc::c_void>(Some(
40-
double_it_0 as unsafe fn(i32) -> i32,
40+
double_it_0,
4141
));
4242
let mut fn_: Option<unsafe fn(i32) -> i32> =
4343
std::mem::transmute::<*mut ::libc::c_void, Option<unsafe fn(i32) -> i32>>(cmd.data);
@@ -47,11 +47,10 @@ pub unsafe fn add_offset_4(mut base: *mut i32, mut offset: i32) -> i32 {
4747
return ((*base) + (offset));
4848
}
4949
pub unsafe fn test_call_through_cast_5() {
50-
let mut gfn: Option<unsafe fn(*mut ::libc::c_void, i32) -> i32> =
51-
std::mem::transmute::<
52-
Option<unsafe fn(*mut i32, i32) -> i32>,
53-
Option<unsafe fn(*mut ::libc::c_void, i32) -> i32>,
54-
>(Some(add_offset_4 as unsafe fn(*mut i32, i32) -> i32));
50+
let mut gfn: Option<unsafe fn(*mut ::libc::c_void, i32) -> i32> = std::mem::transmute::<
51+
Option<unsafe fn(*mut i32, i32) -> i32>,
52+
Option<unsafe fn(*mut ::libc::c_void, i32) -> i32>,
53+
>(Some(add_offset_4));
5554
let mut val: i32 = 100;
5655
let mut result: i32 = (unsafe {
5756
(gfn).unwrap()(

‎tests/unit/out/unsafe/fn_ptr_conditional.rs‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -17,20 +17,20 @@ pub unsafe fn identity_2(mut x: i32) -> i32 {
1717
}
1818
pub unsafe fn pick_3(mut mode: i32) -> Option<unsafe fn(i32) -> i32> {
1919
return if ((mode) > (0)) {
20-
Some(inc_0 as unsafe fn(i32) -> i32)
20+
Some(inc_0)
2121
} else {
2222
if ((mode) < (0)) {
23-
Some(dec_1 as unsafe fn(i32) -> i32)
23+
Some(dec_1)
2424
} else {
25-
Some(identity_2 as unsafe fn(i32) -> i32)
25+
Some(identity_2)
2626
}
2727
};
2828
}
2929
pub unsafe fn apply_4(mut fn_: Option<unsafe fn(i32) -> i32>, mut x: i32) -> i32 {
3030
let mut actual: Option<unsafe fn(i32) -> i32> = if !(fn_).is_none() {
3131
fn_
3232
} else {
33-
Some(identity_2 as unsafe fn(i32) -> i32)
33+
Some(identity_2)
3434
};
3535
return (unsafe { (actual).unwrap()(x) });
3636
}
@@ -43,7 +43,7 @@ unsafe fn main_0() -> i32 {
4343
assert!(((unsafe { (unsafe { pick_3(1,) }).unwrap()(10,) }) == (11)));
4444
assert!(((unsafe { (unsafe { pick_3(-1_i32,) }).unwrap()(10,) }) == (9)));
4545
assert!(((unsafe { (unsafe { pick_3(0,) }).unwrap()(10,) }) == (10)));
46-
assert!(((unsafe { apply_4(Some(inc_0 as unsafe fn(i32) -> i32), 5,) }) == (6)));
46+
assert!(((unsafe { apply_4(Some(inc_0), 5,) }) == (6)));
4747
assert!(((unsafe { apply_4(None, 5,) }) == (5)));
4848
return 0;
4949
}

0 commit comments

Comments
 (0)