14 if (s1 !=
NULL && s2 !=
NULL && s1max <= RSIZE_MAX && n <= RSIZE_MAX && s1max != 0)
18 if (--s1max == 0 || dest++ == s2)
20 goto runtime_constraint_violation;
32 if (s1max-- == 0 || dest == s2 || src == s1)
34 goto runtime_constraint_violation;
36 }
while ((*dest++ = *src++));
41runtime_constraint_violation:
43 if (s1 !=
NULL && s1max > 0 && s1max <= RSIZE_MAX)