13 std::ostringstream
os;
const SVFType * typeOfElement
For printing & debugging.
void print(std::ostream &os) const override
const SVFType * getReturnType() const
void print(std::ostream &os) const override
short signAndWidth
For printing.
void print(std::ostream &os) const override
void print(std::ostream &os) const override
void print(std::ostream &os) const override
std::string name
Field for printing & debugging.
void print(std::ostream &os) const override
static SVFType * svfPtrTy
ptr type
std::string toString() const
static SVFType * svfI8Ty
8-bit int type
virtual void print(std::ostream &os) const =0
__attribute__((weak)) std
llvm::IRBuilder IRBuilder
IntervalValue operator<<(const IntervalValue &lhs, const IntervalValue &rhs)
Left binary shift of IntervalValues.