Function safeAdd

src/ast/ast_lint.cpp:171–174

        static SuperCount dead     ()                  { return {false, 0, 0, false, 0, 0}; }
    };
    static int safeAdd ( int a, int b ) {
        if ( a == kSuperUnbounded || b == kSuperUnbounded ) return kSuperUnbounded;
        return a + b;
    }
    static int safeMax ( int a, int b ) {
        if ( a == kSuperUnbounded || b == kSuperUnbounded ) return kSuperUnbounded;
        return a > b ? a : b;