Searched refs:AssumptionVal (Results 1 – 2 of 2) sorted by relevance
41 SVal AssumptionVal = C.getSVal(Attr->getAssumption()); in checkPostStmt() local44 if (AssumptionVal.isUnknown()) in checkPostStmt()47 const auto *Assumption = AssumptionVal.getAsInteger(); in checkPostStmt()
820 llvm::Value *AssumptionVal = EmitCheckedArgForAssume(Assumption); in EmitAttributedStmt() local821 Builder.CreateAssumption(AssumptionVal); in EmitAttributedStmt()