"Unreachable code" is reachable

jorrit

I looked like a hundred times to my code, but it seems to me that the claimed problem is not true, right?

The problem stays, also after restarting or changing the code.

JakubMisek

Thank you Jorrit! Yes, this is definitely a bug.

jorrit

In the same source file more weird stuff is going on:

It states the $leerling variable is unused, while on the next line it is used.

If you would like to have the full source file, please send me an email.

Thanks!

JakubMisek

~~Do you have a complete sample code? We've tried the code above but we're not getting the warning.~~

Thank you

JakubMisek

We're preparing the pre-release 1.23.11346 with the fixes! Thank you Jorrit

aOjedaSpmgm

Hello. I've got an example of something very similar. Im using DevSense v1.45.15192 inside a Docker container using php:7.4-fpm, with DevContainers v0.348, running VSCode (v1.87), on a ubuntu 22.04 machine. My code snippet is very simple:

I have commented out the original condition to highlight that this always happens, no matter the condition being evaluated.

JakubMisek

aOjedaSpmgm Thank you for reporting the issue - I'll try to repro the issue and fix it asap.

JakubMisek

aOjedaSpmgm Isn't there anything else in the code? The following is not giving me the warning:

class Test
{
    public function foo($x)
    {
        if (2 + 2 === 3) {
            throw new Exception("");
        }

        $this->x = $x;
    }
}