Searched refs:argValue (Results 1 – 2 of 2) sorted by relevance
105 mlir::Value argValue = emitCheckedArgForAssume(e->getArg(0)); in emitBuiltinExpr() local106 builder.create<cir::AssumeOp>(loc, argValue); in emitBuiltinExpr()182 mlir::Value argValue = emitScalarExpr(e->getArg(0)); in emitBuiltinExpr() local201 loc, argValue.getType(), argValue, expectedValue, probAttr); in emitBuiltinExpr()255 mlir::Value argValue = evaluateExprAsBool(e); in emitCheckedArgForAssume() local257 return argValue; in emitCheckedArgForAssume()
927 SVal argValue = Call.getArgSVal(i); in checkPostCall() local928 if (hasLocalizedState(argValue, C)) { in checkPostCall()