...
This compliant solution does not depended upon depend on undefined behavior since because it generates code to test for overflow in the assertion.
...
...
This compliant solution does not depended upon depend on undefined behavior since because it generates code to test for overflow in the assertion.
...