reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
115 assert(!Ty->isRealFloatingType()); 116 llvm::APSInt Value(Ctx.getTypeSize(Ty), 117 !Ty->isSignedIntegerOrEnumerationType()); 124 SMTConv::fromData(Solver, SD->getSymbolID(), Ty, Ctx.getTypeSize(Ty)); 124 SMTConv::fromData(Solver, SD->getSymbolID(), Ty, Ctx.getTypeSize(Ty)); 141 Ty->isBooleanType() ? Solver->mkBoolean(Value.getBoolValue())