From 0df96ff595277bc3677647a9d6cbc141924cbf9e Mon Sep 17 00:00:00 2001 From: jiangg Date: Tue, 12 Apr 2016 22:24:49 +0800 Subject: remove synthesized `rule of three` of KInstIterator --- include/klee/Internal/Module/KInstIterator.h | 7 ------- 1 file changed, 7 deletions(-) diff --git a/include/klee/Internal/Module/KInstIterator.h b/include/klee/Internal/Module/KInstIterator.h index 88efed38..736c4b4d 100644 --- a/include/klee/Internal/Module/KInstIterator.h +++ b/include/klee/Internal/Module/KInstIterator.h @@ -19,13 +19,6 @@ namespace klee { public: KInstIterator() : it(0) {} KInstIterator(KInstruction **_it) : it(_it) {} - KInstIterator(const KInstIterator &b) : it(b.it) {} - ~KInstIterator() {} - - KInstIterator &operator=(const KInstIterator &b) { - it = b.it; - return *this; - } bool operator==(const KInstIterator &b) const { return it==b.it; -- cgit 1.4.1