Searched defs:ParamValue (Results 1 – 2 of 2) sorted by relevance
347 auto ParamValue = State->getSVal(RegVal->getRegion()) in checkParamsForPreconditionViolation() local
2064 ParamValue(llvm::Value *V, unsigned A) : Value(V), Alignment(A) {} in ParamValue() function