Replace side effects expressions inside address_of [blocks: #4471]

regression/cbmc-cpp/lvalue1/main.cpp

@@ -0,0 +1,20 @@
+#include <cassert>
+enum asd
+{
+  ASD,
+  ABC
+};
+
+int main()
+{
+  asd a = ASD, b = ASD;
+
+  // casts to references are lvalues
+  asd &c = (asd &)((int &)a |= (int &)b);
+  assert(a == ASD);
+  c = ABC;
+  assert(a == ABC);
+
+  // in C++, comma expressions are lvalues
+  (a, b) = ASD;
+}

regression/cbmc-cpp/lvalue1/test.desc

@@ -0,0 +1,10 @@
+CORE
+main.cpp
+
+^EXIT=0$
+^SIGNAL=0$
+VERIFICATION SUCCESSFUL
+--
+^warning: ignoring
+^CONVERSION ERROR$
+--

regression/systemc/Masc1/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$

regression/systemc/MascInst1/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$

regression/systemc/This1/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$

src/cpp/cpp_constructor.cpp

@@ -269,9 +269,8 @@ void cpp_typecheckt::new_temporary(
   exprt &temporary)
 {
   // create temporary object
-  exprt tmp_object_expr=exprt(ID_side_effect, type);
-  tmp_object_expr.set(ID_statement, ID_temporary_object);
-  tmp_object_expr.add_source_location()= source_location;
+  side_effect_exprt tmp_object_expr(ID_temporary_object, type, source_location);
+  tmp_object_expr.set(ID_mode, ID_cpp);
 
   exprt new_object(ID_new_object);
   new_object.add_source_location()=tmp_object_expr.source_location();

src/cpp/cpp_typecheck_conversions.cpp

@@ -911,6 +911,7 @@ bool cpp_typecheckt::user_defined_conversion_sequence(
             ID_temporary_object, type, expr.source_location());
           tmp_object_expr.copy_to_operands(deref);
           tmp_object_expr.set(ID_C_lvalue, true);
+          tmp_object_expr.set(ID_mode, ID_cpp);
 
           new_expr.swap(tmp_object_expr);
           return true;
@@ -1390,6 +1391,7 @@ bool cpp_typecheckt::reference_binding(
       // create temporary object
       side_effect_exprt tmp(
         ID_temporary_object, type.subtype(), expr.source_location());
+      tmp.set(ID_mode, ID_cpp);
       // tmp.set(ID_C_lvalue, true);
       tmp.add_to_operands(std::move(new_expr));
       new_expr.swap(tmp);

src/goto-programs/goto_clean_expr.cpp

@@ -487,6 +487,10 @@ void goto_convertt::clean_expr_address_of(
     // do again
     clean_expr_address_of(expr, dest, mode);
   }
+  else if(expr.id() == ID_side_effect)
+  {
+    remove_side_effect(to_side_effect_expr(expr), dest, mode, true);
+  }
   else
     Forall_operands(it, expr)
       clean_expr_address_of(*it, dest, mode);