diff options
| author | Yitzhak Mandelbaum <yitzhakm@google.com> | 2023-01-26 14:31:03 +0000 |
|---|---|---|
| committer | Yitzhak Mandelbaum <yitzhakm@google.com> | 2023-02-01 15:57:09 +0000 |
| commit | d4fb829b718059eb044843aea7b03d5b65556351 (patch) | |
| tree | 00487bd38104371ec72a5cdf9b5263ed56b3a949 /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | b0c1a45ba5e5f9f04f5e208a6efb120dbb903758 (diff) | |
| download | llvm-d4fb829b718059eb044843aea7b03d5b65556351.zip llvm-d4fb829b718059eb044843aea7b03d5b65556351.tar.gz llvm-d4fb829b718059eb044843aea7b03d5b65556351.tar.bz2 | |
[clang][dataflow] Relax validity assumptions in `UncheckedOptionalAccessModel`.
Currently, the interpretation of `swap` calls in the optional model assumes the
optional arguments are modeled (and therefore have valid storage locations and
values). This assumption is incorrect, for example, in the case of unmodeled
optional fields (which can be missing either value or location). This patch
relaxes these assumptions, to return rather than assert when either argument is
not modeled.
Differential Revision: https://reviews.llvm.org/D142710
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions