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