Merge pull request #2833 from diffblue/object_descriptor_exprt-root_object

move object_descriptor_exprt::root_object into .cpp

Author: Daniel Kroening

src/util/std_expr.cpp

@@ -197,3 +197,16 @@ struct_exprt::component(const irep_idt &name, const namespacet &ns) const
 {
   return ::component(*this, name, ns);
 }
+
+const exprt &object_descriptor_exprt::root_object() const
+{
+  const exprt *p = &object();
+
+  while(p->id() == ID_member || p->id() == ID_index)
+  {
+    assert(!p->operands().empty());
+    p = &p->op0();
+  }
+
+  return *p;
+}

src/util/std_expr.h

@@ -1966,18 +1966,7 @@ class object_descriptor_exprt:public binary_exprt
     return op0();
   }
 
-  const exprt &root_object() const
-  {
-    const exprt *p=&object();
-
-    while(p->id()==ID_member || p->id()==ID_index)
-    {
-      assert(!p->operands().empty());
-      p=&p->op0();
-    }
-
-    return *p;
-  }
+  const exprt &root_object() const;
 
   exprt &offset()
   {