Function safeMax

src/ast/ast_lint.cpp:175–178

        return a + b;
    }
    static int safeMax ( int a, int b ) {
        if ( a == kSuperUnbounded || b == kSuperUnbounded ) return kSuperUnbounded;
        return a > b ? a : b;
    }
    static void mergeExit ( SuperCount & out, int lo, int hi ) {
        if ( !out.hasExits ) { out.hasExits = true; out.exitLo = lo; out.exitHi = hi; }
        else { out.exitLo = (lo < out.exitLo) ? lo : out.exitLo; out.exitHi = safeMax(hi, out.exitHi); }