diff --git a/main/streams/streams.c b/main/streams/streams.c index 16149fbc92423..c47fe0d9401ee 100644 --- a/main/streams/streams.c +++ b/main/streams/streams.c @@ -1829,7 +1829,9 @@ PHPAPI php_stream_wrapper *php_stream_locate_url_wrapper(const char *path, const if (localhost == 1) { (*path_for_open) += 11; } - while (*(++*path_for_open)=='/'); + while (*(++*path_for_open)=='/') { + /* intentionally empty */ + } #ifdef PHP_WIN32 if (*(*path_for_open + 1) != ':') #endif