fix accesses to exprt::opX() in ansi-c/

This improves type safety.

Author: Daniel Kroening

src/ansi-c/ansi_c_convert_type.cpp

@@ -108,7 +108,7 @@ void ansi_c_convert_typet::read_rec(const typet &type)
     const exprt &as_expr=
       static_cast<const exprt &>(static_cast<const irept &>(type));
     assert(as_expr.operands().size()==1);
-    msc_based=as_expr.op0();
+    msc_based = to_unary_expr(as_expr).op();
   }
   else if(type.id()==ID_custom_bv)
   {
@@ -217,7 +217,7 @@ void ansi_c_convert_typet::read_rec(const typet &type)
       {
         assert(it->operands().size()==1);
         aligned=true;
-        alignment=it->op0();
+        alignment = to_unary_expr(*it).op();
       }
     }
   }

src/ansi-c/ansi_c_language.cpp

@@ -214,7 +214,9 @@ bool ansi_c_languaget::to_expr(
   if(expr.id()==ID_typecast &&
      expr.type().id()==ID_empty &&
      expr.operands().size()==1)
-    expr=expr.op0();
+  {
+    expr = to_typecast_expr(expr).op();
+  }
 
   return result;
 }

src/ansi-c/c_typecheck_base.cpp

@@ -628,8 +628,8 @@ void c_typecheck_baset::typecheck_declaration(
   if(declaration.get_is_static_assert())
   {
     assert(declaration.operands().size()==2);
-    typecheck_expr(declaration.op0());
-    typecheck_expr(declaration.op1());
+    typecheck_expr(to_binary_expr(declaration).op0());
+    typecheck_expr(to_binary_expr(declaration).op1());
   }
   else
   {

src/ansi-c/c_typecheck_base.h

@@ -177,7 +177,7 @@ class c_typecheck_baset:
   virtual void typecheck_expr_ptrmember(exprt &expr);
   virtual void typecheck_expr_rel(binary_relation_exprt &expr);
   virtual void typecheck_expr_rel_vector(binary_relation_exprt &expr);
-  virtual void adjust_float_rel(exprt &expr);
+  virtual void adjust_float_rel(binary_relation_exprt &);
   static void add_rounding_mode(exprt &);
   virtual void typecheck_expr_index(exprt &expr);
   virtual void typecheck_expr_typecast(exprt &expr);

src/ansi-c/c_typecheck_code.cpp

@@ -567,9 +567,7 @@ void c_typecheck_baset::typecheck_gcc_computed_goto(codet &code)
     throw 0;
   }
 
-  assert(dest.operands().size()==1);
-
-  typecheck_expr(dest.op0());
+  typecheck_expr(to_unary_expr(dest).op());
   dest.type() = void_type();
 }