Address -bugprone-unchecked-optional-access

runtimeverification · Dec 18, 2023 · 7428ab4 · 7428ab4
1 parent fcc171b
commit 7428ab4
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.clang-tidy b/.clang-tidy
@@ -8,7 +8,6 @@ Checks:
   -bugprone-unused-return-value
   -bugprone-assignment-in-if-condition
   -bugprone-branch-clone
-  -bugprone-unchecked-optional-access
   -bugprone-sizeof-expression
   -bugprone-implicit-widening-of-multiplication-result
   modernize-*

diff --git a/tools/k-rule-apply/main.cpp b/tools/k-rule-apply/main.cpp
@@ -54,7 +54,7 @@ int main(int argc, char **argv) {
   auto InitialConfiguration = parser.pattern();
 
   auto match_function_name = getMatchFunctionName();
-  if (match_function_name == std::nullopt) {
+  if (!match_function_name.has_value()) {
     std::cerr << "Rule with label " << RuleLabel << " does not exist.\n";
     return EXIT_FAILURE;
   }