Searched refs:UnaryExp (Results 1 – 1 of 1) sorted by relevance
456 llvm::SMTExprRef UnaryExp = in getSymExpr() local466 return getCastExpr(Solver, Ctx, UnaryExp, OperandTy, Sym->getType()); in getSymExpr()468 return UnaryExp; in getSymExpr()