[clang][dataflow] Handle `for` statements without conditions
authorStanislav Gatev <sgatev@google.com>
Wed, 29 Jun 2022 15:56:53 +0000 (15:56 +0000)
committerStanislav Gatev <sgatev@google.com>
Thu, 30 Jun 2022 07:00:35 +0000 (07:00 +0000)
commit8207c2a660303272ad8ecb1807407f029466ff49
tree4185788cbf273f72d9d36b1acd1aa8b29c49f3c3
parent6c487002045bf142893fed9b8ccee4f462685ddd
[clang][dataflow] Handle `for` statements without conditions

Handle `for` statements without conditions.

Differential Revision: https://reviews.llvm.org/D128833

Reviewed-by: xazax.hun, gribozavr2, li.zhe.hua
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp