[clang][dataflow] Add a transfer function for conditional operator
authorStanislav Gatev <sgatev@google.com>
Wed, 19 Jan 2022 13:56:21 +0000 (13:56 +0000)
committerStanislav Gatev <sgatev@google.com>
Wed, 19 Jan 2022 16:25:05 +0000 (16:25 +0000)
commit8e53ae3d37190c7442f87915a49f3f292d1d9956
treeed8b7e8789a715cac85d22554b78dbf01ffac8e4
parent7260a926cfd8610725c200df19c5dc4c829f2a79
[clang][dataflow] Add a transfer function for conditional operator

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