projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13ff7d6) | patch
[clang][dataflow] Extend flow condition in the body of a do/while loop
authorStanislav Gatev <sgatev@google.com>
Mon, 20 Jun 2022 11:02:51 +0000 (11:02 +0000)
committerStanislav Gatev <sgatev@google.com>
Mon, 20 Jun 2022 17:31:00 +0000 (17:31 +0000)
commite363c5963dc3ad5d9492d3f37055ad56a84411a5
tree91262298b69ddc6ae7323958f45b09f4037811b9tree | snapshot
parent13ff7d6f393da07c285c710beaa93b6ac3a276fbcommit | diff
[clang][dataflow] Extend flow condition in the body of a do/while loop

Extend flow condition in the body of a do/while loop.

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

Reviewed-by: gribozavr2, xazax.hun
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;