diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-03-20 22:01:00 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-21 12:46:01 +0000 |
| commit | 9767a37f9e8a743fa81629510346cb0a5a3a7900 (patch) | |
| tree | bc49e16925582e41ee51cacc35c4f7bcafd8860f /scripts/build/patches/llvm35.patch | |
| parent | eee440835b857a7cb68b72f4af4d22eaf19e1d76 (diff) | |
| download | klee-9767a37f9e8a743fa81629510346cb0a5a3a7900.tar.gz | |
drop support for LLVM <= 3.7
Diffstat (limited to 'scripts/build/patches/llvm35.patch')
| -rw-r--r-- | scripts/build/patches/llvm35.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/scripts/build/patches/llvm35.patch b/scripts/build/patches/llvm35.patch deleted file mode 100644 index 47744b91..00000000 --- a/scripts/build/patches/llvm35.patch +++ /dev/null @@ -1,14 +0,0 @@ -*** include/llvm/ADT/IntrusiveRefCntPtr.h 2014-07-06 00:20:59.000000000 +0200 ---- include/llvm/ADT/IntrusiveRefCntPtr_new.h 2016-06-21 10:04:15.610143165 +0200 -*************** -*** 154,159 **** ---- 154,162 ---- - } - - template <class X> -+ friend class IntrusiveRefCntPtr; -+ -+ template <class X> - IntrusiveRefCntPtr(IntrusiveRefCntPtr<X>&& S) : Obj(S.get()) { - S.Obj = 0; - } |