5661efd459
A failed tunable resolution in a tunableif can cause an optional to be disabled before the CIL_PASS_CALL1 phase. If this occurs, the optional block and its subtree should be destroyed, but no reset will be required since tunables are not allowed inside an optional block. Anytime there are optional blocks in the disabled_optionals list (changed == 1), destroy the optional block and its subtree even if in a pass before CIL_PASS_CALL1. This bug was found by the secilc-fuzzer. Signed-off-by: James Carter <jwcart2@gmail.com> |
||
---|---|---|
.. | ||
include/cil | ||
src | ||
test | ||
.gitignore |