]> git.ipfire.org Git - thirdparty/gcc.git/commit
analyzer: detect and analyze virtual function calls
authorAnkur Saini <arsenic@sourceware.org>
Sun, 15 Aug 2021 13:49:07 +0000 (19:19 +0530)
committerAnkur Saini <arsenic@sourceware.org>
Wed, 18 Aug 2021 17:40:31 +0000 (23:10 +0530)
commit1b34248527472496ca3fe2a07183beac8cf69041
tree1db91dcc90b960c5c65ab77c87625a0be9c42292
parentaef703cf982072427e74034f4c460a11c5e04b8e
analyzer: detect and analyze virtual function calls

2021-08-15  Ankur Saini  <arsenic@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.
gcc/analyzer/region-model.cc
gcc/testsuite/g++.dg/analyzer/vfunc-2.C [new file with mode: 0644]
gcc/testsuite/g++.dg/analyzer/vfunc-3.C [new file with mode: 0644]
gcc/testsuite/g++.dg/analyzer/vfunc-4.C [new file with mode: 0644]
gcc/testsuite/g++.dg/analyzer/vfunc-5.C [new file with mode: 0644]