File tree Expand file tree Collapse file tree 2 files changed +0
-45
lines changed Expand file tree Collapse file tree 2 files changed +0
-45
lines changed Original file line number Diff line number Diff line change @@ -237,7 +237,6 @@ IREP_ID_ONE(array_copy)
237
237
IREP_ID_ONE(array_list)
238
238
IREP_ID_ONE(euclidean_mod)
239
239
IREP_ID_ONE(mod)
240
- IREP_ID_ONE(rem)
241
240
IREP_ID_ONE(shr)
242
241
IREP_ID_ONE(ashr)
243
242
IREP_ID_ONE(lshr)
Original file line number Diff line number Diff line change @@ -1135,50 +1135,6 @@ inline euclidean_mod_exprt &to_euclidean_mod_expr(exprt &expr)
1135
1135
return ret;
1136
1136
}
1137
1137
1138
- // / \brief Remainder of division
1139
- class rem_exprt :public binary_exprt
1140
- {
1141
- public:
1142
- rem_exprt (exprt _lhs, exprt _rhs)
1143
- : binary_exprt(std::move(_lhs), ID_rem, std::move(_rhs))
1144
- {
1145
- }
1146
- };
1147
-
1148
- template <>
1149
- inline bool can_cast_expr<rem_exprt>(const exprt &base)
1150
- {
1151
- return base.id () == ID_rem;
1152
- }
1153
-
1154
- inline void validate_expr (const rem_exprt &value)
1155
- {
1156
- validate_operands (value, 2 , " Remainder must have two operands" );
1157
- }
1158
-
1159
- // / \brief Cast an exprt to a \ref rem_exprt
1160
- // /
1161
- // / \a expr must be known to be \ref rem_exprt.
1162
- // /
1163
- // / \param expr: Source expression
1164
- // / \return Object of type \ref rem_exprt
1165
- inline const rem_exprt &to_rem_expr (const exprt &expr)
1166
- {
1167
- PRECONDITION (expr.id ()==ID_rem);
1168
- const rem_exprt &ret = static_cast <const rem_exprt &>(expr);
1169
- validate_expr (ret);
1170
- return ret;
1171
- }
1172
-
1173
- // / \copydoc to_rem_expr(const exprt &)
1174
- inline rem_exprt &to_rem_expr (exprt &expr)
1175
- {
1176
- PRECONDITION (expr.id ()==ID_rem);
1177
- rem_exprt &ret = static_cast <rem_exprt &>(expr);
1178
- validate_expr (ret);
1179
- return ret;
1180
- }
1181
-
1182
1138
1183
1139
// / \brief Equality
1184
1140
class equal_exprt :public binary_relation_exprt
You can’t perform that action at this time.
0 commit comments