Add minimal reproducers and update 508 ck/gen-repr

7 files changed, 1 insertions, 11 deletions

diff --git a/reproducers/1371-minimal b/reproducers/1371-minimal
new file mode 100755
index 0000000..7e3a1e4
--- /dev/null
+++ b/reproducers/1371-minimal
Binary files differdiff --git a/reproducers/1372-minimal b/reproducers/1372-minimal
new file mode 100755
index 0000000..1705549
--- /dev/null
+++ b/reproducers/1372-minimal
Binary files differdiff --git a/reproducers/1374-minimal b/reproducers/1374-minimal
new file mode 100755
index 0000000..7b9d323
--- /dev/null
+++ b/reproducers/1374-minimal
Binary files differdiff --git a/reproducers/1376-minimal b/reproducers/1376-minimal
new file mode 100755
index 0000000..ce918d6
--- /dev/null
+++ b/reproducers/1376-minimal
Binary files differdiff --git a/reproducers/1377-minimal b/reproducers/1377-minimal
new file mode 100755
index 0000000..2d3364a
--- /dev/null
+++ b/reproducers/1377-minimal
Binary files differdiff --git a/reproducers/2175-minimal b/reproducers/2175-minimal
new file mode 100755
index 0000000..2a112ed
--- /dev/null
+++ b/reproducers/2175-minimal
Binary files differdiff --git a/reproducers/issue-508.c b/reproducers/issue-508.c
index c8fd251..5ec18d1 100644
--- a/reproducers/issue-508.c
+++ b/reproducers/issue-508.c
@@ -1,18 +1,8 @@
-#include <stdio.h>
-#include <stdlib.h>
-#include <sys/random.h>
-
 int main() {
   int mem = 0x12345678;
-  int buf = 0;
-  getrandom(&buf, sizeof(buf), 0);
   register long rax asm("rax") = 0x1234567812345678;
-  register int edi asm("edi") = buf;
+  register int edi asm("edi") = 0x2345678;
   asm("cmpxchg %[edi],%[mem]"
       : [ mem ] "+m"(mem), [ rax ] "+r"(rax)
       : [ edi ] "r"(edi));
-  long rax2 = rax;
-  printf("rax2 = %lx\n", rax2);
-  printf("rand= %d\n", buf);
 }
-