206   auto walkResult = module.walk([&module](LaunchFuncOp launchOp) -> WalkResult {  in verifyOperationAttribute()  argument
209     if (!launchOp->getParentOp() ||  in verifyOperationAttribute()
210         launchOp->getParentOp()->getParentOp() != module)  in verifyOperationAttribute()
215     if (!launchOp->getAttrOfType<SymbolRefAttr>(  in verifyOperationAttribute()
220     StringAttr kernelModuleName = launchOp.getKernelModuleName();  in verifyOperationAttribute()
223       return launchOp.emitOpError()  in verifyOperationAttribute()
228     Operation *kernelFunc = module.lookupSymbol(launchOp.kernelAttr());  in verifyOperationAttribute()
230       return launchOp.emitOpError("kernel function '")  in verifyOperationAttribute()
231              << launchOp.kernel() << "' is undefined";  in verifyOperationAttribute()
234       InFlightDiagnostic diag = launchOp.emitOpError()  in verifyOperationAttribute()
235                                 << "referenced kernel '" << launchOp.kernel()  in verifyOperationAttribute()
243       return launchOp.emitOpError("kernel function is missing the '")  in verifyOperationAttribute()
253     unsigned actualNumArguments = launchOp.getNumKernelOperands();  in verifyOperationAttribute()
256       return launchOp.emitOpError("got ")  in verifyOperationAttribute()
262       if (launchOp.getKernelOperand(i).getType() != functionType.getInput(i)) {  in verifyOperationAttribute()
263         return launchOp.emitOpError("type of function argument ")  in verifyOperationAttribute()