[Bug analyzer/97114] Support for vfuncs in -fanalyzer

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

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

https://gcc.gnu.org/g:1b34248527472496ca3fe2a07183beac8cf69041

commit r12-3003-g1b34248527472496ca3fe2a07183beac8cf69041
Author: Ankur Saini <arse...@sourceware.org>
Date:   Sun Aug 15 19:19:07 2021 +0530

    analyzer: detect and analyze virtual function calls

    2021-08-15  Ankur Saini  <arse...@sourceware.org>

    gcc/analyzer/ChangeLog:
            PR analyzer/97114
            * region-model.cc (region_model::get_rvalue_1): Add case for
            OBJ_TYPE_REF.

    gcc/testsuite/ChangeLog:
            PR analyzer/97114
            * g++.dg/analyzer/vfunc-2.C: New test.
            * g++.dg/analyzer/vfunc-3.C: New test.
            * g++.dg/analyzer/vfunc-4.C: New test.
            * g++.dg/analyzer/vfunc-5.C: New test.