if (datum_len + extra_len < datum_len)
out_of_memory("receive_xattr"); /* overflow */
-#endif
if (name_len + datum_len + extra_len < name_len)
out_of_memory("receive_xattr"); /* overflow */
ptr = new_array(char, name_len + datum_len + extra_len);
if (datum_len + extra_len < datum_len)
out_of_memory("receive_xattr"); /* overflow */
-#endif
if (name_len + datum_len + extra_len < name_len)
out_of_memory("receive_xattr"); /* overflow */
ptr = new_array(char, name_len + datum_len + extra_len);