analyzer: bulletproof -Wanalyzer-file-leak [PR101547]
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 21 Jul 2021 23:19:31 +0000 (19:19 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 21 Jul 2021 23:19:31 +0000 (19:19 -0400)
commit893b12cc12877aca1c9df6272123b26eddf12722
treef3b93e8f957753d35dc1fa1f0fa827ad108c2bfc
parent87bd75cd49aac68e90bd9b6b5e14582d6e0ccafa
analyzer: bulletproof -Wanalyzer-file-leak [PR101547]

gcc/analyzer/ChangeLog:
PR analyzer/101547
* sm-file.cc (file_leak::emit): Handle m_arg being NULL.
(file_leak::describe_final_event): Handle ev.m_expr being NULL.

gcc/testsuite/ChangeLog:
PR analyzer/101547
* gcc.dg/analyzer/pr101547.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/sm-file.cc
gcc/testsuite/gcc.dg/analyzer/pr101547.c [new file with mode: 0644]