Fix vimeo#3572

session_decode has side effects
weirdan · Jun 12, 2020 · d43052b · d43052b
1 parent 211f014
commit d43052b
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/Psalm/Internal/Codebase/Functions.php b/src/Psalm/Internal/Codebase/Functions.php
@@ -364,8 +364,9 @@ public function isCallMapFunctionPure(
             'openlog', 'syslog', 'error_log', 'define_syslog_variables',
 
             // session
-            'session_id', 'session_name', 'session_set_cookie_params', 'session_set_save_handler',
-            'session_regenerate_id', 'mb_internal_encoding', 'session_start',
+            'session_id', 'session_decode', 'session_name', 'session_set_cookie_params', 
+            'session_set_save_handler', 'session_regenerate_id', 'mb_internal_encoding', 
+            'session_start',
 
             // ldap
             'ldap_set_option',