Add tests for #1421

tests/regression/02-base/13-add-zero-to-struct-address.c

@@ -0,0 +1,17 @@
+#include <pthread.h>
+
+struct a {
+  pthread_mutex_t b;
+};
+struct c {
+  struct a *conn;
+} d();
+
+int main() {
+  struct a str = {0};
+  struct c axel = {0};
+  axel.conn = &str;
+  pthread_mutex_t* ptr = &((axel.conn + 0)->b);
+  pthread_mutex_lock(ptr);
+  pthread_mutex_unlock(ptr);
+}

tests/regression/02-base/14-add-nondet-to-int-address.c

@@ -0,0 +1,17 @@
+#include <pthread.h>
+
+struct a {
+  pthread_mutex_t b;
+};
+struct c {
+  struct a *conn;
+} d();
+
+int main() {
+  int str = {0};
+  struct c axel = {0};
+  axel.conn = &str;
+  pthread_mutex_t* ptr = (axel.conn + rand ());
+  pthread_mutex_lock(ptr);
+  pthread_mutex_unlock(ptr); // WARN
+}