xazax.hun accepted this revision. xazax.hun added a comment. This revision is now accepted and ready to land.
Thanks! ================ Comment at: clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp:64 static BoolValue *getHasValue(Value *Val) { - if (auto *OptionalVal = cast_or_null<StructValue>(Val)) { + if (auto *OptionalVal = cast_or_null<StructValue>(Val)) return cast<BoolValue>(OptionalVal->getProperty("has_value")); ---------------- Nit: unintended change? ================ Comment at: clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp:33 static constexpr char StdTypeTraitsHeader[] = R"( +#ifndef TYPE_TRAITS_H +#define TYPE_TRAITS_H ---------------- I wonder if it is more sustainable in the long term to have these headers in a separate file and `#include` them here (and build the raw string literal with a macro if that is possible at all). Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D121378/new/ https://reviews.llvm.org/D121378 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits