xref: /PHP-8.2/ext/session/tests/bug73100.phpt (revision 74859783)
1--TEST--
2Bug #73100 (session_destroy null dereference in ps_files_path_create)
3--EXTENSIONS--
4session
5--INI--
6session.save_path=
7session.save_handler=files
8--FILE--
9<?php
10ob_start();
11var_dump(session_start());
12session_module_name("user");
13var_dump(session_destroy());
14
15try {
16    session_module_name("user");
17} catch (\ValueError $e) {
18    echo $e->getMessage() . \PHP_EOL;
19}
20?>
21===DONE===
22--EXPECTF--
23bool(true)
24
25Warning: session_module_name(): Session save handler module cannot be changed when a session is active in %s on line %d
26bool(true)
27session_module_name(): Argument #1 ($module) cannot be "user"
28===DONE===
29