Project

General

Profile

Bug #1080 » 0001-fix_value_excess_of_max_int32t.patch

patch - Felix Bolte, 08 Jun 2015 16:41

View differences:

src/tags.cpp (working copy)
2567 2567
            os << "0 EV";
2568 2568
        }
2569 2569
        else {
2570
            int32_t d = gcd(bias.first, bias.second);
2571
            int32_t num = std::abs(bias.first) / d;
2570
            int32_t d = std::abs(gcd(bias.first, bias.second));
2571
            int32_t num = bias.first / d;
2572 2572
            int32_t den = bias.second / d;
2573
            os << (bias.first < 0 ? "-" : "+") << num;
2573
            if (num > 0) {
2574
                os << "+";
2575
            }
2576
            os << num;
2574 2577
            if (den != 1) {
2575 2578
                os << "/" << den;
2576 2579
            }
(2-2/5)