[clang][dataflow] Add a test to justify skipping past references in UO_Deref
authorStanislav Gatev <sgatev@google.com>
Tue, 18 Jan 2022 15:51:57 +0000 (15:51 +0000)
committerStanislav Gatev <sgatev@google.com>
Tue, 18 Jan 2022 21:27:43 +0000 (21:27 +0000)
commit68226e572f41105446413b12ee95ab5540b2b6ac
tree7a9d3765493ff5dc289f1a03d7f745ed298c2af4
parent7a403436db8bb11b3422cda0f7aa5915521426a0
[clang][dataflow] Add a test to justify skipping past references in UO_Deref

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/D117567
clang/lib/Analysis/FlowSensitive/Transfer.cpp
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp