Add an integer value round trip (int -> void* -> int) test

Author: NlightNFotis

regression/cbmc-incr-smt2/pointers-conversions/pointer_round_trip.c

@@ -0,0 +1,13 @@
+int f(int x)
+{
+  void *p = (void *)x;
+  int r = (int)p;
+  return r;
+}
+
+int main()
+{
+  int a = f(5);
+  __CPROVER_assert(a == 5, "a == 5: expected success");
+  __CPROVER_assert(a != 5, "a != 5: expected failure");
+}

regression/cbmc-incr-smt2/pointers-conversions/pointer_round_trip.desc

@@ -0,0 +1,11 @@
+CORE
+pointer_round_trip.c
+--trace
+\[main\.assertion\.1\] line \d+ a == 5: expected success: SUCCESS
+\[main\.assertion\.2\] line \d+ a != 5: expected failure: FAILURE
+^VERIFICATION FAILED$
+^EXIT=10$
+^SIGNAL=0$
+--
+--
+This test is testing an integer value round trip (int -> pointer -> int) test.