[clang][dataflow] Simplify implementation of `transferStdForwardCall()` in optional...
authorMartin Braenne <mboehme@google.com>
Mon, 17 Jul 2023 06:31:03 +0000 (06:31 +0000)
committerMartin Braenne <mboehme@google.com>
Mon, 17 Jul 2023 07:26:11 +0000 (07:26 +0000)
commit243a79ca01f8142a8d8c9873ba58fefdafa48745
tree08ee5581bde5997e8b441dce9ab69f661c452e78
parent6d768548ecc0ca37026986f397392c1d0ace9736
[clang][dataflow] Simplify implementation of `transferStdForwardCall()` in optional check.

The argument and return value of `std::forward` is always a reference, so we can simply forward the storage location.

Depends On D155075

Reviewed By: ymandel, gribozavr2, xazax.hun

Differential Revision: https://reviews.llvm.org/D155202
clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp