diff --git a/ext/readline/readline_cli.c b/ext/readline/readline_cli.c
index 9f42b33596c0..3b2a08a15843 100644
--- a/ext/readline/readline_cli.c
+++ b/ext/readline/readline_cli.c
@@ -660,6 +660,7 @@ static int readline_shell_run(void) /* {{{ */
 				zend_string_release_ex(prompt, 0);
 				/* TODO: This might be wrong! */
 				prompt = cli_get_prompt("php", '>');
+				free(line);
 				continue;
 			}
 		}
diff --git a/ext/readline/tests/readline_cli_ini_directive.phpt b/ext/readline/tests/readline_cli_ini_directive.phpt
new file mode 100644
index 000000000000..ebf4ac10a281
--- /dev/null
+++ b/ext/readline/tests/readline_cli_ini_directive.phpt
@@ -0,0 +1,21 @@
+--TEST--
+Interactive shell: setting an INI directive via #name=value
+--EXTENSIONS--
+readline
+--SKIPIF--
+<?php
+if (!function_exists('proc_open')) die('skip proc_open() not available');
+?>
+--FILE--
+<?php
+$php = getenv('TEST_PHP_EXECUTABLE');
+$ini = getenv('TEST_PHP_EXTRA_ARGS');
+$descriptorspec = [['pipe', 'r'], STDOUT, STDERR];
+$proc = proc_open("$php $ini -a", $descriptorspec, $pipes);
+fwrite($pipes[0], "#precision=5\n");
+fwrite($pipes[0], "echo 'INI[' . ini_get('precision') . ']';\n");
+fclose($pipes[0]);
+proc_close($proc);
+?>
+--EXPECTF--
+%AINI[5]%A