[Bug analyzer/97178] gcc/analyzer/program-state.cc:575:54: runtime error: member call on null pointer of type 'struct engine'

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97178

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:f65ebb5210e2fded0f7b339219685f4480124f0c

commit r11-3403-gf65ebb5210e2fded0f7b339219685f4480124f0c
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Sep 23 11:18:43 2020 -0400

    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.