Bug #78288 [Ver]: GCOV not working for PHP-7.4 and master branches

From: Date: Mon, 29 Jul 2019 10:26:06 +0000
Subject: Bug #78288 [Ver]: GCOV not working for PHP-7.4 and master branches
References: 1  Groups: php.webmaster 
Request: Send a blank email to php-webmaster+get-28251@lists.php.net to get a copy of this message
Edit report at https://bugs.php.net/bug.php?id=78288&edit=1 ID: 78288 Updated by: nikic@php.net Reported by: carusogabriel@php.net Summary: GCOV not working for PHP-7.4 and master branches Status: Verified Type: Bug Package: Website problem PHP Version: Irrelevant Assigned To: krakjoe Block user comment: N Private report: N New Comment: I believe most functions of gcov.php.net have been subsumed by our CI at this point. We may want to consider setting up a coverage job on Azure and discontinue this server. Previous Comments: ------------------------------------------------------------------------ [2019-07-15 21:47:01] nlopess@php.net @krakjoe took over maintenance of the gcov server ------------------------------------------------------------------------ [2019-07-15 08:55:12] cmb@php.net Nuno, could you please have a look at this? ------------------------------------------------------------------------ [2019-07-13 21:42:26] carusogabriel@php.net Description: ------------ For a while, http://gcov.php.net has not been working for the branches PHP-7.4 and master. My guess is the rename of options to enable/disable extensions, e.g. https://github.com/php/php-src/blob/f573ba1948/UPGRADING.INTERNALS#L233. Test script: --------------- Access http://gcov.php.net/viewer.php?version=PHP_7_4 and see reports just like http://gcov.php.net/viewer.php?version=PHP_7_3, for e.g. Expected result: ---------------- Report on the current tested code. Actual result: -------------- Broken page, which leads us to http://gcov.php.net/viewer.php?version=PHP_7_4&func=compile_results, that contains no debug information. ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=78288&edit=1

« previous php.webmaster (#28251) next »