]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/analyzer/program-state.h
analyzer: fix member call on null seen with ubsan [PR97178]
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 23 Sep 2020 15:18:43 +0000 (11:18 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 23 Sep 2020 17:27:48 +0000 (13:27 -0400)
commitf65ebb5210e2fded0f7b339219685f4480124f0c
treecd10f995a2f072130320123fb13ec6015bc7bc3a
parent65c9878641cbe0ed898aa7047b7b994e9d4a5bb1
analyzer: fix member call on null seen with ubsan [PR97178]

gcc/analyzer/ChangeLog:
PR analyzer/97178
* engine.cc (impl_run_checkers): Update for change to ext_state
ctor.
* program-state.cc (selftest::test_sm_state_map): Pass an engine
instance to ext_state ctor.
(selftest::test_program_state_1): Likewise.
(selftest::test_program_state_2): Likewise.
(selftest::test_program_state_merging): Likewise.
(selftest::test_program_state_merging_2): Likewise.
* program-state.h (extrinsic_state::extrinsic_state): Remove NULL
default value for "eng" param.
gcc/analyzer/engine.cc
gcc/analyzer/program-state.cc
gcc/analyzer/program-state.h