From b63ec2cd37a91ee794e4591fb345cf9a2ae5c656 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Sat, 10 Nov 2018 13:13:09 +0000
Subject: [PATCH] Do not repeatedly define "value"

The very same name and value is already declared at the top of the function.
---
 src/ansi-c/expr2c.cpp | 2 --
 1 file changed, 2 deletions(-)

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";