public:
void print(llvm::raw_ostream& Out) const;
+
+ static Loc MakeVal(const MemRegion* R);
static Loc MakeVal(AddrLabelExpr* E);
- static Loc MakeVal(StringLiteral* S);
-
// Implement isa<T> support.
static inline bool classof(const SVal* V) {
return V->getBaseKind() == LocKind;
// Utility methods for constructing Locs.
//===----------------------------------------------------------------------===//
+Loc Loc::MakeVal(const MemRegion* R) { return loc::MemRegionVal(R); }
+
Loc Loc::MakeVal(AddrLabelExpr* E) { return loc::GotoLabel(E->getLabel()); }
//===----------------------------------------------------------------------===//