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