tree 400f3ab479f391d93ebb3dcbc68a890f2f4a9784
parent 819d701fb41d947b93935d4a1eac9af631e1b41c
author Jan Voung <jvoung@google.com> 1734703273 -0500
committer Copybara-Service <copybara-worker@google.com> 1734703591 -0800

[clang][dataflow] Add matchers for smart pointer accessors to be cached (#120102)

This is part 1 of caching for smart pointer accessors, building on top
of the CachedConstAccessorsLattice, which caches "normal" accessors.

Smart pointer accessors are a bit different in that they may:
- have aliases to access the same underlying data (but potentially
  returning slightly different types like `&` vs `*`). Within a
  "checked" sequence users may mix uses of the different aliases and the
  check should apply to any of the spellings.
- may have non-const overloads in addition to the const version, where
  the non-const doesn't actually modify the container

Part 2 will follow and add transfer functions utilities. It will also
add a user UncheckedOptionalAccessModel. We'd seen false positives when
nesting StatusOr<optional<T>> and optional<StatusOr<T>>, etc. which this
can help address.

GitOrigin-RevId: 54309b1c2f7a9acdb91ae1735cf4eb0877eadfc0