Silence a empty while loop warning

diff --git a/main/streams/streams.c b/main/streams/streams.c
index 16149fbc924235d7eb53413ad17405b4b6a99012..c47fe0d9401eed568896416bc5cbd51571c5fb72 100644 (file)
--- 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