From c89059552804bb1532bb545a295100d773da37af Mon Sep 17 00:00:00 2001
From: James Lee-Jones <james@lee-jones.co.uk>
Date: Fri, 5 Jul 2024 12:49:03 +0100
Subject: [PATCH] Update explaination for extra check

---
 src/libdredd/src/mutate_visitor.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/libdredd/src/mutate_visitor.cc b/src/libdredd/src/mutate_visitor.cc
index c77fb119..582611c1 100644
--- 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 &&