projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49f646a) | patch
[clang][dataflow] Add support for noreturn destructor calls
authorStanislav Gatev <sgatev@google.com>
Mon, 20 Dec 2021 09:56:25 +0000 (09:56 +0000)
committerStanislav Gatev <sgatev@google.com>
Tue, 28 Dec 2021 07:04:39 +0000 (07:04 +0000)
commitb5c5d8912e07218e3a6a0f8d1d9f7b436046c5bc
tree74bbc05ddfa460f70e1d1c239039e66e7d5af13dtree | snapshot
parent49f646a9ede6301fd47a4b2ed19d0630fa90c7b4commit | diff
[clang][dataflow] Add support for noreturn destructor calls

This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed By: xazax.hun, gribozavr2

Differential Revision: https://reviews.llvm.org/D116022
clang/include/clang/Analysis/FlowSensitive/ControlFlowContext.h [new file with mode: 0644] blob
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysis.h diff | blob | history
clang/include/clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h diff | blob | history
clang/lib/Analysis/FlowSensitive/CMakeLists.txt diff | blob | history
clang/lib/Analysis/FlowSensitive/ControlFlowContext.cpp [new file with mode: 0644] blob
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/TestingSupport.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/TestingSupport.h diff | blob | history
clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp diff | blob | history
Domain: System / Toolchain;