ext/standard: Throw ValueError for empty paths in copy()

Author: arshidkv12

ext/standard/file.c

@@ -1439,15 +1439,15 @@ PHPAPI zend_result php_copy_file_ex(const char *src, const char *dest, int src_f
 /* }}} */
 
 /* {{{ php_copy_file_ctx */
-PHPAPI zend_result php_copy_file_ctx(const char *src, const char *dest, int src_flags, php_stream_context *ctx)
+ZEND_ATTRIBUTE_NONNULL_ARGS(1,2) PHPAPI zend_result php_copy_file_ctx(const char *src, const char *dest, int src_flags, php_stream_context *ctx)
 {
 	php_stream *srcstream = NULL, *deststream = NULL;
 	zend_result ret = FAILURE;
 	php_stream_statbuf src_s, dest_s;
 	int src_stat_flags = (src_flags & STREAM_DISABLE_OPEN_BASEDIR) ? PHP_STREAM_URL_STAT_IGNORE_OPEN_BASEDIR : 0;
 
 	if (!dest||!*dest) {
-		zend_argument_value_error(2, "cannot be empty");
+		zend_argument_must_not_be_empty_error(2);
 		return FAILURE;
 	}
 

ext/standard/file.h

@@ -38,7 +38,7 @@ PHP_MINIT_FUNCTION(user_streams);
 
 PHPAPI zend_result php_copy_file(const char *src, const char *dest);
 PHPAPI zend_result php_copy_file_ex(const char *src, const char *dest, int src_flags);
-PHPAPI zend_result php_copy_file_ctx(const char *src, const char *dest, int src_flags, php_stream_context *ctx);
+ZEND_ATTRIBUTE_NONNULL_ARGS(1,2) PHPAPI zend_result php_copy_file_ctx(const char *src, const char *dest, int src_flags, php_stream_context *ctx);
 PHPAPI void php_fstat(php_stream *stream, zval *return_value);
 PHPAPI void php_flock_common(php_stream *stream, zend_long operation, uint32_t operation_arg_num,
 	zval *wouldblock, zval *return_value);

ext/standard/tests/file/copy_empty_path.phpt

@@ -28,4 +28,4 @@ $dir = __DIR__;
 ?>
 --EXPECT--
 Path must not be empty
-copy(): Argument #2 ($to) cannot be empty
+copy(): Argument #2 ($to) must not be empty