fix type inconsistencies when using temporary

kroening · Matthias Güdemann · commit 8197e7a25f4c · 2018-07-03T13:44:51.000+02:00
diff --git a/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp b/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -3184,10 +3184,6 @@ void java_bytecode_convert_methodt::save_stack_entries(
 {
   for(auto &stack_entry : stack)
   {
-    // remove typecasts if existing
-    while(stack_entry.id()==ID_typecast)
-      stack_entry=to_typecast_expr(stack_entry).op();
-
     // variables or static fields and symbol -> save symbols with same id
     if((write_type==bytecode_write_typet::VARIABLE ||
         write_type==bytecode_write_typet::STATIC_FIELD) &&

Original file line number	Diff line number	Diff line change
`@@ -3184,10 +3184,6 @@ void java_bytecode_convert_methodt::save_stack_entries(`
`3184`	`3184`	`{`
`3185`	`3185`	`for(auto &stack_entry : stack)`
`3186`	`3186`	`{`
`3187`		`- // remove typecasts if existing`
`3188`		`- while(stack_entry.id()==ID_typecast)`
`3189`		`- stack_entry=to_typecast_expr(stack_entry).op();`
`3190`		`-`
`3191`	`3187`	`// variables or static fields and symbol -> save symbols with same id`
`3192`	`3188`	`if((write_type==bytecode_write_typet::VARIABLE \|\|`
`3193`	`3189`	`write_type==bytecode_write_typet::STATIC_FIELD) &&`