UB program gets wrongly converted

[trufae]

This program should not even compile, but i tried it for fun because gcc/clang show 0 warnings with -Wall to see how c2v behaved with this code and resulted in some interesting bugs in the transpiler:

int
main ()
{
  char r = -1;
  unsigned s = r;
  unsigned t = (unsigned char)r;
  if (s != -1)
    return 2;
  if (t != 255)
    return 1;
  return 0;
}

is translated to:

[translated]
module main

fn main() {
	r := -1
	s := r
	t := u8(r)
	if s != -1 {
		return
	}
	if t != 255 {
		return
	}
	return
}

Note:

• No "return" values
• Missing type/sign casts