[PATCH] D154597: [clang][dataflow] Various refactorings to UncheckedOptionalAccessModel.

[Martin Böhme via Phabricator via cfe-commits]

mboehme created this revision.
Herald added subscribers: martong, xazax.hun.
Herald added a reviewer: NoQ.
Herald added a project: All.
mboehme requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.

These are intended to ease an upcoming change that will eliminate the
duplication between `AggregateStorageLocation` and `StructValue` (see
https://discourse.llvm.org/t/70086 for details), but many of the changes also
have value in their own right.

Depends On D154586 <https://reviews.llvm.org/D154586>


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D154597

Files:
  clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D154597.537665.patch
Type: text/x-patch
Size: 11438 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20230706/ea515110/attachment-0001.bin>