Searched defs:AssumptionVal (Results 1 – 2 of 2) sorted by relevance
41 SVal AssumptionVal = C.getSVal(Attr->getAssumption()); in checkPostStmt() local
820 llvm::Value *AssumptionVal = EmitCheckedArgForAssume(Assumption); in EmitAttributedStmt() local