aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
diff options
context:
space:
mode:
authorDmitri Gribenko <gribozavr@gmail.com>2023-04-27 18:08:38 +0200
committerDmitri Gribenko <gribozavr@gmail.com>2023-05-17 10:29:10 +0200
commitffb4f4db73419d9eba81efe00aa0d498f01f6d27 (patch)
tree99016ce5b6c5ea22f32face9bd172883c7942d40 /clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
parentf8c99477d4b3e8c9faf0f316178e8ab92e281602 (diff)
downloadllvm-ffb4f4db73419d9eba81efe00aa0d498f01f6d27.zip
llvm-ffb4f4db73419d9eba81efe00aa0d498f01f6d27.tar.gz
llvm-ffb4f4db73419d9eba81efe00aa0d498f01f6d27.tar.bz2
[ClangTidy] Fix markup in comments
Diffstat (limited to 'clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp')
-rw-r--r--clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp b/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
index b46a57f..680c4d1 100644
--- a/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
+++ b/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
@@ -234,7 +234,7 @@ auto isComparisonOperatorCall(L lhs_arg_matcher, R rhs_arg_matcher) {
hasArgument(1, rhs_arg_matcher));
}
-// Ensures that `Expr` is mapped to a `BoolValue` and returns it.
+/// Ensures that `Expr` is mapped to a `BoolValue` and returns it.
BoolValue &forceBoolValue(Environment &Env, const Expr &Expr) {
auto *Value = cast_or_null<BoolValue>(Env.getValue(Expr, SkipPast::None));
if (Value != nullptr)
@@ -356,7 +356,7 @@ void initializeOptionalReference(const Expr *OptionalExpr,
}
/// Returns true if and only if `OptionalVal` is initialized and known to be
-/// empty in `Env.
+/// empty in `Env`.
bool isEmptyOptional(const Value &OptionalVal, const Environment &Env) {
auto *HasValueVal =
cast_or_null<BoolValue>(OptionalVal.getProperty("has_value"));
@@ -365,7 +365,7 @@ bool isEmptyOptional(const Value &OptionalVal, const Environment &Env) {
}
/// Returns true if and only if `OptionalVal` is initialized and known to be
-/// non-empty in `Env.
+/// non-empty in `Env`.
bool isNonEmptyOptional(const Value &OptionalVal, const Environment &Env) {
auto *HasValueVal =
cast_or_null<BoolValue>(OptionalVal.getProperty("has_value"));