diff options
author | Dmitri Gribenko <gribozavr@gmail.com> | 2023-04-27 18:08:38 +0200 |
---|---|---|
committer | Dmitri Gribenko <gribozavr@gmail.com> | 2023-05-17 10:29:10 +0200 |
commit | ffb4f4db73419d9eba81efe00aa0d498f01f6d27 (patch) | |
tree | 99016ce5b6c5ea22f32face9bd172883c7942d40 /clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp | |
parent | f8c99477d4b3e8c9faf0f316178e8ab92e281602 (diff) | |
download | llvm-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.cpp | 6 |
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")); |