session_decode is marked as unused, despite it's point is to populate superglobal variable

[ostrolucky]

https://psalm.dev/r/1cad65d7fa

From https://www.php.net/manual/en/function.session-decode.php:

session_decode() decodes the serialized session data provided in $data, and populates the $_SESSION superglobal with the result. 

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/1cad65d7fa

<?php

function takesAnInt(string $foo): void {
    session_decode($foo);
}

Psalm output (using commit 211f014):

ERROR: UnusedFunctionCall - 4:5 - The call to session_decode is not used