Trying a few things to fix the compile error

This commit 100% shouldn't be merged in.

Author: thk123

src/analyses/variable-sensitivity/abstract_enviroment.cpp

@@ -50,7 +50,7 @@ abstract_object_pointert abstract_environmentt::eval(
   std::map<irep_idt, eval_handlert> handlers=
   {
     {
-      ID_symbol, [&](const exprt &expr)
+      ID_symbol, [&](const exprt &expr) -> abstract_object_pointert
       {
         const symbol_exprt &symbol(to_symbol_expr(expr));
         const auto &symbol_entry=map.find(symbol);
@@ -60,7 +60,8 @@ abstract_object_pointert abstract_environmentt::eval(
         }
         else
         {
-          return symbol_entry->second;
+          abstract_object_pointert found_symbol_value=symbol_entry->second;
+          return found_symbol_value;
         }
       }
     },
@@ -146,6 +147,27 @@ abstract_object_pointert abstract_environmentt::eval(
   {
     return handler->second(simplified_expr);
   }
+
+  // Debug code to see if appveyor trips up on this similar construct.
+  {
+    typedef std::shared_ptr<const int> const_pointert;
+
+    auto lambda = [&](const int &expr) {
+         const_pointert x(new int);
+         const const_pointert y(new int);
+         if(expr > 4)
+         {
+             return x;
+         }
+         else
+         {
+             return y;
+         }
+    };
+
+    const_pointert retx = lambda(5);
+    const_pointert rety = lambda(3);
+  }
 }
 
 /*******************************************************************\