[analyzer] Add support for CXXInheritedCtorInitExpr.
authorArtem Dergachev <artem.dergachev@gmail.com>
Mon, 17 Feb 2020 18:42:50 +0000 (21:42 +0300)
committerArtem Dergachev <artem.dergachev@gmail.com>
Tue, 25 Feb 2020 15:37:23 +0000 (18:37 +0300)
commita82ffe9d93a24abf30bcf63081096ea18baf78dc
tree140102706c41aeebc3bd7ebe1ecc2356deb914ed
parentdeb116ee0a5b80f61bc341ed68606dc5ad093569
[analyzer] Add support for CXXInheritedCtorInitExpr.

So far we've been dropping coverage every time we've encountered
a CXXInheritedCtorInitExpr. This patch attempts to add some
initial support for it.

Constructors for arguments of a CXXInheritedCtorInitExpr are still
not fully supported.

Differential Revision: https://reviews.llvm.org/D74735
12 files changed:
clang/include/clang/Analysis/AnyCall.h
clang/include/clang/Analysis/ConstructionContext.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
clang/lib/Analysis/RetainSummaryManager.cpp
clang/lib/StaticAnalyzer/Core/CallEvent.cpp
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
clang/lib/StaticAnalyzer/Core/SymbolManager.cpp
clang/test/Analysis/cxx-inherited-ctor-init-expr.cpp [new file with mode: 0644]
clang/test/Analysis/osobject-retain-release.cpp