On Sat, 24 Apr 2021, David Malcolm wrote:
> PR analyzer/100244 reports an ICE on a -Wanalyzer-free-of-non-heap
> due to a case where free_of_non_heap::describe_state_change can be
> passed a NULL change.m_expr for a suitably complicated symbolic value.
>
> Bulletproof it by checking for change.m_
PR analyzer/100244 reports an ICE on a -Wanalyzer-free-of-non-heap
due to a case where free_of_non_heap::describe_state_change can be
passed a NULL change.m_expr for a suitably complicated symbolic value.
Bulletproof it by checking for change.m_expr being NULL before
dereferencing it.
Successfull
