14 if (s1 !=
NULL && s2 !=
NULL && s1max <= RSIZE_MAX && n <= RSIZE_MAX && s1max != 0)
18 if (dest == s2 || src == s1)
20 goto runtime_constraint_violation;
23 if (n-- == 0 || (*dest++ = *src++) ==
'\0')
30runtime_constraint_violation:
32 if (s1 !=
NULL && s1max > 0 && s1max <= RSIZE_MAX)