github-actions[bot] wrote:
<!--LLVM CODE FORMAT COMMENT: {clang-format}-->
:warning: C/C++ code formatter, clang-format found issues in your code.
:warning:
<details>
<summary>
You can test this locally with the following command:
</summary>
``````````bash
git-clang-format --diff origin/main HEAD --extensions h,cpp --
clang/include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h
clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp --diff_from_common_commit
``````````
:warning:
The reproduction instructions above might return results for more than one PR
in a stack if you are using a stacked PR workflow. You can limit the results by
changing `origin/main` to the base branch/commit you want to compare against.
:warning:
</details>
<details>
<summary>
View the diff from clang-format here.
</summary>
``````````diff
diff --git
a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
index fcaf86cc5..ac93c8bbf 100644
---
a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
+++
b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
@@ -176,8 +176,7 @@ public:
const llvm::APSInt *Value;
if (!(Value = getSymVal(State, Operand)))
return nullptr;
- std::optional<APSIntPtr> Res =
- BVF.evalAPSInt(USE->getOpcode(), *Value);
+ std::optional<APSIntPtr> Res = BVF.evalAPSInt(USE->getOpcode(), *Value);
return Res ? Res.value().get() : nullptr;
}
diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h
b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h
index 539c59b1f..5fda18df4 100644
--- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h
+++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h
@@ -342,9 +342,10 @@ public:
Ctx.getTypeSize(FromTy));
}
- static inline llvm::SMTExprRef
- convertToBoolExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx,
- const llvm::SMTExprRef &Exp, QualType Ty) {
+ static inline llvm::SMTExprRef convertToBoolExpr(llvm::SMTSolverRef &Solver,
+ ASTContext &Ctx,
+ const llvm::SMTExprRef &Exp,
+ QualType Ty) {
if (Ty->isBooleanType())
return Exp;
@@ -356,11 +357,10 @@ public:
if (Ty->isIntegralOrEnumerationType() || Ty->isAnyPointerType() ||
Ty->isBlockPointerType() || Ty->isReferenceType()) {
- return fromBinOp(Solver, Exp, BO_NE,
- Solver->mkBitvector(llvm::APSInt("0"),
- Ctx.getTypeSize(Ty)),
- Ty->isSignedIntegerOrEnumerationType());
-
+ return fromBinOp(
+ Solver, Exp, BO_NE,
+ Solver->mkBitvector(llvm::APSInt("0"), Ctx.getTypeSize(Ty)),
+ Ty->isSignedIntegerOrEnumerationType());
}
llvm_unreachable("Unsupported type for boolean conversion!");
@@ -487,7 +487,8 @@ public:
if (OperandTy == Ctx.BoolTy && OperandTy != RetTy &&
RetTy->isIntegerType()) {
- // Converting an expression from bool to a non-bool integer
invalidates it
+ // Converting an expression from bool to a non-bool integer invalidates
+ // it
if (hasComparison)
*hasComparison = false;
diff --git a/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp
b/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp
index c4fe27d27..7cf118c85 100644
--- a/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp
+++ b/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp
@@ -242,17 +242,17 @@ const PointerToMemberData
*BasicValueFactory::accumCXXBase(
return getPointerToMemberData(ND, BaseSpecList);
}
-std::optional<APSIntPtr>
-BasicValueFactory::evalAPSInt(UnaryOperator::Opcode Op, const llvm::APSInt
&V1) {
+std::optional<APSIntPtr> BasicValueFactory::evalAPSInt(UnaryOperator::Opcode
Op,
+ const llvm::APSInt &V1)
{
switch (Op) {
- default:
- llvm_unreachable("Invalid Opcode.");
+ default:
+ llvm_unreachable("Invalid Opcode.");
- case UO_Minus:
- return getValue(-V1);
+ case UO_Minus:
+ return getValue(-V1);
- case UO_Not:
- return getValue(~V1);
+ case UO_Not:
+ return getValue(~V1);
}
}
``````````
</details>
https://github.com/llvm/llvm-project/pull/205078
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
