Сравнение unsigned int и int без использования оператора приведения

Сначала проверьте, является ли y отрицательным значением, а затем, зная это, вы знаете, что x всегда будет больше, поскольку оно беззнаковое.

Если y не является отрицательным, то сравните его значение непосредственно с x. Я не думаю, что это вызовет проблему, поскольку отрицательного знака нет.

См. приведенный ниже пример:

if(y<0)
{
    //x>y
    func1();
}
else if (y<x)
{
    //lets say y=3, and x=5
    func1();
}
else
{
    func2();
}

Вы можете записать условие в операторе if следующим образом

if( y < 0 || y<x)
   func1();
else
   func2();

Используйте более широкую целочисленную математику для сравнения. Приведение не используется, тип переменных не изменяется.
Оптимизированный компилятор не будет выполнять умножение, а только целочисленное расширение.
Вместо этого можно использовать * 1LL или + 0LL

int main(void) {
  long long ll = 1;
  unsigned int x = 5;
  int y = -3;
  // if (y < x)
  if (ll * y < ll * x)
    puts("func1();");
  else
    puts("func2();");
  return 0;
}

Output: func1();

long long обычно шире, чем int: См. Как определить целочисленные типы, которые в два раза шире, чем `int` и `unsigned`?

Попробуйте дополнить y (~y), получится 2

unsigned int x = 5; 
int y = -3;
if(~y<x)
   func1();
else
   func2();