// { dg-do compile }
// { dg-options "-Os -fsanitize=signed-integer-overflow -fdump-tree-evrp" }

// Test that .UBSAN_CHECK_SUB(y, x) is treated as y-x for range
// purposes, where X and Y are related to each other.
//
// This effectively checks that range relationals work with builtins.

void unreachable();

int foobar(int x, int y)
{
  if (x < y)
    {
      int z = y - x;
      if (z == 0)
        unreachable();
      return z;
    }
  return 5;
}

// { dg-final { scan-tree-dump-not "unreachable" "evrp" } }