Merge pull request #4983 from diffblue/ansi-c-opX

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

Author: tautschnig

src/ansi-c/ansi_c_convert_type.cpp

@@ -107,8 +107,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)
   {
@@ -215,9 +214,8 @@ void ansi_c_convert_typet::read_rec(const typet &type)
         c_storage_spec.is_thread_local=true;
       else if(id=="align")
       {
-        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

@@ -627,9 +627,9 @@ 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());
+    auto &static_assert_expr = to_binary_expr(declaration);
+    typecheck_expr(static_assert_expr.op0());
+    typecheck_expr(static_assert_expr.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();
 }