Skip to content

Commit 4cfcb87

Browse files
author
Daniel Kroening
authored
Merge pull request diffblue#831 from reuk/leak-fix
Fix memory leak in ansi-c frontend Fixes: diffblue#569
2 parents f79100f + 6c8adc3 commit 4cfcb87

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/ansi-c/c_typecheck_type.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ void c_typecheck_baset::typecheck_type(typet &type)
5454
exprt alignment=static_cast<const exprt &>(type.find(ID_C_alignment));
5555
irept _typedef=type.find(ID_C_typedef);
5656

57-
type.swap(type.subtype());
57+
type=type.subtype();
5858

5959
c_qualifiers.write(type);
6060
if(packed)

0 commit comments

Comments
 (0)