Add critical unspecified behavior for signed integer overflow

Add critical unspecified behavior for signed integer overflow #3739