From cad3cd6ededd0df2aeee59fe0eb75bee2db705eb Mon Sep 17 00:00:00 2001 From: einvbri Date: Thu, 19 Sep 2024 15:40:31 +0200 Subject: [PATCH] update --- .../StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h index 86342a4080375f7..5766af1fc78a4f5 100644 --- 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(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(Sym)) { return false; }