Skip to content

Commit 2b89490

Browse files
author
Daniel Kroening
committed
deprecate exprt::make_typecast()
This is fundamentally not type-safe; the type of the expression will change. The compiler is unable to assert memory safety.
1 parent adb3d7b commit 2b89490

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/util/expr.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -212,6 +212,7 @@ class exprt:public irept
212212
op.push_back(std::move(e3));
213213
}
214214

215+
DEPRECATED("use typecast_exprt() instead")
215216
void make_typecast(const typet &_type);
216217

217218
void make_bool(bool value);

0 commit comments

Comments
 (0)