Regression test fails when updating capstone to 5.0 about boomerang HOT 3 OPEN

=> boomerang-0.5.2_2: running do_check ...
[1/2] Generating copy-regression-script
[2/2] cd /builddir/boomerang-0.5.2/build/tests/regression-tests && /usr/bin/python3 ./regression-tester.py /builddir/boomerang-0.5.2/build/out/bin/boomerang-cli
FAILED: tests/regression-tests/CMakeFiles/check /builddir/boomerang-0.5.2/build/tests/regression-tests/CMakeFiles/check 
cd /builddir/boomerang-0.5.2/build/tests/regression-tests && /usr/bin/python3 ./regression-tester.py /builddir/boomerang-0.5.2/build/out/bin/boomerang-cli

Boomerang Regression Tester
===========================

Cleaning up old data ...
Testing for regressions ..............................
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/OSX/o4/phi2/phi2/phi2.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/OSX/o4/phi2/phi2/phi2.c
@@ -8,8 +8,8 @@
     int g29; 		// r29
     int g3; 		// r3
     char *g30; 		// r30
-    int g3_2; 		// r3{6}
-    int g3_5; 		// r3{8}
+    int g3_2; 		// r3{8}
+    int g3_5; 		// r3{6}
 
     g30 = *(argv + 4);
     if (argc <= 2) {
@@ -17,11 +17,11 @@
         g29 = g3;
     }
     else {
+        g3_5 = strlen(g30);
+        g29 = g3_5;
         g3_2 = strlen(g30);
-        g29 = g3_2;
-        g3_5 = strlen(g30);
-        g28 = g3_5;
-        printf("%d", g3_2 + g3_5);
+        g28 = g3_2;
+        printf("%d", g3_5 + g3_2);
     }
     printf("%d, %d", g29, g28);
     printf("%d\n", g29);

r....................................................................................................................
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/banner/banner/banner.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/banner/banner/banner.c
@@ -26,28 +26,28 @@
     local5 = o0 + 4;
     local8 = local4;
     local4 = local8 - 1;
-    while (local8 != 1) {
+    while (SUBFLAGS(local8 - 1, 0, local8 - 1)) {
         o0 = *local5;
         o0 = strlen(o0); /* Warning: also results in o2, o3, o4 */
         local6 = o0;
-        if (o0 > 10) {
+        if (o0 >= 10) {
             local6 = 10;
         }
         local7 = 0;
 bb0x10794:
-        if (local7 <= 6) {
+        if (local7 < 6) {
             local0 = 0;
-            while (local0 < local6) {
+            while (SUBFLAGS(local0, local6, local0 - local6)) {
                 o1 = *local5;
                 o0 = *(unsigned char*)(o1 + local0);
                 o0 = (o0 << 24 >> 24) - 32;
                 local2 = o0;
-                if (o0 < 0) {
+                if (o0 <= 0) {
                     local2 = 0;
                 }
                 local1 = 0;
 bb0x10804:
-                if (local1 <= 6) {
+                if (local1 < 6) {
                     o1 = local0 * 8 + o6 - 16;
                     o3 = o1 + local1;
                     o4 = 0x220b4;
@@ -62,9 +62,9 @@
                 local0++;
             }
             local0 = local6 * 8 - 1;
-            while (local0 >= 0) {
+            while (local0 > 0) {
                 o0 = *(unsigned char*)(o6 + local0 - 128);
-                if (o0 << 24 >> 24 != 32) {
+                if (!SUBFLAGS(o0 << 24 >> 24, 32, (o0 << 24 >> 24) - 32)) {
                     break;
                 }
                 *(__size8*)(o6 + local0 - 128) = 0;

r.
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/branch/branch/branch.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/branch/branch/branch.c
@@ -5,23 +5,23 @@
 int main(int argc, char *argv[])
 {
     int local0; 		// m[o6 - 20]
-    unsigned int local1; 		// m[o6 - 24]
+    int local1; 		// m[o6 - 24]
 
     scanf("%d", &local0);
     scanf("%d", &local1);
-    if (local0 == 5) {
+    if (!SUBFLAGS(5, local0, 5 - local0)) {
         printf("Equal\n");
     }
-    if (local0 != 5) {
+    if (!SUBFLAGS(5, local0, 5 - local0)) {
         printf("Not Equal\n");
     }
-    if (5 > local0) {
+    if (5 >= local0) {
         printf("Greater\n");
     }
-    if (5 <= local0) {
+    if (!SUBFLAGS(5, local0, 5 - local0)) {
         printf("Less or Equal\n");
     }
-    if (5 >= local0) {
+    if (!SUBFLAGS(5, local0, 5 - local0)) {
         printf("Greater or Equal\n");
     }
     if (5 < local0) {
@@ -33,16 +33,16 @@
     if (5 <= local1) {
         printf("Less or Equal Unsigned\n");
     }
-    if (5 >= local1) {
+    if (!SUBFLAGS(5, local1, 5 - local1)) {
         printf("Carry Clear\n");
     }
-    if (5 < local1) {
+    if (!SUBFLAGS(5, local1, 5 - local1)) {
         printf("Carry Set\n");
     }
-    if (5 >= local0) {
+    if (local0 == 5) {
         printf("Minus\n");
     }
-    if (5 < local0) {
+    if (!SUBFLAGS(5, local0, 5 - local0)) {
         printf("Plus\n");
     }
     return 0;

r.
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/condcodexform_gcc/condcodexform_gcc/condcodexform_gcc.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/condcodexform_gcc/condcodexform_gcc/condcodexform_gcc.c
@@ -22,33 +22,33 @@
     else {
         o1 = 0;
     }
-    if (o1 == 0) {
+    if (SUBFLAGS(o1, 0, o1)) {
         o2 = 0x10d0c;
     }
     else {
         o2 = 0x10d04;
     }
-    if (o1 == 0) {
+    if (SUBFLAGS(o1, 0, o1)) {
         o3 = 0x10d1c;
     }
     else {
         o3 = 0x10d14;
     }
-    if (o1 == 0) {
+    if (SUBFLAGS(o1, 0, o1)) {
         o4 = 0x10d2c;
     }
     else {
         o4 = 0x10d24;
     }
-    if (o1 == 0) {
+    if (SUBFLAGS(o1, 0, o1)) {
         o5 = 0x10d3c;
     }
     else {
         o5 = 0x10d34;
     }
-    if (o1 == 0) {
+    if (SUBFLAGS(o1, 0, o1)) {
         i0 = 0;
-        if (o2 == 0x10d0c && o3 == 0x10d1c && o4 == 0x10d2c) {
+        if (!SUBFLAGS(o2, 0x10d0c, o2 - 0x10d0c) && !SUBFLAGS(o3, 0x10d1c, o3 - 0x10d1c) && !SUBFLAGS(o4, 0x10d2c, o4 - 0x10d2c)) {
             o0 = 0x10d3c;
 bb0x10cc4:
             i0 = 1 - ((o5 ^ o0) != 0);
@@ -57,13 +57,13 @@
     }
     else {
         i0 = 0;
-        if (o2 == 0x10d04 && o3 == 0x10d14 && o4 == 0x10d24) {
+        if (!SUBFLAGS(o2, 0x10d04, o2 - 0x10d04) && !SUBFLAGS(o3, 0x10d14, o3 - 0x10d14) && !SUBFLAGS(o4, 0x10d24, o4 - 0x10d24)) {
             o0 = 0x10d34;
             goto bb0x10cc4;
         }
     }
     argc = local0;
-    if (i0 == 0) {
+    if (SUBFLAGS(i0, 0, i0)) {
         o0_1 = "Failed!\n";
     }
     else {

r
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/elfhashtest/elfhashtest/elfhashtest.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/elfhashtest/elfhashtest/elfhashtest.c
@@ -33,7 +33,7 @@
     o3 = (int) *param1;
     g1 = param1;
     o4 = 0;
-    if (o3 != 0) {
+    if (!SUBFLAGS(o3, 0, o3)) {
         do {
             g1_1 = g1;
             param2 = local0;

r..
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/fib/fib/fib.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/fib/fib/fib.c
@@ -20,7 +20,7 @@
     int o0_1; 		// r8{4}
 
     i0 = param1;
-    if (param1 > 1) {
+    if (param1 >= 1) {
         o0_1 = fib(param1 - 1);
         o0 = fib(param1 - 2);
         i0 = o0_1 + o0;

r.
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/fibo3/fibo3/fibo3.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/fibo3/fibo3/fibo3.c
@@ -22,7 +22,7 @@
     int o0; 		// r8
     int o0_1; 		// r8{4}
 
-    if (param1 <= 1) {
+    if (param1 < 1) {
         local2 = param1;
     }
     else {

r
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/fibo4/fibo4/fibo4.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/fibo4/fibo4/fibo4.c
@@ -21,7 +21,7 @@
     int o2; 		// r10
     __size32 o2_1; 		// r10{3}
 
-    if (param1 <= 1) {
+    if (param1 < 1) {
         o2 = param1;
     }
     else {

r
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/fibo-O4/fibo-O4/fibo-O4.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/fibo-O4/fibo-O4/fibo-O4.c
@@ -13,7 +13,7 @@
     printf("Input number: ");
     scanf("%d", &local0);
     o2 = local0;
-    if (local0 > 1) {
+    if (local0 >= 1) {
         o0_2 = fib(local0 - 1);
         o0 = fib(local0 - 2);
         o2 = o0_2 + o0;
@@ -30,7 +30,7 @@
     int o0_1; 		// r8{4}
 
     i0 = param1;
-    if (param1 > 1) {
+    if (param1 >= 1) {
         o0_1 = fib(param1 - 1);
         o0 = fib(param1 - 2);
         i0 = o0_1 + o0;

r.....
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/interleavedcc/interleavedcc/interleavedcc.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/interleavedcc/interleavedcc/interleavedcc.c
@@ -28,7 +28,7 @@
     if (param2 != param3) {
         o0 = 1;
         local0 = o0;
-        if (param1 >= 0) {
+        if (param1 > 0) {
             o0 = 0;
             local0 = o0;
         }
@@ -36,7 +36,7 @@
     else {
         o0_1 = 2;
         local0 = o0_1;
-        if (param1 < 0) {
+        if (param1 <= 0) {
             o0 = 3;
             local0 = o0;
         }

r
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/loop/loop/loop.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/loop/loop/loop.c
@@ -7,7 +7,7 @@
     int local0; 		// m[o6 - 20]
 
     local0 = 0;
-    while (local0 <= 9) {
+    while (local0 < 9) {
         local0++;
     }
     printf("%i\n", local0);

r..
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/nestedswitch/nestedswitch/nestedswitch.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/nestedswitch/nestedswitch/nestedswitch.c
@@ -1,8 +1,8 @@
-int main(unsigned int argc, char *argv[]);
+int main(int argc, char *argv[]);
 
 
 /** address: 0x000106a4 */
-int main(unsigned int argc, char *argv[])
+int main(int argc, char *argv[])
 {
     int o0; 		// r8
 

r
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/param1/param1/param1.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/param1/param1/param1.c
@@ -19,7 +19,7 @@
     __size32 o1; 		// r9
 
     local0 = param2;
-    if (param1 < 0) {
+    if (param1 <= 0) {
         o1 = 0;
         local0 = o1;
     }

r.
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/phi/phi/phi.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/phi/phi/phi.c
@@ -22,8 +22,8 @@
     int o0; 		// r8
     int o0_1; 		// r8{4}
 
-    if (param1 <= 1) {
-        if (param1 != 1) {
+    if (param1 < 1) {
+        if (SUBFLAGS(param1, 1, param1 - 1)) {
             local1 = param1;
         }
         else {

r
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/phi2/phi2/phi2.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/phi2/phi2/phi2.c
@@ -25,7 +25,7 @@
     int o0_5; 		// r8{8}
 
     local2 = param3;
-    if (param1 <= 2) {
+    if (param1 < 2) {
         o0 = strlen(param2);
         local0 = o0;
     }

r.
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/short1/short1/short1.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/short1/short1/short1.c
@@ -1,5 +1,5 @@
 int main(int argc, char *argv[]);
-__size32 test(int param1, int param2, int param3);
+__size32 test(__size32 param1, __size32 param2, __size32 param3);
 
 
 /** address: 0x000106e8 */
@@ -19,11 +19,11 @@
 }
 
 /** address: 0x00010688 */
-__size32 test(int param1, int param2, int param3)
+__size32 test(__size32 param1, __size32 param2, __size32 param3)
 {
     __size32 local0; 		// m[o6 - 20]
 
-    if (param1 < param2 || param2 < param3) {
+    if (SUBFLAGS(param1, param2, param1 - param2) || SUBFLAGS(param2, param3, param2 - param3)) {
         local0 = 1;
     }
     else {

r
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/short2/short2/short2.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/short2/short2/short2.c
@@ -1,5 +1,5 @@
 int main(int argc, char *argv[]);
-__size32 test(int param1, int param2, int param3);
+__size32 test(__size32 param1, __size32 param2, __size32 param3);
 
 
 /** address: 0x000106b4 */
@@ -19,17 +19,17 @@
 }
 
 /** address: 0x00010688 */
-__size32 test(int param1, int param2, int param3)
+__size32 test(__size32 param1, __size32 param2, __size32 param3)
 {
     int g1; 		// r1
     int o0; 		// r8
 
     g1 = 1;
     o0 = 1;
-    if (param1 >= param2) {
+    if (!SUBFLAGS(param1, param2, param1 - param2)) {
         o0 = 0;
     }
-    if (param2 >= param3) {
+    if (!SUBFLAGS(param2, param3, param2 - param3)) {
         g1 = 0;
     }
     return o0 & g1;

r.
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/sumarray/sumarray/sumarray.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/sumarray/sumarray/sumarray.c
@@ -10,7 +10,7 @@
 
     local0 = 0;
     local1 = 0;
-    while (local1 <= 9) {
+    while (local1 < 9) {
         local0 += a[local1];
         local1++;
     }

r.
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/switchAnd_cc/switchAnd_cc/switchAnd_cc.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/switchAnd_cc/switchAnd_cc/switchAnd_cc.c
@@ -4,13 +4,16 @@
 /** address: 0x0001060c */
 int main(int argc, char *argv[])
 {
-    if (argc >= 2) {
+    if (argc > 2) {
         switch(argc - 2 & 0x7) {
         case 0:
             printf("Two!\n");
             break;
         case 1:
             printf("Three!\n");
+            break;
+        case 2:
+            printf("Four!\n");
             break;
         }
     }

r
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/switch_cc/switch_cc/switch_cc.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/switch_cc/switch_cc/switch_cc.c
@@ -4,7 +4,7 @@
 /** address: 0x0001090c */
 int main(int argc, char *argv[])
 {
-    if ((unsigned int)(argc - 2) > 5) {
+    if (argc - 2 > 5) {
         printf("Other!\n");
     }
     else {

r
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/switch_gcc/switch_gcc/switch_gcc.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/switch_gcc/switch_gcc/switch_gcc.c
@@ -6,7 +6,7 @@
 {
     int o0; 		// r8
 
-    if ((unsigned int)(argc - 2) > 5) {
+    if (argc - 2 > 5) {
         o0 = "Other!\n";
     }
     else {

r
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/testarray1/testarray1/testarray1.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/testarray1/testarray1/testarray1.c
@@ -10,7 +10,7 @@
 
     local0 = 0;
     local1 = 0;
-    while (local1 <= 4) {
+    while (local1 < 4) {
         o0 = *(unsigned char*)(local1 + 0x20930);
         local0 += o0 << 24 >> 24;
         local1++;

r
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/testarray2/testarray2/testarray2.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/testarray2/testarray2/testarray2.c
@@ -16,7 +16,7 @@
     fst(0x20a46);
     local1 = 0x20a50;
     local2 = 0;
-    while (local2 <= 4) {
+    while (local2 < 4) {
         o0 = *(unsigned char*)local1;
         local0 += o0 << 24 >> 24;
         local1++;

r.
--- /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/uns/uns/uns.c
+++ /builddir/boomerang-0.5.2/build/tests/regression-tests/expected-outputs/sparc/uns/uns/uns.c
@@ -4,16 +4,16 @@
 /** address: 0x00010684 */
 int main(int argc, char *argv[])
 {
-    if ((unsigned int)argc > (unsigned int)0xee6b27ff) {
+    if (argc > 0xee6b27ff) {
         printf("Population exceeds %u\n", (unsigned int)0xee6b2800);
     }
-    if ((unsigned int)argc <= (unsigned int)0xefffffff) {
+    if (argc <= 0xefffffff) {
         printf("The mask is %x\n", (unsigned int)0xf0000000);
     }
-    if ((unsigned int)argc > 1) {
+    if (argc > 1) {
         printf("Arguments supplied\n");
     }
-    if (0 - argc < -2) {
+    if (0 - argc <= -2) {
         printf("Three or more arguments\n");
     }
     return 0;

r.

Regressions:
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/OSX/o4/phi2
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/banner
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/branch
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/condcodexform_gcc
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/elfhashtest
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/fib
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/fibo3
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/fibo4
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/fibo-O4
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/interleavedcc
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/loop
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/nestedswitch
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/param1
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/phi
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/phi2
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/short1
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/short2
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/sumarray
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/switchAnd_cc
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/switch_cc
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/switch_gcc
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/testarray1
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/testarray2
r /builddir/boomerang-0.5.2/build/out/share/boomerang/samples/sparc/uns

Testing for crashes ..........................................................................................................
Testing finished.