Merge pull request diffblue#836 from reuk/padding-fix

Daniel Kroening · web-flow · commit f79100fbbf6e · 2017-04-17T15:51:09.000+01:00
Fix iterator-invalidation bug in ansi-c/padding.cpp
diff --git a/src/ansi-c/padding.cpp b/src/ansi-c/padding.cpp
@@ -203,7 +203,7 @@ void add_padding(struct_typet &type, const namespacet &ns)
       it!=components.end();
       it++)
   {
-    const typet &it_type=it->type();
+    const typet it_type=it->type();
     mp_integer a=1;
 
     const bool packed=it_type.get_bool(ID_C_packed) ||

Original file line number	Diff line number	Diff line change
`@@ -203,7 +203,7 @@ void add_padding(struct_typet &type, const namespacet &ns)`
`203`	`203`	`it!=components.end();`
`204`	`204`	`it++)`
`205`	`205`	`{`
`206`		`- const typet &it_type=it->type();`
	`206`	`+ const typet it_type=it->type();`
`207`	`207`	`mp_integer a=1;`
`208`	`208`
`209`	`209`	`const bool packed=it_type.get_bool(ID_C_packed) \|\|`