Merge pull request #513 from tautschnig/busybox-fixes

Busybox fixes

c/busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.c

@@ -80,7 +80,7 @@ signed int __main(signed int argc, char **argv)
     }
     if(!(tmp_if_expr$2 == (_Bool)0))
     {
-      const unsigned char *__s2;
+      const char *__s2;
 
       __s2 = (const char *)argv[(signed long int)1];
       signed int __result;

c/busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i

@@ -1333,7 +1333,7 @@ signed int __main(signed int argc, char **argv)
     }
     if(!(tmp_if_expr$2 == (_Bool)0))
     {
-      const unsigned char *__s2;
+      const char *__s2;
       __s2 = (const char *)argv[(signed long int)1];
       signed int __result;
       __result = (signed int)((const char *)"--")[(signed long int)0] - (signed int)__s2[(signed long int)0];

c/busybox-1.22.0/basename_false-unreach-call_true-no-overflow_false-valid-deref.c → c/busybox-1.22.0/basename_false-valid-deref.c

@@ -80,7 +80,7 @@ signed int __main(signed int argc, char **argv)
     }
     if(!(tmp_if_expr$2 == (_Bool)0))
     {
-      const unsigned char *__s2;
+      const char *__s2;
 
       __s2 = (const char *)argv[(signed long int)1];
       signed int __result;

c/busybox-1.22.0/basename_false-unreach-call_true-no-overflow_false-valid-deref.i → c/busybox-1.22.0/basename_false-valid-deref.i

@@ -1333,7 +1333,7 @@ signed int __main(signed int argc, char **argv)
     }
     if(!(tmp_if_expr$2 == (_Bool)0))
     {
-      const unsigned char *__s2;
+      const char *__s2;
       __s2 = (const char *)argv[(signed long int)1];
       signed int __result;
       __result = (signed int)((const char *)"--")[(signed long int)0] - (signed int)__s2[(signed long int)0];

c/busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.c

@@ -659,7 +659,7 @@ signed int __main(signed int argc, char **argv)
       }
       if(!(tmp_if_expr$20 == (_Bool)0))
       {
-        const unsigned char *__s2 = (const char *)fmt_dt2str;
+        const char *__s2 = (const char *)fmt_dt2str;
         signed int __result;
 
         __result = (signed int)((const char *)"%f")[(signed long int)0] - (signed int)__s2[(signed long int)0];

c/busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i

@@ -2846,7 +2846,7 @@ signed int __main(signed int argc, char **argv)
       }
       if(!(tmp_if_expr$20 == (_Bool)0))
       {
-        const unsigned char *__s2 = (const char *)fmt_dt2str;
+        const char *__s2 = (const char *)fmt_dt2str;
         signed int __result;
         __result = (signed int)((const char *)"%f")[(signed long int)0] - (signed int)__s2[(signed long int)0];
         if(__s2_len > 0ul)

c/busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.c

@@ -97,7 +97,7 @@ static char * single_argv(char **argv)
     }
     if(!(tmp_if_expr$2 == (_Bool)0))
     {
-      const unsigned char *__s2 = (const char *)argv[(signed long int)1];
+      const char *__s2 = (const char *)argv[(signed long int)1];
       signed int __result = (signed int)((const char *)"--")[(signed long int)0] - (signed int)__s2[(signed long int)0];
       if(__s2_len > 0ul)
       {

c/busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i

@@ -1171,7 +1171,7 @@ static char * single_argv(char **argv)
     }
     if(!(tmp_if_expr$2 == (_Bool)0))
     {
-      const unsigned char *__s2 = (const char *)argv[(signed long int)1];
+      const char *__s2 = (const char *)argv[(signed long int)1];
       signed int __result = (signed int)((const char *)"--")[(signed long int)0] - (signed int)__s2[(signed long int)0];
       if(__s2_len > 0ul)
       {