Skip to content

Commit e0db29e

Browse files
committed
Adds missing case to assigns clause type checking
Signed-off-by: Felipe R. Monteiro <[email protected]>
1 parent 06c563a commit e0db29e

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

src/ansi-c/ansi_c_convert_type.cpp

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -257,10 +257,11 @@ void ansi_c_convert_typet::read_rec(const typet &type)
257257
{
258258
if(
259259
operand.id() != ID_symbol && operand.id() != ID_ptrmember &&
260-
operand.id() != ID_dereference)
260+
operand.id() != ID_member && operand.id() != ID_dereference)
261261
{
262262
error().source_location = source_location;
263-
error() << "illegal target in assigns clause" << eom;
263+
error() << "illegal target (" << operand.id_string()
264+
<< ") in assigns clause" << eom;
264265
throw 0;
265266
}
266267
}

0 commit comments

Comments
 (0)