File tree Expand file tree Collapse file tree 1 file changed +6
-7
lines changed Expand file tree Collapse file tree 1 file changed +6
-7
lines changed Original file line number Diff line number Diff line change @@ -680,13 +680,12 @@ PHPAPI zend_string *php_get_uname(char mode)
680
680
} else if (mode == 'v' ) {
681
681
char * winver = php_get_windows_name ();
682
682
dwBuild = (DWORD )(HIWORD (dwVersion ));
683
- if (winver == NULL ) {
684
- return strpprintf (0 , "build %d" , dwBuild );
685
- } else {
686
- zend_string * build_with_version = strpprintf (0 , "build %d (%s)" , dwBuild , winver );
687
- efree (winver );
688
- return build_with_version ;
689
- }
683
+
684
+ ZEND_ASSERT (winver != NULL );
685
+
686
+ zend_string * build_with_version = strpprintf (0 , "build %d (%s)" , dwBuild , winver );
687
+ efree (winver );
688
+ return build_with_version ;
690
689
} else if (mode == 'm' ) {
691
690
php_get_windows_cpu (tmp_uname , sizeof (tmp_uname ));
692
691
php_uname = tmp_uname ;
You can’t perform that action at this time.
0 commit comments