diff options
-rw-r--r-- | ext/standard/filestat.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ext/standard/filestat.c b/ext/standard/filestat.c index d5d249b6ab..e184a30efd 100644 --- a/ext/standard/filestat.c +++ b/ext/standard/filestat.c @@ -571,7 +571,7 @@ static void php_stat(const char *filename, php_stat_len filename_length, int typ #ifndef PHP_WIN32 #ifdef VIRTUAL_DIR - do { + { char *tmpname; if (virtual_filepath(filename, &tmpname TSRMLS_CC)) { @@ -580,7 +580,7 @@ static void php_stat(const char *filename, php_stat_len filename_length, int typ } filename = tmpname; - } while (0); + } #endif switch (type) { |