diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
index 38ecec53048..71c02a61ba1 100644
--- a/src/ansi-c/expr2c.cpp
+++ b/src/ansi-c/expr2c.cpp
@@ -1968,8 +1968,6 @@ std::string expr2ct::convert_constant(
   }
   else if(type.id()==ID_pointer)
   {
-    const irep_idt &value=to_constant_expr(src).get_value();
-
     if(value==ID_NULL)
     {
       dest="NULL";