Invalid PossiblyUndefinedVariable when try/catch/finally

[ArtemGoutsoul]

With this code

function func(string $name): void {
    try {
    }
    catch (Throwable $e) {
        if ($name === 'stuff') throw $e;
        echo $e->getCode();
    }
    finally {
    }
}

I get and error for line echo $e->getCode();:

INFO: PossiblyUndefinedVariable - 9:14 - Possibly undefined variable $e defined in try block

Funny thing, if I remove if ($name === 'stuff') throw $e; or if I remove finally, the error disappears...

Link: https://psalm.dev/r/e9822c86ed

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/e9822c86ed

<?php

function func(string $name): void {
    try {
    }
    catch (Throwable $e) {
        if ($name === 'stuff') throw $e;
        echo $e->getCode();
    }
    finally {
    }
}

Psalm output (using commit 7c339c1):

INFO: PossiblyUndefinedVariable - 8:14 - Possibly undefined variable $e defined in try block

[weirdan]

Not reproducible anymore: https://psalm.dev/r/e9822c86ed

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/e9822c86ed

<?php

function func(string $name): void {
    try {
    }
    catch (Throwable $e) {
        if ($name === 'stuff') throw $e;
        echo $e->getCode();
    }
    finally {
    }
}

Psalm output (using commit 7869cb5):

No issues!