Bug #78679 [NEW]: Case lines are not covered

From: Date: Thu, 17 Oct 2019 14:22:18 +0000
Subject: Bug #78679 [NEW]: Case lines are not covered
Groups: php.bugs 
Request: Send a blank email to php-bugs+get-223223@lists.php.net to get a copy of this message
From:             jking at jkingweb dot ca
Operating system: Linux
PHP version:      7.3.10
Package:          phpdbg
Bug Type:         Bug
Bug description:Case lines are not covered

Description:
------------
The accompanying test script would previously (prior to PHP 7.2) output
coverage for all lines except 1 and 6. Now line 4 is also not covered.
Xdebug considered this behaviour a bug and fixed it (see
https://bugs.xdebug.org/view.php?id=1509) for
Xdebug.

Test script:
---------------
<?php
phpdbg_start_oplog();
switch (true) {
    case true:
        break;
}
var_dump(phpdbg_get_executable());

Expected result:
----------------
array (
  'test.php' => 
  array (
    2 => 0,
    3 => 0,
    4 => 0,
    5 => 0,
    7 => 0,
  ),
)

Actual result:
--------------
array (
  'test.php' => 
  array (
    2 => 0,
    3 => 0,
    5 => 0,
    7 => 0,
  ),
)

-- 
Edit bug report at https://bugs.php.net/bug.php?id=78679&edit=1
-- 
Fix committed:                    https://bugs.php.net/fix.php?id=78679&r=fixed
Fixed in release:                 https://bugs.php.net/fix.php?id=78679&r=alreadyfixed
Need backtrace:                   https://bugs.php.net/fix.php?id=78679&r=needtrace
Need Reproduce Script:            https://bugs.php.net/fix.php?id=78679&r=needscript
Try newer version:                https://bugs.php.net/fix.php?id=78679&r=oldversion
Not developer issue:              https://bugs.php.net/fix.php?id=78679&r=support
Expected behavior:                https://bugs.php.net/fix.php?id=78679&r=notwrong
Not enough info:                  https://bugs.php.net/fix.php?id=78679&r=notenoughinfo
Submitted twice:                  https://bugs.php.net/fix.php?id=78679&r=submittedtwice
register_globals:                 https://bugs.php.net/fix.php?id=78679&r=globals
PHP version support discontinued: https://bugs.php.net/fix.php?id=78679&r=phptooold
Daylight Savings:                 https://bugs.php.net/fix.php?id=78679&r=dst
IIS Stability:                    https://bugs.php.net/fix.php?id=78679&r=isapi
Install GNU Sed:                  https://bugs.php.net/fix.php?id=78679&r=gnused
Floating point limitations:       https://bugs.php.net/fix.php?id=78679&r=float
No Zend Extensions:               https://bugs.php.net/fix.php?id=78679&r=nozend
MySQL Configuration Error:        https://bugs.php.net/fix.php?id=78679&r=mysqlcfg


Thread (3 messages)

« previous php.bugs (#223223) next »