tree 1223358671a822f2ad720636aa33aa64d606d874
parent 53bb2a11c23b774f096701bab759c6ab9ec52ea1
author Jan Zarsky <jzarsky@redhat.com> 1503654407 +0200
committer James Carter <jwcart2@tycho.nsa.gov> 1503949813 -0400

libsepol: reset pointer after free

In cil_strpool_destroy(), cil_strpool_tab is freed but it is not reset to NULL.
When cil_strpool_init() is called again it assumes that cil_strpool_tab was
already initialized. Other functions then work with invalid data.

Signed-off-by: Jan Zarsky <jzarsky@redhat.com>