svf-lib 1.0.1706 → 1.0.1708
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -350,19 +350,26 @@ private:
|
|
|
350
350
|
const SVFType* ptrElementType;
|
|
351
351
|
|
|
352
352
|
public:
|
|
353
|
-
SVFPointerType(
|
|
354
|
-
: SVFType(true, SVFPointerTy), ptrElementType(
|
|
353
|
+
SVFPointerType()
|
|
354
|
+
: SVFType(true, SVFPointerTy), ptrElementType(nullptr)
|
|
355
355
|
{
|
|
356
356
|
}
|
|
357
|
+
|
|
357
358
|
static inline bool classof(const SVFType* node)
|
|
358
359
|
{
|
|
359
360
|
return node->getKind() == SVFPointerTy;
|
|
360
361
|
}
|
|
361
362
|
inline const SVFType* getPtrElementType() const
|
|
362
363
|
{
|
|
364
|
+
assert(ptrElementType && "ptrElementType is nullptr");
|
|
363
365
|
return ptrElementType;
|
|
364
366
|
}
|
|
365
367
|
|
|
368
|
+
inline void setPtrElementType(SVFType* _ptrElementType)
|
|
369
|
+
{
|
|
370
|
+
ptrElementType = _ptrElementType;
|
|
371
|
+
}
|
|
372
|
+
|
|
366
373
|
void print(std::ostream& os) const override;
|
|
367
374
|
};
|
|
368
375
|
|