forked from OSchip/llvm-project
parent
f401fa0386
commit
386a2a52d3
|
@ -333,12 +333,6 @@ public:
|
|||
void printStdErr() const;
|
||||
|
||||
void printDOT(llvm::raw_ostream& Out) const;
|
||||
|
||||
// Tags used for the Generic Data Map.
|
||||
struct NullDerefTag {
|
||||
static int TagInt;
|
||||
typedef const SVal* data_type;
|
||||
};
|
||||
};
|
||||
|
||||
class GRStateSet {
|
||||
|
|
|
@ -332,9 +332,3 @@ bool GRStateManager::isEqual(const GRState* state, const Expr* Ex,
|
|||
bool GRStateManager::isEqual(const GRState* state, const Expr* Ex, uint64_t x) {
|
||||
return isEqual(state, Ex, getBasicVals().getValue(x, Ex->getType()));
|
||||
}
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Persistent values for indexing into the Generic Data Map.
|
||||
|
||||
int GRState::NullDerefTag::TagInt = 0;
|
||||
|
||||
|
|
Loading…
Reference in New Issue