Remove empty verifier

Author: Andres-Salamanca

clang/include/clang/CIR/Dialect/IR/CIROps.td

@@ -797,8 +797,6 @@ def CaseOp : CIR_Op<"case", [
 
   let assemblyFormat = "`(` $kind `,` $value `)` $caseRegion attr-dict";
 
-  let hasVerifier = 1;
-
   let skipDefaultBuilders = 1;
   let builders = [
       OpBuilder<(ins "mlir::ArrayAttr":$value,
@@ -948,8 +946,6 @@ def SwitchOp : CIR_Op<"switch",
 
   let regions = (region AnyRegion:$body);
 
-  let hasVerifier = 1;
-
   let skipDefaultBuilders = 1;
   let builders = [
     OpBuilder<(ins "mlir::Value":$condition,

clang/lib/CIR/Dialect/IR/CIRDialect.cpp

@@ -830,8 +830,6 @@ void cir::CaseOp::build(OpBuilder &builder, OperationState &result,
   insertPoint = builder.saveInsertionPoint();
 }
 
-LogicalResult cir::CaseOp::verify() { return success(); }
-
 //===----------------------------------------------------------------------===//
 // SwitchOp
 //===----------------------------------------------------------------------===//
@@ -884,8 +882,6 @@ void cir::SwitchOp::getSuccessorRegions(
   region.push_back(RegionSuccessor(&getBody()));
 }
 
-LogicalResult cir::SwitchOp::verify() { return success(); }
-
 void cir::SwitchOp::build(
     OpBuilder &builder, OperationState &result, Value cond,
     function_ref<void(OpBuilder &, Location, OperationState &)> switchBuilder) {