projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8a9536) | patch
[clang][dataflow] Don't `assert` full LHS coverage in `optional` model
authorSam Estep <sam@samestep.com>
Fri, 10 Jun 2022 19:08:41 +0000 (19:08 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Fri, 10 Jun 2022 19:10:20 +0000 (19:10 +0000)
commita9ad689e352dd1037f947dacc7d01c091b67e00c
treea957dffebeebe69c37b607bbeaaf1e3ea2d1a84atree | snapshot
parentf8a9536c55815caf46839063eb88d90b3ab1e93acommit | diff
[clang][dataflow] Don't `assert` full LHS coverage in `optional` model

Followup to D127434.

Reviewed By: ymandel, sgatev

Differential Revision: https://reviews.llvm.org/D127502
clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp diff | blob | history
Domain: System / Toolchain;