[clang][dataflow] Add support for correlated branches to optional model
authorStanislav Gatev <sgatev@google.com>
Wed, 18 May 2022 21:57:40 +0000 (21:57 +0000)
committerStanislav Gatev <sgatev@google.com>
Wed, 15 Jun 2022 10:00:44 +0000 (10:00 +0000)
commit8fcdd625856b2e7df2fdb3a4c57efedb35e4d7c1
treee8e83984219893ff187f9f1b6cada4b29a192bc6
parent8c7b64b5ae2a09027c38db969a04fc9ddd0cd6bb
[clang][dataflow] Add support for correlated branches to optional model

Add support for correlated branches to the std::optional dataflow model.

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

Reviewed-by: ymandel, xazax.hun
clang/include/clang/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.h
clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp