projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 010a10b) | patch
[clang][dataflow] Intersect ExprToLoc when joining environments
authorStanislav Gatev <sgatev@google.com>
Thu, 20 Jan 2022 09:28:25 +0000 (09:28 +0000)
committerStanislav Gatev <sgatev@google.com>
Thu, 20 Jan 2022 14:30:17 +0000 (14:30 +0000)
commitc95cb4de1b6674e52aebdb7d02c6431843001282
tree61f7db80373b71cd828f30c7194096444e3418d2tree | snapshot
parent010a10b738915568d9d04d1f0caa09b5d25dc7b3commit | diff
[clang][dataflow] Intersect ExprToLoc when joining environments

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
Differential Revision: https://reviews.llvm.org/D117754
clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp diff | blob | history
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp diff | blob | history
Domain: System / Toolchain;