update

llvm · Sep 19, 2024 · cad3cd6 · cad3cd6
1 parent 1790eba
commit cad3cd6
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
@@ -278,9 +278,7 @@ class SMTConstraintManager : public clang::ento::SimpleConstraintManager {
     if (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym))
       return canReasonAbout(SVB.makeSymbolVal(SC->getOperand()));
 
-    // If a UnarySymExpr is encountered, the Z3
-    // wrapper does not support those. So indicate Z3 does not
-    // support those and return.
+    // UnarySymExpr support is not yet implemented in the Z3 wrapper.
     if (isa<UnarySymExpr>(Sym)) {
       return false;
     }