Finish implementation of builtin overflow functions
There are several functions like
__builtin_uaddl_overflow that are defined by GCC and occur in some SV-COMP tasks (documentation). Because these functions have side effects via pointer arguments, not supporting them can produce unsound results.
The branch for this is 656-overflow-functions-value-analysis.
(This issue was split out from #656 for better tracking of open tasks.)