Skip to content

Commit 2b42622

Browse files
author
Daniel Kroening
committed
remove useless cast in check_rec_member
This yields a clarity improvement.
1 parent 238d7b8 commit 2b42622

File tree

1 file changed

+3
-5
lines changed

1 file changed

+3
-5
lines changed

src/analyses/goto_check.cpp

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1581,11 +1581,9 @@ bool goto_checkt::check_rec_member(const member_exprt &member, guardt &guard)
15811581
deref.pointer(), pointer_type(char_type()));
15821582

15831583
const exprt new_address_casted = typecast_exprt::conditional_cast(
1584-
typecast_exprt{
1585-
plus_exprt{char_pointer,
1586-
typecast_exprt::conditional_cast(
1587-
member_offset_opt.value(), pointer_diff_type())},
1588-
char_pointer.type()},
1584+
plus_exprt{char_pointer,
1585+
typecast_exprt::conditional_cast(
1586+
member_offset_opt.value(), pointer_diff_type())},
15891587
new_pointer_type);
15901588

15911589
dereference_exprt new_deref{new_address_casted};

0 commit comments

Comments
 (0)