On: Of Aviation Crashes and Software Bugs (2008)

[rurban]

And the overflow check is now finally cheap in portable C. Before you had to use inline assembly for this trivial ex:

    add %rax, %rbx
    jo +4

Now you have the new gcc and clang overflow intrinsics (gcc-5, clang-3.4), which made it cheap and easy to use proper and precise int arithmetic, promoting int to bigint's only on overflow.