Add test for overflows due to mult in calloc implementation

Author: karoliineh

tests/regression/39-signed-overflows/17-calloc-mult-speculating.c

@@ -0,0 +1,8 @@
+// PARAM: --enable ana.int.interval
+#include <stdlib.h>
+
+int main() {
+  size_t a, b;
+  unsigned char *randomString = (unsigned char *)calloc(a,b); // NOWARN (signed integer overflow in *)
+  return 0;
+}