Merge pull request #75 from AjayBrahmakshatriya/master

Redone RCE implememtation

Author: AjayBrahmakshatriya

samples/outputs.var_names/sample57

@@ -2,5 +2,11 @@ void bar (void) {
   int x_0 = 0;
   int* y_1 = (&(x_0));
   (y_1[0] = y_1[0] + 1) - 1;
+  int z_2 = 0;
+  (z_2 = z_2 + 1) - 1;
+  int a_3 = z_2;
+  (z_2 = z_2 + 1) - 1;
+  int b_4 = a_3;
+  (b_4 = b_4 + 1) - 1;
 }
 

samples/outputs/sample57

@@ -2,5 +2,11 @@ void bar (void) {
   int var0 = 0;
   int* var1 = (&(var0));
   (var1[0] = var1[0] + 1) - 1;
+  int var2 = 0;
+  (var2 = var2 + 1) - 1;
+  int var3 = var2;
+  (var2 = var2 + 1) - 1;
+  int var4 = var3;
+  (var4 = var4 + 1) - 1;
 }
 

samples/sample57.cpp

@@ -16,6 +16,15 @@ static void bar(void) {
     dyn_var<int*> y = &x;
 
     (*y)++;
+
+    dyn_var<int> z = 0;
+    z++;
+
+    dyn_var<int> a = z;
+    z++;
+
+    dyn_var<int> b = a;
+    b++;
 
 
 }