Use a special signature for `main`, no signed/unsigned `char`s #302

frabert · 2022-09-19T15:42:36Z

No description provided.

github-actions · 2022-09-19T15:47:33Z

See the diff generated by this PR for the tests here: https://github.com/lifting-bits/rellic/actions/runs/3083735025

fizzbuzz.bc

--- /dev/fd/63	2022-09-19 15:47:26.405887665 +0000
+++ /dev/fd/62	2022-09-19 15:47:26.405887665 +0000
@@ -1,10 +1,10 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[10] = "fizzbuzz\n\000";
-unsigned char _str_1[6] = "fizz\n\000";
-unsigned char _str_2[6] = "buzz\n\000";
-unsigned char _str_3[4] = "%d\n\000";
-unsigned int main() {
+char _str[10] = "fizzbuzz\n\000";
+char _str_1[6] = "fizz\n\000";
+char _str_2[6] = "buzz\n\000";
+char _str_3[4] = "%d\n\000";
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

typedefs_of_typedefs.bc

--- /dev/fd/63	2022-09-19 15:47:27.149856413 +0000
+++ /dev/fd/62	2022-09-19 15:47:27.149856413 +0000
@@ -1,9 +1,9 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[11] = "a=[%d %d]\n\000";
-unsigned char _str_1[29] = "array=[%lld %lld %lld %lld]\n\000";
+char _str[11] = "a=[%d %d]\n\000";
+char _str_1[29] = "array=[%lld %lld %lld %lld]\n\000";
 unsigned long array[4] = {};
-unsigned int main() {
+int main() {
     unsigned int var0;
     __attribute__((__vector_size__(2 * sizeof(unsigned long)))) unsigned long var1;
     __attribute__((__vector_size__(2 * sizeof(unsigned long)))) unsigned long var2;

switch_loop.bc

--- /dev/fd/63	2022-09-19 15:47:27.201854251 +0000
+++ /dev/fd/62	2022-09-19 15:47:27.201854251 +0000
@@ -1,7 +1,7 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[4] = "%d\n\000";
-unsigned int main() {
+char _str[4] = "%d\n\000";
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

func_cond_zero_arg.bc

--- /dev/fd/63	2022-09-19 15:47:27.405845772 +0000
+++ /dev/fd/62	2022-09-19 15:47:27.405845772 +0000
@@ -1,11 +1,11 @@
 unsigned int f();
-unsigned int main();
+int main();
 unsigned int x = 0U;
 unsigned int y = 1U;
 unsigned int f() {
     return 1U;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int call1;
     var0 = 0U;

fcmp.bc

--- /dev/fd/63	2022-09-19 15:47:27.525840784 +0000
+++ /dev/fd/62	2022-09-19 15:47:27.525840784 +0000
@@ -1,10 +1,10 @@
-unsigned int main();
+int main();
 float atof(void *arg0);
 unsigned int printf(void *arg0, ...);
-unsigned char _str[2] = "3\000";
-unsigned char _str_1[2] = "2\000";
-unsigned char _str_2[19] = "%d %d %d %d %d %d\n\000";
-unsigned int main() {
+char _str[2] = "3\000";
+char _str_1[2] = "2\000";
+char _str_2[19] = "%d %d %d %d %d %d\n\000";
+int main() {
     float var0;
     float var1;
     float var2;

conflicting_names.bc

--- /dev/fd/63	2022-09-19 15:47:27.581838456 +0000
+++ /dev/fd/62	2022-09-19 15:47:27.581838456 +0000
@@ -1,6 +1,6 @@
 unsigned int foo();
 unsigned int bar();
-unsigned int main();
+int main();
 unsigned int atoi(void *arg0);
 unsigned int foo() {
     unsigned int var0;
@@ -12,7 +12,7 @@
     var0 = 1U;
     return var0;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int var1;
     void *var2;

struct.bc

--- /dev/fd/63	2022-09-19 15:47:27.741831806 +0000
+++ /dev/fd/62	2022-09-19 15:47:27.741831806 +0000
@@ -1,10 +1,10 @@
-unsigned int main();
+int main();
 struct struct__pair {
     unsigned int field0;
     unsigned int field1;
 };
 struct struct__pair a = {0U, 42U};
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     if (a.field0 == 0U) {

issue_183_literal_structs.bc

--- /dev/fd/63	2022-09-19 15:47:27.849827317 +0000
+++ /dev/fd/62	2022-09-19 15:47:27.849827317 +0000
@@ -11,9 +11,9 @@
     struct union_anon field2;
     struct union_anon_0 field3;
 };
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[4] = "%d\n\000";
+char _str[4] = "%d\n\000";
 struct literal_struct_0 {
     unsigned long field0;
     unsigned long field1;
@@ -26,7 +26,7 @@
     ((struct literal_struct_0 *)val1)->field1 = arg1;
     return *(unsigned int *)(&var0.field3);
 }
-unsigned int main() {
+int main() {
     struct struct_foo_t var0;
     void *val1;
     unsigned int call2;

issue_127_uint128_t_lit.bc

--- /dev/fd/63	2022-09-19 15:47:27.909824823 +0000
+++ /dev/fd/62	2022-09-19 15:47:27.909824823 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned __int128 x = (unsigned __int128)3735928559ULL;
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned char val1;
     var0 = 0U;

global_using_function_decl.bc

--- /dev/fd/63	2022-09-19 15:47:27.961822661 +0000
+++ /dev/fd/62	2022-09-19 15:47:27.965822495 +0000
@@ -1,12 +1,12 @@
 void some_func(unsigned int arg0);
-unsigned int main();
+int main();
 void *afunc_pointer = &some_func;
 void some_func(unsigned int arg0) {
     unsigned int var0;
     var0 = arg0;
     return;
 }
-unsigned int main() {
+int main() {
     ((void (*)(unsigned int))afunc_pointer)(0U);
     return 0U;
 }

short.bc

--- /dev/fd/63	2022-09-19 15:47:28.021820178 +0000
+++ /dev/fd/62	2022-09-19 15:47:28.021820178 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned short a = (unsigned short)0U;
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned short var1;
     var0 = 0U;

init_list.bc

--- /dev/fd/63	2022-09-19 15:47:28.073818044 +0000
+++ /dev/fd/62	2022-09-19 15:47:28.073818044 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned int a[5] = {0U, 1U, 2U, 3U, 4U};
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     return a[1UL];

reg_test_structure_fields.bc

--- /dev/fd/63	2022-09-19 15:47:28.125815911 +0000
+++ /dev/fd/62	2022-09-19 15:47:28.125815911 +0000
@@ -1,11 +1,11 @@
-unsigned int main();
+int main();
 struct struct_a {
     unsigned int field0;
 };
 struct struct_b {
     struct struct_a field0;
 };
-unsigned int main() {
+int main() {
     struct struct_b var0;
     return 0U;
 }

ret0.bc

--- /dev/fd/63	2022-09-19 15:47:28.177813778 +0000
+++ /dev/fd/62	2022-09-19 15:47:28.177813778 +0000
@@ -1,9 +1,9 @@
 unsigned int f();
-unsigned int main();
+int main();
 unsigned int f() {
     return 1U;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int call1;
     var0 = 0U;

goto_loop.bc

--- /dev/fd/63	2022-09-19 15:47:28.241811152 +0000
+++ /dev/fd/62	2022-09-19 15:47:28.241811152 +0000
@@ -1,7 +1,7 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[4] = "%d\n\000";
-unsigned int main() {
+char _str[4] = "%d\n\000";
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

trunc.bc

--- /dev/fd/63	2022-09-19 15:47:28.477801471 +0000
+++ /dev/fd/62	2022-09-19 15:47:28.477801471 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned long a = 18446744073709551615UL;
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     return (unsigned int)a;

bitops.bc

--- /dev/fd/63	2022-09-19 15:47:28.529799337 +0000
+++ /dev/fd/62	2022-09-19 15:47:28.529799337 +0000
@@ -1,7 +1,7 @@
-unsigned int main();
+int main();
 unsigned int a = 255U;
 unsigned int b = 7U;
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

cast.bc

--- /dev/fd/63	2022-09-19 15:47:28.705792117 +0000
+++ /dev/fd/62	2022-09-19 15:47:28.705792117 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned int a = 0U;
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     return (unsigned int)(&a);

nullptr.bc

--- /dev/fd/63	2022-09-19 15:47:28.757789983 +0000
+++ /dev/fd/62	2022-09-19 15:47:28.757789983 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 void *ptr = (void *)0U;
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     if (ptr != (void *)0U) {

nested_struct.bc

--- /dev/fd/63	2022-09-19 15:47:28.869785389 +0000
+++ /dev/fd/62	2022-09-19 15:47:28.869785389 +0000
@@ -1,13 +1,13 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[4] = "Bob\000";
+char _str[4] = "Bob\000";
 struct struct__pair {
     unsigned int field0;
     unsigned int field1;
 };
 struct struct__person {
     void *field0;
-    unsigned char field1;
+    char field1;
 };
 struct struct__record {
     unsigned int field0;
@@ -15,8 +15,8 @@
     struct struct__person field2;
 };
 struct struct__record r1 = {14U, {33U, 42U}, {"Bob", (unsigned char)66U}};
-unsigned char _str_1[9] = "Name: %s\000";
-unsigned int main() {
+char _str_1[9] = "Name: %s\000";
+int main() {
     unsigned int var0;
     var0 = 0U;
     printf("Name: %s", r1.field2.field0);

array_swap.bc

--- /dev/fd/63	2022-09-19 15:47:28.925783091 +0000
+++ /dev/fd/62	2022-09-19 15:47:28.925783091 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned int a[2] = {0U, 42U};
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

bitmask.bc

--- /dev/fd/63	2022-09-19 15:47:28.977780959 +0000
+++ /dev/fd/62	2022-09-19 15:47:28.977780959 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned long a = 43981UL;
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     if ((a & 4080UL) >> 4UL != 188UL) {

binops.bc

--- /dev/fd/63	2022-09-19 15:47:29.081776734 +0000
+++ /dev/fd/62	2022-09-19 15:47:29.081776734 +0000
@@ -1,5 +1,5 @@
 unsigned int target(unsigned int arg0);
-unsigned int main();
+int main();
 unsigned int target(unsigned int arg0) {
     unsigned int var0;
     unsigned int var1;
@@ -22,7 +22,7 @@
     }
     return var2;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int call1;
     var0 = 0U;

float.bc

--- /dev/fd/63	2022-09-19 15:47:29.357765558 +0000
+++ /dev/fd/62	2022-09-19 15:47:29.357765558 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 float f = 3.1400001F;
-unsigned int main() {
+int main() {
     unsigned int var0;
     double var1;
     double var2;

nested_while.bc

--- /dev/fd/63	2022-09-19 15:47:29.461761346 +0000
+++ /dev/fd/62	2022-09-19 15:47:29.461761346 +0000
@@ -1,10 +1,10 @@
-unsigned int main();
+int main();
 unsigned int atoi(void *arg0);
 unsigned int printf(void *arg0, ...);
-unsigned char _str[2] = "5\000";
-unsigned char _str_1[13] = "loop1 x: %d\n\000";
-unsigned char _str_2[13] = "loop2 x: %d\n\000";
-unsigned int main() {
+char _str[2] = "5\000";
+char _str_1[13] = "loop1 x: %d\n\000";
+char _str_2[13] = "loop2 x: %d\n\000";
+int main() {
     unsigned int var0;
     unsigned int var1;
     unsigned int call2;
@@ -25,7 +25,7 @@
                 printf("loop2 x: %d\n", var1);
             }
     }
-    if (((int)var1 <= 10 || (int)var1 >= 20) && (int)var1 >= 20) {
+    if ((int)var1 >= 20 && ((int)var1 <= 10 || (int)var1 >= 20)) {
         return var0;
     }
 }

zeroinit.bc

--- /dev/fd/63	2022-09-19 15:47:29.833746283 +0000
+++ /dev/fd/62	2022-09-19 15:47:29.833746283 +0000
@@ -1,11 +1,11 @@
-unsigned int main();
+int main();
 struct struct__pair {
     unsigned int field0;
     unsigned int field1;
 };
 struct struct__person {
     void *field0;
-    unsigned char field1;
+    char field1;
 };
 struct struct__record {
     unsigned int field0;
@@ -14,7 +14,7 @@
 };
 struct struct__record r1 = {};
 unsigned long a1[256] = {};
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     if (r1.field1.field0 == 0U) {

funcptr.bc

--- /dev/fd/63	2022-09-19 15:47:29.989739966 +0000
+++ /dev/fd/62	2022-09-19 15:47:29.989739966 +0000
@@ -1,6 +1,6 @@
 unsigned int add(unsigned int arg0, unsigned int arg1);
 unsigned int sub(unsigned int arg0, unsigned int arg1);
-unsigned int main();
+int main();
 unsigned int x = 0U;
 unsigned int add(unsigned int arg0, unsigned int arg1) {
     unsigned int var0;
@@ -16,7 +16,7 @@
     var1 = arg1;
     return var0 - var1;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     void *var1;
     unsigned int call2;

struct_swap.bc

--- /dev/fd/63	2022-09-19 15:47:30.097735643 +0000
+++ /dev/fd/62	2022-09-19 15:47:30.097735643 +0000
@@ -1,10 +1,10 @@
-unsigned int main();
+int main();
 struct struct__pair {
     unsigned int field0;
     unsigned int field1;
 };
 struct struct__pair a = {0U, 42U};
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

branch.bc

--- /dev/fd/63	2022-09-19 15:47:30.157733244 +0000
+++ /dev/fd/62	2022-09-19 15:47:30.157733244 +0000
@@ -1,13 +1,13 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
 unsigned int a = 0U;
 unsigned int c = 1U;
-unsigned char _str[39] = "Global variable 'a' of value %u is at \000";
-unsigned char _str_1[6] = "even \000";
-unsigned char _str_2[5] = "odd \000";
-unsigned char _str_3[39] = "Global variable 'c' of value %u is at \000";
-unsigned char _str_4[10] = "address.\n\000";
-unsigned int main() {
+char _str[39] = "Global variable 'a' of value %u is at \000";
+char _str_1[6] = "even \000";
+char _str_2[5] = "odd \000";
+char _str_3[39] = "Global variable 'c' of value %u is at \000";
+char _str_4[10] = "address.\n\000";
+int main() {
     unsigned int var0;
     unsigned long var1;
     unsigned long var2;

vectors.bc

--- /dev/fd/63	2022-09-19 15:47:30.477720454 +0000
+++ /dev/fd/62	2022-09-19 15:47:30.477720454 +0000
@@ -1,7 +1,7 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[17] = "a=[%d %d %d %d]\n\000";
-unsigned int main() {
+char _str[17] = "a=[%d %d %d %d]\n\000";
+int main() {
     unsigned int var0;
     __attribute__((__vector_size__(4 * sizeof(unsigned int)))) unsigned int var1;
     __attribute__((__vector_size__(4 * sizeof(unsigned int)))) unsigned int var2;

issue_4.bc

--- /dev/fd/63	2022-09-19 15:47:30.529718376 +0000
+++ /dev/fd/62	2022-09-19 15:47:30.529718376 +0000
@@ -1,5 +1,5 @@
 unsigned int foo(unsigned int arg0, unsigned int arg1);
-unsigned int main();
+int main();
 unsigned int foo(unsigned int arg0, unsigned int arg1) {
     unsigned int var0;
     unsigned int var1;
@@ -17,7 +17,7 @@
         }
     return var2;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int call1;
     var0 = 0U;

conflicting_global.bc

--- /dev/fd/63	2022-09-19 15:47:30.689711981 +0000
+++ /dev/fd/62	2022-09-19 15:47:30.689711981 +0000
@@ -1,8 +1,8 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
 unsigned int a = 3U;
-unsigned char _str[4] = "%d\n\000";
-unsigned int main() {
+char _str[4] = "%d\n\000";
+int main() {
     unsigned int var0;
     var0 = 4U;
     printf("%d\n", var0);

issue_123_uint128_t.bc

--- /dev/fd/63	2022-09-19 15:47:30.745709743 +0000
+++ /dev/fd/62	2022-09-19 15:47:30.745709743 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned long x = 3735928559UL;
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned __int128 var1;
     var0 = 0U;

fizzbuzz_stateful.bc

--- /dev/fd/63	2022-09-19 15:47:30.797707664 +0000
+++ /dev/fd/62	2022-09-19 15:47:30.797707664 +0000
@@ -1,11 +1,11 @@
 void fizzbuzz();
 unsigned int printf(void *arg0, ...);
-unsigned int main();
+int main();
 unsigned int i = 0U;
-unsigned char _str[5] = "fizz\000";
-unsigned char _str_1[5] = "buzz\000";
-unsigned char _str_2[3] = "%d\000";
-unsigned char _str_3[2] = "\n\000";
+char _str[5] = "fizz\000";
+char _str_1[5] = "buzz\000";
+char _str_2[3] = "%d\000";
+char _str_3[2] = "\n\000";
 void fizzbuzz() {
     unsigned int var0;
     var0 = i;
@@ -24,7 +24,7 @@
     i = var0;
     return;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     i = 1U;

issue_94_strncmp.bc

--- /dev/fd/63	2022-09-19 15:47:31.137694144 +0000
+++ /dev/fd/62	2022-09-19 15:47:31.137694144 +0000
@@ -1,16 +1,16 @@
-unsigned int main();
+int main();
 void *strcpy(void *arg0, void *arg1);
 unsigned int strncmp(void *arg0, void *arg1, unsigned long arg2);
 unsigned int printf(void *arg0, ...);
-unsigned char _str[6] = "hello\000";
-unsigned char _str_1[12] = "helLO WORLD\000";
-unsigned char _str_2[70] = "ASCII value of first unmatched character of str1 is greater than str2\000";
-unsigned char _str_3[67] = "ASCII value of first unmatched character of str1 is less than str2\000";
-unsigned char _str_4[41] = "Both the strings str1 and str2 are equal\000";
-unsigned int main() {
+char _str[6] = "hello\000";
+char _str_1[12] = "helLO WORLD\000";
+char _str_2[70] = "ASCII value of first unmatched character of str1 is greater than str2\000";
+char _str_3[67] = "ASCII value of first unmatched character of str1 is less than str2\000";
+char _str_4[41] = "Both the strings str1 and str2 are equal\000";
+int main() {
     unsigned int var0;
-    unsigned char var1[20];
-    unsigned char var2[20];
+    char var1[20];
+    char var2[20];
     unsigned int call3;
     unsigned int call4;
     var0 = 0U;

bool.bc

--- /dev/fd/63	2022-09-19 15:47:31.321686885 +0000
+++ /dev/fd/62	2022-09-19 15:47:31.321686885 +0000
@@ -1,7 +1,7 @@
-unsigned int main();
+int main();
 unsigned long a = 0UL;
 unsigned long b = 1UL;
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     if ((unsigned int)(a == b) != 0U) {

zext.bc

--- /dev/fd/63	2022-09-19 15:47:31.425682782 +0000
+++ /dev/fd/62	2022-09-19 15:47:31.425682782 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
-unsigned char a = (unsigned char)1U;
-unsigned int main() {
+int main();
+char a = (unsigned char)1U;
+int main() {
     unsigned int var0;
     var0 = 0U;
     return (unsigned int)a;

byval_struct.bc

--- /dev/fd/63	2022-09-19 15:47:31.477680730 +0000
+++ /dev/fd/62	2022-09-19 15:47:31.477680730 +0000
@@ -5,20 +5,20 @@
     unsigned long field3;
 };
 unsigned long get_3x(struct struct_foo arg0);
-unsigned int main();
+int main();
 unsigned int atoi(void *arg0);
 unsigned int printf(void *arg0, ...);
-unsigned char _str[2] = "1\000";
-unsigned char _str_1[2] = "2\000";
-unsigned char _str_2[2] = "3\000";
-unsigned char _str_3[2] = "4\000";
-unsigned char _str_4[11] = "%lld %lld\n\000";
+char _str[2] = "1\000";
+char _str_1[2] = "2\000";
+char _str_2[2] = "3\000";
+char _str_3[2] = "4\000";
+char _str_4[11] = "%lld %lld\n\000";
 unsigned long get_3x(struct struct_foo arg0) {
     void *arg0_ptr = &arg0;
     ((struct struct_foo *)arg0_ptr)->field0 = ((struct struct_foo *)arg0_ptr)->field0 * 3UL;
     return ((struct struct_foo *)arg0_ptr)->field0;
 }
-unsigned int main() {
+int main() {
     struct struct_foo var0;
     unsigned long var1;
     unsigned int call2;

func_cond_two_arg.bc

--- /dev/fd/63	2022-09-19 15:47:31.537678363 +0000
+++ /dev/fd/62	2022-09-19 15:47:31.537678363 +0000
@@ -1,5 +1,5 @@
 unsigned int f(unsigned int arg0, unsigned int arg1);
-unsigned int main();
+int main();
 unsigned int x = 0U;
 unsigned int y = 1U;
 unsigned int f(unsigned int arg0, unsigned int arg1) {
@@ -9,7 +9,7 @@
     var1 = arg1;
     return (unsigned int)((int)var0 < (int)var1);
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int call1;
     var0 = 0U;

inttoptr.bc

--- /dev/fd/63	2022-09-19 15:47:31.649673944 +0000
+++ /dev/fd/62	2022-09-19 15:47:31.649673944 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned long a = 3735928559UL;
-unsigned int main() {
+int main() {
     unsigned int var0;
     void *var1;
     var0 = 0U;

assert.bc

--- /dev/fd/63	2022-09-19 15:47:31.753669841 +0000
+++ /dev/fd/62	2022-09-19 15:47:31.753669841 +0000
@@ -1,12 +1,12 @@
-unsigned int main();
+int main();
 void __assert_fail(void *arg0, void *arg1, unsigned int arg2, void *arg3);
 unsigned long a = 1UL;
-unsigned char _str[6] = "a % 3\000";
-unsigned char _str_1[9] = "assert.c\000";
-unsigned char __PRETTY_FUNCTION___main[15] = "int main(void)\000";
-unsigned char _str_2[6] = "a % 7\000";
-unsigned char _str_3[7] = "a % 15\000";
-unsigned int main() {
+char _str[6] = "a % 3\000";
+char _str_1[9] = "assert.c\000";
+char __PRETTY_FUNCTION___main[15] = "int main(void)\000";
+char _str_2[6] = "a % 7\000";
+char _str_3[7] = "a % 15\000";
+int main() {
     unsigned int var0;
     var0 = 0U;
     if (a % 3UL == 0UL) {

loop.bc

--- /dev/fd/63	2022-09-19 15:47:31.945662266 +0000
+++ /dev/fd/62	2022-09-19 15:47:31.945662266 +0000
@@ -1,9 +1,9 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[19] = "Variable at %d is \000";
-unsigned char _str_1[7] = "even.\n\000";
-unsigned char _str_2[6] = "odd.\n\000";
-unsigned int main() {
+char _str[19] = "Variable at %d is \000";
+char _str_1[7] = "even.\n\000";
+char _str_2[6] = "odd.\n\000";
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

switch.bc

--- /dev/fd/63	2022-09-19 15:47:32.177653202 +0000
+++ /dev/fd/62	2022-09-19 15:47:32.177653202 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned int a = 12U;
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

template_parameter_pack.bc

--- /dev/fd/63	2022-09-19 15:47:32.301648372 +0000
+++ /dev/fd/62	2022-09-19 15:47:32.301648372 +0000
@@ -1,11 +1,11 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
 unsigned int _Z3sumIiJiiiiEET_S0_DpT0_(unsigned int arg0, unsigned int arg1, unsigned int arg2, unsigned int arg3, unsigned int arg4);
 unsigned int _Z3sumIiJiiiEET_S0_DpT0_(unsigned int arg0, unsigned int arg1, unsigned int arg2, unsigned int arg3);
 unsigned int _Z3sumIiJiiEET_S0_DpT0_(unsigned int arg0, unsigned int arg1, unsigned int arg2);
 unsigned int _Z3sumIiET_S0_S0_(unsigned int arg0, unsigned int arg1);
-unsigned char _str[4] = "%d\n\000";
-unsigned int main() {
+char _str[4] = "%d\n\000";
+int main() {
     unsigned int call0;
     call0 = _Z3sumIiJiiiiEET_S0_DpT0_(1U, 2U, 3U, 4U, 5U);
     printf("%d\n", call0);

byval_tail_gep.ll

byval_tail_nogep.ll

github-actions · 2022-09-19T17:05:37Z

See the diff generated by this PR for the tests here: https://github.com/lifting-bits/rellic/actions/runs/3084211014

fizzbuzz.bc

--- /dev/fd/63	2022-09-19 17:05:30.999534770 +0000
+++ /dev/fd/62	2022-09-19 17:05:30.999534770 +0000
@@ -1,17 +1,17 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[10] = "fizzbuzz\n\000";
-unsigned char _str_1[6] = "fizz\n\000";
-unsigned char _str_2[6] = "buzz\n\000";
-unsigned char _str_3[4] = "%d\n\000";
-unsigned int main() {
+char _str[10] = "fizzbuzz\n\000";
+char _str_1[6] = "fizz\n\000";
+char _str_2[6] = "buzz\n\000";
+char _str_3[4] = "%d\n\000";
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;
     var1 = 0U;
     while ((int)var1 < 30)
         {
-            if ((int)var1 % 3 != 0U || !((int)var1 % 3 != 0U || (int)var1 % 5 == 0U)) {
+            if ((int)var1 % 3 != 0U || !((int)var1 % 5 == 0U || (int)var1 % 3 != 0U)) {
                 if ((int)var1 % 3 != 0U) {
                     if ((int)var1 % 5 != 0U) {
                         printf("%d\n", var1);

typedefs_of_typedefs.bc

--- /dev/fd/63	2022-09-19 17:05:31.739534206 +0000
+++ /dev/fd/62	2022-09-19 17:05:31.739534206 +0000
@@ -1,9 +1,9 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[11] = "a=[%d %d]\n\000";
-unsigned char _str_1[29] = "array=[%lld %lld %lld %lld]\n\000";
+char _str[11] = "a=[%d %d]\n\000";
+char _str_1[29] = "array=[%lld %lld %lld %lld]\n\000";
 unsigned long array[4] = {};
-unsigned int main() {
+int main() {
     unsigned int var0;
     __attribute__((__vector_size__(2 * sizeof(unsigned long)))) unsigned long var1;
     __attribute__((__vector_size__(2 * sizeof(unsigned long)))) unsigned long var2;

switch_loop.bc

--- /dev/fd/63	2022-09-19 17:05:31.795534164 +0000
+++ /dev/fd/62	2022-09-19 17:05:31.795534164 +0000
@@ -1,7 +1,7 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[4] = "%d\n\000";
-unsigned int main() {
+char _str[4] = "%d\n\000";
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

func_cond_zero_arg.bc

--- /dev/fd/63	2022-09-19 17:05:31.999534007 +0000
+++ /dev/fd/62	2022-09-19 17:05:31.999534007 +0000
@@ -1,11 +1,11 @@
 unsigned int f();
-unsigned int main();
+int main();
 unsigned int x = 0U;
 unsigned int y = 1U;
 unsigned int f() {
     return 1U;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int call1;
     var0 = 0U;

fcmp.bc

--- /dev/fd/63	2022-09-19 17:05:32.111533923 +0000
+++ /dev/fd/62	2022-09-19 17:05:32.111533923 +0000
@@ -1,10 +1,10 @@
-unsigned int main();
+int main();
 float atof(void *arg0);
 unsigned int printf(void *arg0, ...);
-unsigned char _str[2] = "3\000";
-unsigned char _str_1[2] = "2\000";
-unsigned char _str_2[19] = "%d %d %d %d %d %d\n\000";
-unsigned int main() {
+char _str[2] = "3\000";
+char _str_1[2] = "2\000";
+char _str_2[19] = "%d %d %d %d %d %d\n\000";
+int main() {
     float var0;
     float var1;
     float var2;

conflicting_names.bc

--- /dev/fd/63	2022-09-19 17:05:32.167533881 +0000
+++ /dev/fd/62	2022-09-19 17:05:32.167533881 +0000
@@ -1,6 +1,6 @@
 unsigned int foo();
 unsigned int bar();
-unsigned int main();
+int main();
 unsigned int atoi(void *arg0);
 unsigned int foo() {
     unsigned int var0;
@@ -12,7 +12,7 @@
     var0 = 1U;
     return var0;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int var1;
     void *var2;

struct.bc

--- /dev/fd/63	2022-09-19 17:05:32.327533760 +0000
+++ /dev/fd/62	2022-09-19 17:05:32.327533760 +0000
@@ -1,10 +1,10 @@
-unsigned int main();
+int main();
 struct struct__pair {
     unsigned int field0;
     unsigned int field1;
 };
 struct struct__pair a = {0U, 42U};
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     if (a.field0 == 0U) {

issue_183_literal_structs.bc

--- /dev/fd/63	2022-09-19 17:05:32.443533673 +0000
+++ /dev/fd/62	2022-09-19 17:05:32.443533673 +0000
@@ -11,9 +11,9 @@
     struct union_anon field2;
     struct union_anon_0 field3;
 };
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[4] = "%d\n\000";
+char _str[4] = "%d\n\000";
 struct literal_struct_0 {
     unsigned long field0;
     unsigned long field1;
@@ -26,7 +26,7 @@
     ((struct literal_struct_0 *)val1)->field1 = arg1;
     return *(unsigned int *)(&var0.field3);
 }
-unsigned int main() {
+int main() {
     struct struct_foo_t var0;
     void *val1;
     unsigned int call2;

issue_127_uint128_t_lit.bc

--- /dev/fd/63	2022-09-19 17:05:32.507533624 +0000
+++ /dev/fd/62	2022-09-19 17:05:32.507533624 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned __int128 x = (unsigned __int128)3735928559ULL;
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned char val1;
     var0 = 0U;

global_using_function_decl.bc

--- /dev/fd/63	2022-09-19 17:05:32.559533585 +0000
+++ /dev/fd/62	2022-09-19 17:05:32.559533585 +0000
@@ -1,12 +1,12 @@
 void some_func(unsigned int arg0);
-unsigned int main();
+int main();
 void *afunc_pointer = &some_func;
 void some_func(unsigned int arg0) {
     unsigned int var0;
     var0 = arg0;
     return;
 }
-unsigned int main() {
+int main() {
     ((void (*)(unsigned int))afunc_pointer)(0U);
     return 0U;
 }

short.bc

--- /dev/fd/63	2022-09-19 17:05:32.619533540 +0000
+++ /dev/fd/62	2022-09-19 17:05:32.619533540 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned short a = (unsigned short)0U;
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned short var1;
     var0 = 0U;

init_list.bc

--- /dev/fd/63	2022-09-19 17:05:32.671533501 +0000
+++ /dev/fd/62	2022-09-19 17:05:32.671533501 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned int a[5] = {0U, 1U, 2U, 3U, 4U};
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     return a[1UL];

reg_test_structure_fields.bc

--- /dev/fd/63	2022-09-19 17:05:32.723533461 +0000
+++ /dev/fd/62	2022-09-19 17:05:32.723533461 +0000
@@ -1,11 +1,11 @@
-unsigned int main();
+int main();
 struct struct_a {
     unsigned int field0;
 };
 struct struct_b {
     struct struct_a field0;
 };
-unsigned int main() {
+int main() {
     struct struct_b var0;
     return 0U;
 }

ret0.bc

--- /dev/fd/63	2022-09-19 17:05:32.775533422 +0000
+++ /dev/fd/62	2022-09-19 17:05:32.779533420 +0000
@@ -1,9 +1,9 @@
 unsigned int f();
-unsigned int main();
+int main();
 unsigned int f() {
     return 1U;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int call1;
     var0 = 0U;

goto_loop.bc

--- /dev/fd/63	2022-09-19 17:05:32.839533375 +0000
+++ /dev/fd/62	2022-09-19 17:05:32.839533375 +0000
@@ -1,7 +1,7 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[4] = "%d\n\000";
-unsigned int main() {
+char _str[4] = "%d\n\000";
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

trunc.bc

--- /dev/fd/63	2022-09-19 17:05:33.083533192 +0000
+++ /dev/fd/62	2022-09-19 17:05:33.083533192 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned long a = 18446744073709551615UL;
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     return (unsigned int)a;

bitops.bc

--- /dev/fd/63	2022-09-19 17:05:33.135533152 +0000
+++ /dev/fd/62	2022-09-19 17:05:33.135533152 +0000
@@ -1,7 +1,7 @@
-unsigned int main();
+int main();
 unsigned int a = 255U;
 unsigned int b = 7U;
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

cast.bc

--- /dev/fd/63	2022-09-19 17:05:33.307533024 +0000
+++ /dev/fd/62	2022-09-19 17:05:33.311533022 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned int a = 0U;
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     return (unsigned int)(&a);

nullptr.bc

--- /dev/fd/63	2022-09-19 17:05:33.363532983 +0000
+++ /dev/fd/62	2022-09-19 17:05:33.363532983 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 void *ptr = (void *)0U;
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     if (ptr != (void *)0U) {

nested_struct.bc

--- /dev/fd/63	2022-09-19 17:05:33.471532902 +0000
+++ /dev/fd/62	2022-09-19 17:05:33.471532902 +0000
@@ -1,13 +1,13 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[4] = "Bob\000";
+char _str[4] = "Bob\000";
 struct struct__pair {
     unsigned int field0;
     unsigned int field1;
 };
 struct struct__person {
     void *field0;
-    unsigned char field1;
+    char field1;
 };
 struct struct__record {
     unsigned int field0;
@@ -15,8 +15,8 @@
     struct struct__person field2;
 };
 struct struct__record r1 = {14U, {33U, 42U}, {"Bob", (unsigned char)66U}};
-unsigned char _str_1[9] = "Name: %s\000";
-unsigned int main() {
+char _str_1[9] = "Name: %s\000";
+int main() {
     unsigned int var0;
     var0 = 0U;
     printf("Name: %s", r1.field2.field0);

array_swap.bc

--- /dev/fd/63	2022-09-19 17:05:33.527532861 +0000
+++ /dev/fd/62	2022-09-19 17:05:33.527532861 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned int a[2] = {0U, 42U};
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

bitmask.bc

--- /dev/fd/63	2022-09-19 17:05:33.579532822 +0000
+++ /dev/fd/62	2022-09-19 17:05:33.579532822 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned long a = 43981UL;
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     if ((a & 4080UL) >> 4UL != 188UL) {

binops.bc

--- /dev/fd/63	2022-09-19 17:05:33.691532739 +0000
+++ /dev/fd/62	2022-09-19 17:05:33.691532739 +0000
@@ -1,5 +1,5 @@
 unsigned int target(unsigned int arg0);
-unsigned int main();
+int main();
 unsigned int target(unsigned int arg0) {
     unsigned int var0;
     unsigned int var1;
@@ -22,7 +22,7 @@
     }
     return var2;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int call1;
     var0 = 0U;

float.bc

--- /dev/fd/63	2022-09-19 17:05:34.003532507 +0000
+++ /dev/fd/62	2022-09-19 17:05:34.003532507 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 float f = 3.1400001F;
-unsigned int main() {
+int main() {
     unsigned int var0;
     double var1;
     double var2;

nested_while.bc

--- /dev/fd/63	2022-09-19 17:05:34.115532424 +0000
+++ /dev/fd/62	2022-09-19 17:05:34.115532424 +0000
@@ -1,10 +1,10 @@
-unsigned int main();
+int main();
 unsigned int atoi(void *arg0);
 unsigned int printf(void *arg0, ...);
-unsigned char _str[2] = "5\000";
-unsigned char _str_1[13] = "loop1 x: %d\n\000";
-unsigned char _str_2[13] = "loop2 x: %d\n\000";
-unsigned int main() {
+char _str[2] = "5\000";
+char _str_1[13] = "loop1 x: %d\n\000";
+char _str_2[13] = "loop2 x: %d\n\000";
+int main() {
     unsigned int var0;
     unsigned int var1;
     unsigned int call2;
@@ -18,14 +18,14 @@
                 printf("loop1 x: %d\n", var1);
             }
     }
-    if ((int)var1 <= 10 || (int)var1 >= 20) {
+    if ((int)var1 >= 20 || (int)var1 <= 10) {
         while ((int)var1 < 20)
             {
                 var1 = var1 + 1U;
                 printf("loop2 x: %d\n", var1);
             }
     }
-    if ((int)var1 >= 20 && ((int)var1 <= 10 || (int)var1 >= 20)) {
+    if (((int)var1 >= 20 || (int)var1 <= 10) && (int)var1 >= 20) {
         return var0;
     }
 }

zeroinit.bc

--- /dev/fd/63	2022-09-19 17:05:34.503532139 +0000
+++ /dev/fd/62	2022-09-19 17:05:34.503532139 +0000
@@ -1,11 +1,11 @@
-unsigned int main();
+int main();
 struct struct__pair {
     unsigned int field0;
     unsigned int field1;
 };
 struct struct__person {
     void *field0;
-    unsigned char field1;
+    char field1;
 };
 struct struct__record {
     unsigned int field0;
@@ -14,7 +14,7 @@
 };
 struct struct__record r1 = {};
 unsigned long a1[256] = {};
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     if (r1.field1.field0 == 0U) {

funcptr.bc

--- /dev/fd/63	2022-09-19 17:05:34.667532020 +0000
+++ /dev/fd/62	2022-09-19 17:05:34.667532020 +0000
@@ -1,6 +1,6 @@
 unsigned int add(unsigned int arg0, unsigned int arg1);
 unsigned int sub(unsigned int arg0, unsigned int arg1);
-unsigned int main();
+int main();
 unsigned int x = 0U;
 unsigned int add(unsigned int arg0, unsigned int arg1) {
     unsigned int var0;
@@ -16,7 +16,7 @@
     var1 = arg1;
     return var0 - var1;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     void *var1;
     unsigned int call2;

struct_swap.bc

--- /dev/fd/63	2022-09-19 17:05:34.783531935 +0000
+++ /dev/fd/62	2022-09-19 17:05:34.787531931 +0000
@@ -1,10 +1,10 @@
-unsigned int main();
+int main();
 struct struct__pair {
     unsigned int field0;
     unsigned int field1;
 };
 struct struct__pair a = {0U, 42U};
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

branch.bc

--- /dev/fd/63	2022-09-19 17:05:34.843531890 +0000
+++ /dev/fd/62	2022-09-19 17:05:34.843531890 +0000
@@ -1,13 +1,13 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
 unsigned int a = 0U;
 unsigned int c = 1U;
-unsigned char _str[39] = "Global variable 'a' of value %u is at \000";
-unsigned char _str_1[6] = "even \000";
-unsigned char _str_2[5] = "odd \000";
-unsigned char _str_3[39] = "Global variable 'c' of value %u is at \000";
-unsigned char _str_4[10] = "address.\n\000";
-unsigned int main() {
+char _str[39] = "Global variable 'a' of value %u is at \000";
+char _str_1[6] = "even \000";
+char _str_2[5] = "odd \000";
+char _str_3[39] = "Global variable 'c' of value %u is at \000";
+char _str_4[10] = "address.\n\000";
+int main() {
     unsigned int var0;
     unsigned long var1;
     unsigned long var2;

vectors.bc

--- /dev/fd/63	2022-09-19 17:05:35.211531622 +0000
+++ /dev/fd/62	2022-09-19 17:05:35.211531622 +0000
@@ -1,7 +1,7 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[17] = "a=[%d %d %d %d]\n\000";
-unsigned int main() {
+char _str[17] = "a=[%d %d %d %d]\n\000";
+int main() {
     unsigned int var0;
     __attribute__((__vector_size__(4 * sizeof(unsigned int)))) unsigned int var1;
     __attribute__((__vector_size__(4 * sizeof(unsigned int)))) unsigned int var2;

issue_4.bc

--- /dev/fd/63	2022-09-19 17:05:35.267531581 +0000
+++ /dev/fd/62	2022-09-19 17:05:35.267531581 +0000
@@ -1,5 +1,5 @@
 unsigned int foo(unsigned int arg0, unsigned int arg1);
-unsigned int main();
+int main();
 unsigned int foo(unsigned int arg0, unsigned int arg1) {
     unsigned int var0;
     unsigned int var1;
@@ -17,7 +17,7 @@
         }
     return var2;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int call1;
     var0 = 0U;

conflicting_global.bc

--- /dev/fd/63	2022-09-19 17:05:35.431531462 +0000
+++ /dev/fd/62	2022-09-19 17:05:35.431531462 +0000
@@ -1,8 +1,8 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
 unsigned int a = 3U;
-unsigned char _str[4] = "%d\n\000";
-unsigned int main() {
+char _str[4] = "%d\n\000";
+int main() {
     unsigned int var0;
     var0 = 4U;
     printf("%d\n", var0);

issue_123_uint128_t.bc

--- /dev/fd/63	2022-09-19 17:05:35.483531424 +0000
+++ /dev/fd/62	2022-09-19 17:05:35.483531424 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned long x = 3735928559UL;
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned __int128 var1;
     var0 = 0U;

fizzbuzz_stateful.bc

--- /dev/fd/63	2022-09-19 17:05:35.539531384 +0000
+++ /dev/fd/62	2022-09-19 17:05:35.539531384 +0000
@@ -1,11 +1,11 @@
 void fizzbuzz();
 unsigned int printf(void *arg0, ...);
-unsigned int main();
+int main();
 unsigned int i = 0U;
-unsigned char _str[5] = "fizz\000";
-unsigned char _str_1[5] = "buzz\000";
-unsigned char _str_2[3] = "%d\000";
-unsigned char _str_3[2] = "\n\000";
+char _str[5] = "fizz\000";
+char _str_1[5] = "buzz\000";
+char _str_2[3] = "%d\000";
+char _str_3[2] = "\n\000";
 void fizzbuzz() {
     unsigned int var0;
     var0 = i;
@@ -24,7 +24,7 @@
     i = var0;
     return;
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     i = 1U;

issue_94_strncmp.bc

--- /dev/fd/63	2022-09-19 17:05:35.903531120 +0000
+++ /dev/fd/62	2022-09-19 17:05:35.903531120 +0000
@@ -1,16 +1,16 @@
-unsigned int main();
+int main();
 void *strcpy(void *arg0, void *arg1);
 unsigned int strncmp(void *arg0, void *arg1, unsigned long arg2);
 unsigned int printf(void *arg0, ...);
-unsigned char _str[6] = "hello\000";
-unsigned char _str_1[12] = "helLO WORLD\000";
-unsigned char _str_2[70] = "ASCII value of first unmatched character of str1 is greater than str2\000";
-unsigned char _str_3[67] = "ASCII value of first unmatched character of str1 is less than str2\000";
-unsigned char _str_4[41] = "Both the strings str1 and str2 are equal\000";
-unsigned int main() {
+char _str[6] = "hello\000";
+char _str_1[12] = "helLO WORLD\000";
+char _str_2[70] = "ASCII value of first unmatched character of str1 is greater than str2\000";
+char _str_3[67] = "ASCII value of first unmatched character of str1 is less than str2\000";
+char _str_4[41] = "Both the strings str1 and str2 are equal\000";
+int main() {
     unsigned int var0;
-    unsigned char var1[20];
-    unsigned char var2[20];
+    char var1[20];
+    char var2[20];
     unsigned int call3;
     unsigned int call4;
     var0 = 0U;

bool.bc

--- /dev/fd/63	2022-09-19 17:05:36.103530976 +0000
+++ /dev/fd/62	2022-09-19 17:05:36.103530976 +0000
@@ -1,7 +1,7 @@
-unsigned int main();
+int main();
 unsigned long a = 0UL;
 unsigned long b = 1UL;
-unsigned int main() {
+int main() {
     unsigned int var0;
     var0 = 0U;
     if ((unsigned int)(a == b) != 0U) {

zext.bc

--- /dev/fd/63	2022-09-19 17:05:36.215530896 +0000
+++ /dev/fd/62	2022-09-19 17:05:36.215530896 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
-unsigned char a = (unsigned char)1U;
-unsigned int main() {
+int main();
+char a = (unsigned char)1U;
+int main() {
     unsigned int var0;
     var0 = 0U;
     return (unsigned int)a;

byval_struct.bc

--- /dev/fd/63	2022-09-19 17:05:36.267530859 +0000
+++ /dev/fd/62	2022-09-19 17:05:36.267530859 +0000
@@ -5,20 +5,20 @@
     unsigned long field3;
 };
 unsigned long get_3x(struct struct_foo arg0);
-unsigned int main();
+int main();
 unsigned int atoi(void *arg0);
 unsigned int printf(void *arg0, ...);
-unsigned char _str[2] = "1\000";
-unsigned char _str_1[2] = "2\000";
-unsigned char _str_2[2] = "3\000";
-unsigned char _str_3[2] = "4\000";
-unsigned char _str_4[11] = "%lld %lld\n\000";
+char _str[2] = "1\000";
+char _str_1[2] = "2\000";
+char _str_2[2] = "3\000";
+char _str_3[2] = "4\000";
+char _str_4[11] = "%lld %lld\n\000";
 unsigned long get_3x(struct struct_foo arg0) {
     void *arg0_ptr = &arg0;
     ((struct struct_foo *)arg0_ptr)->field0 = ((struct struct_foo *)arg0_ptr)->field0 * 3UL;
     return ((struct struct_foo *)arg0_ptr)->field0;
 }
-unsigned int main() {
+int main() {
     struct struct_foo var0;
     unsigned long var1;
     unsigned int call2;

func_cond_two_arg.bc

--- /dev/fd/63	2022-09-19 17:05:36.331530813 +0000
+++ /dev/fd/62	2022-09-19 17:05:36.331530813 +0000
@@ -1,5 +1,5 @@
 unsigned int f(unsigned int arg0, unsigned int arg1);
-unsigned int main();
+int main();
 unsigned int x = 0U;
 unsigned int y = 1U;
 unsigned int f(unsigned int arg0, unsigned int arg1) {
@@ -9,7 +9,7 @@
     var1 = arg1;
     return (unsigned int)((int)var0 < (int)var1);
 }
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int call1;
     var0 = 0U;

inttoptr.bc

--- /dev/fd/63	2022-09-19 17:05:36.447530730 +0000
+++ /dev/fd/62	2022-09-19 17:05:36.447530730 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned long a = 3735928559UL;
-unsigned int main() {
+int main() {
     unsigned int var0;
     void *var1;
     var0 = 0U;

assert.bc

--- /dev/fd/63	2022-09-19 17:05:36.559530650 +0000
+++ /dev/fd/62	2022-09-19 17:05:36.559530650 +0000
@@ -1,12 +1,12 @@
-unsigned int main();
+int main();
 void __assert_fail(void *arg0, void *arg1, unsigned int arg2, void *arg3);
 unsigned long a = 1UL;
-unsigned char _str[6] = "a % 3\000";
-unsigned char _str_1[9] = "assert.c\000";
-unsigned char __PRETTY_FUNCTION___main[15] = "int main(void)\000";
-unsigned char _str_2[6] = "a % 7\000";
-unsigned char _str_3[7] = "a % 15\000";
-unsigned int main() {
+char _str[6] = "a % 3\000";
+char _str_1[9] = "assert.c\000";
+char __PRETTY_FUNCTION___main[15] = "int main(void)\000";
+char _str_2[6] = "a % 7\000";
+char _str_3[7] = "a % 15\000";
+int main() {
     unsigned int var0;
     var0 = 0U;
     if (a % 3UL == 0UL) {

loop.bc

--- /dev/fd/63	2022-09-19 17:05:36.771530498 +0000
+++ /dev/fd/62	2022-09-19 17:05:36.771530498 +0000
@@ -1,9 +1,9 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
-unsigned char _str[19] = "Variable at %d is \000";
-unsigned char _str_1[7] = "even.\n\000";
-unsigned char _str_2[6] = "odd.\n\000";
-unsigned int main() {
+char _str[19] = "Variable at %d is \000";
+char _str_1[7] = "even.\n\000";
+char _str_2[6] = "odd.\n\000";
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

switch.bc

--- /dev/fd/63	2022-09-19 17:05:37.023530318 +0000
+++ /dev/fd/62	2022-09-19 17:05:37.023530318 +0000
@@ -1,6 +1,6 @@
-unsigned int main();
+int main();
 unsigned int a = 12U;
-unsigned int main() {
+int main() {
     unsigned int var0;
     unsigned int var1;
     var0 = 0U;

template_parameter_pack.bc

--- /dev/fd/63	2022-09-19 17:05:37.163530218 +0000
+++ /dev/fd/62	2022-09-19 17:05:37.163530218 +0000
@@ -1,11 +1,11 @@
-unsigned int main();
+int main();
 unsigned int printf(void *arg0, ...);
 unsigned int _Z3sumIiJiiiiEET_S0_DpT0_(unsigned int arg0, unsigned int arg1, unsigned int arg2, unsigned int arg3, unsigned int arg4);
 unsigned int _Z3sumIiJiiiEET_S0_DpT0_(unsigned int arg0, unsigned int arg1, unsigned int arg2, unsigned int arg3);
 unsigned int _Z3sumIiJiiEET_S0_DpT0_(unsigned int arg0, unsigned int arg1, unsigned int arg2);
 unsigned int _Z3sumIiET_S0_S0_(unsigned int arg0, unsigned int arg1);
-unsigned char _str[4] = "%d\n\000";
-unsigned int main() {
+char _str[4] = "%d\n\000";
+int main() {
     unsigned int call0;
     call0 = _Z3sumIiJiiiiEET_S0_DpT0_(1U, 2U, 3U, 4U, 5U);
     printf("%d\n", call0);

byval_tail_gep.ll

byval_tail_nogep.ll

frabert added 2 commits September 19, 2022 16:24

Use char instead of signed/unsigned variants

f845323

Use special signature for main

5c1b369

frabert added 2 commits September 19, 2022 17:50

Remove unused variable

d9351ad

Recognize strings referenced without GEP

f08696f

frabert mentioned this pull request Sep 22, 2022

Type providers #304

Merged

frabert closed this Sep 22, 2022

Use a special signature for main, no signed/unsigned chars #302

Use a special signature for main, no signed/unsigned chars #302

Conversation

frabert commented Sep 19, 2022

github-actions bot commented Sep 19, 2022

fizzbuzz.bc

typedefs_of_typedefs.bc

switch_loop.bc

func_cond_zero_arg.bc

fcmp.bc

conflicting_names.bc

struct.bc

issue_183_literal_structs.bc

issue_127_uint128_t_lit.bc

global_using_function_decl.bc

short.bc

init_list.bc

reg_test_structure_fields.bc

ret0.bc

goto_loop.bc

trunc.bc

bitops.bc

cast.bc

nullptr.bc

nested_struct.bc

array_swap.bc

bitmask.bc

binops.bc

float.bc

nested_while.bc

zeroinit.bc

funcptr.bc

struct_swap.bc

branch.bc

vectors.bc

issue_4.bc

conflicting_global.bc

issue_123_uint128_t.bc

fizzbuzz_stateful.bc

issue_94_strncmp.bc

bool.bc

zext.bc

byval_struct.bc

func_cond_two_arg.bc

inttoptr.bc

assert.bc

loop.bc

switch.bc

template_parameter_pack.bc

byval_tail_gep.ll

byval_tail_nogep.ll

github-actions bot commented Sep 19, 2022

fizzbuzz.bc

typedefs_of_typedefs.bc

switch_loop.bc

func_cond_zero_arg.bc

fcmp.bc

conflicting_names.bc

struct.bc

issue_183_literal_structs.bc

issue_127_uint128_t_lit.bc

global_using_function_decl.bc

short.bc

init_list.bc

reg_test_structure_fields.bc

ret0.bc

goto_loop.bc

trunc.bc

bitops.bc

cast.bc

nullptr.bc

nested_struct.bc

array_swap.bc

bitmask.bc

binops.bc

float.bc

nested_while.bc

zeroinit.bc

funcptr.bc

struct_swap.bc

Use a special signature for `main`, no signed/unsigned `char`s #302

Use a special signature for `main`, no signed/unsigned `char`s #302