xazax.hun added inline comments.
================
Comment at:
clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp:307
+ [](Environment &Env, BoolValue &HasValueVal) -> BoolValue & {
+ // We can't reason about general vlaues, so we encode the constraint on
+ // the optional's contents (namely, that it is not equal to X) as an
----------------
Typo: values.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D122231/new/
https://reviews.llvm.org/D122231
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
