[clang][dataflow] Make the type of the post visit callback consistent
authorStanislav Gatev <sgatev@google.com>
Tue, 2 Aug 2022 19:33:47 +0000 (19:33 +0000)
committerStanislav Gatev <sgatev@google.com>
Wed, 3 Aug 2022 05:58:38 +0000 (05:58 +0000)
commitc44c71843f3eca71ef109d2e0730722a6d8e5675
tree2efb9aa146930e1693627e17d258941f1af39801
parent7e8bf0a32048746b445e091283e598624fce2dcf
[clang][dataflow] Make the type of the post visit callback consistent

Make the types of the post visit callbacks in `transferBlock` and
`runTypeErasedDataflowAnalysis` consistent.

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

Reviewed-by: ymandel, xazax.hun, gribozavr2
clang-tools-extra/clang-tidy/bugprone/UncheckedOptionalAccessCheck.cpp
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysis.h
clang/include/clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
clang/unittests/Analysis/FlowSensitive/TestingSupport.h
clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp