假设输入参数 m 和 n 满足 $m \le n$，则下面程序的最差情况的时间复杂度为（ ）。

int gcd(int m, int n) {
    while (m > 0) {
        int t = m;
        m = n % m;
        n = t;
    }
    return n;
}