remove const_cast

mgudemann · Daniel Kroening · commit 7d2a303b83d6 · 2017-02-08T20:35:36.000Z
diff --git a/src/java_bytecode/java_bytecode_typecheck_expr.cpp b/src/java_bytecode/java_bytecode_typecheck_expr.cpp
@@ -235,7 +235,7 @@ void java_bytecode_typecheckt::typecheck_expr_member(member_exprt &expr)
 
   while(1)
   {
-    typet &base_type=const_cast<typet&>(ns.follow(expr.struct_op().type()));
+    typet base_type(ns.follow(expr.struct_op().type()));
 
     if(base_type.id()!=ID_struct)
       break; // give up

Original file line number	Diff line number	Diff line change
`@@ -235,7 +235,7 @@ void java_bytecode_typecheckt::typecheck_expr_member(member_exprt &expr)`
`235`	`235`
`236`	`236`	`while(1)`
`237`	`237`	`{`
`238`		`- typet &base_type=const_cast<typet&>(ns.follow(expr.struct_op().type()));`
	`238`	`+ typet base_type(ns.follow(expr.struct_op().type()));`
`239`	`239`
`240`	`240`	`if(base_type.id()!=ID_struct)`
`241`	`241`	`break; // give up`