diff --git a/mlir/test/CAPI/smt.c b/mlir/test/CAPI/smt.c index a621147c91b61..7e206fc3fbb6a 100644 --- a/mlir/test/CAPI/smt.c +++ b/mlir/test/CAPI/smt.c @@ -44,6 +44,7 @@ void testExportSMTLIB(MlirContext ctx) { result = mlirTranslateModuleToSMTLIB(module, dumpCallback, NULL, false, false, false); assert(mlirLogicalResultIsSuccess(result)); + (void)result; // CHECK-NOT: (reset) mlirModuleDestroy(module);