terapines
/
circt
mirror of https://github.com/llvm/circt.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[SMT] Fix unused variable warning in release build.

This commit is contained in:
Will Dietz 2024-05-30 12:01:18 -05:00
parent 1555e2981d
commit 7ed4d8fdda
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/Dialect/SMT/SMTDialect.cpp
View File

@ -28,8 +28,8 @@ Operation *SMTDialect::materializeConstant(OpBuilder &builder, Attribute value,
// BitVectorType constants can materialize into smt.bv.constant
if (auto bvType = dyn_cast<BitVectorType>(type)) {
if (auto attrValue = dyn_cast<BitVectorAttr>(value)) {
bool typesMatch = bvType == attrValue.getType();
assert(typesMatch && "attribute and desired result types have to match");
assert(bvType == attrValue.getType() &&
"attribute and desired result types have to match");
return builder.create<BVConstantOp>(loc, attrValue);
}
}