Added reading in printf instructions

Author: AnnaTrost

src/analyses/goto_rw.cpp

@@ -1030,7 +1030,12 @@ void goto_rw(goto_programt::const_targett target,
     break;
 
   case OTHER:
-    // don't know
+    //if it's printf, mark the operands as read here
+    if (target->code.get(ID_statement)==ID_printf)
+    {
+      forall_expr(it, target->code.operands())
+        rw_set.get_objects_rec(target, rw_range_sett::READ, *it);
+    }
     break;
 
   case SKIP: