Update explaination for extra check

mc-imperial · Jul 5, 2024 · c890595 · c890595
1 parent 13b700d
commit c890595
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/libdredd/src/mutate_visitor.cc b/src/libdredd/src/mutate_visitor.cc
@@ -140,7 +140,8 @@ bool MutateVisitor::TraverseDecl(clang::Decl* decl) {
   if (const auto* var_decl = llvm::dyn_cast<clang::VarDecl>(decl)) {
     if (var_decl->isConstexpr() || var_decl->hasConstantInitialization()) {
       // Because Dredd's mutations occur dynamically, they cannot be applied to
-      // C++ constexprs, which require compile-time evaluation.
+      // C++ constexprs or variables that require constant initialization as
+      // these both require compile-time evaluation.
       return true;
     }
     if (!compiler_instance_->getLangOpts().CPlusPlus &&