При компиляции следующего с флагом строгого переполнения он говорит мне, во 2-м тесте, что r может быть не тем, что я думаю:

    int32_t r(my_rand());
    if(r < 0) {
        r = -r;
        if(r < 0) {   // <-- error on this line
            r = 0;
        }
    }

Ошибка:

/build/buildd/libqtcassandra-0.5.5/tests/cassandra_value.cpp:
     In function 'int main(int, char**)':
/build/buildd/libqtcassandra-0.5.5/tests/cassandra_value.cpp:2341:13:
     error: assuming signed overflow does not occur when simplifying
     conditional to constant [-Werror=strict-overflow]
         if(r < 0) {
         ^

Чего я не понимаю, так это почему бы не сгенерировать ошибку на линии до этого? Потому что на самом деле переполнение происходит, когда я делаю это, верно?

    r = -r;