tree 496730b89aabf920a47f25226c46fd7ded2c9aec
parent d7e58c5a812988c341ec4ad19f79faf067388d58
author Michael Brown <mcb30@ipxe.org> 1713435958 +0100
committer Michael Brown <mcb30@ipxe.org> 1713435958 +0100

[readline] Silence spurious null pointer dereference Coverity warning

Coverity reported a potential null pointer dereference in readline.c,
which was fixed in commit b01781a ("[hci] Fix semantics of
replace_string() to match code comments").  With the fix in place,
Coverity still reports a potential null pointer dereference, even
though this cannot now happen.

Add an assertion to inform Coverity that the allocated string cannot
be NULL after a successful call to replace_string().

Signed-off-by: Michael Brown <mcb30@ipxe.org>