OSDN Git Service

[Support] Make asan poisoning for recyclers more aggressive by also poisoning the...
authorBenjamin Kramer <benny.kra@googlemail.com>
Thu, 20 Apr 2017 20:28:18 +0000 (20:28 +0000)
committerBenjamin Kramer <benny.kra@googlemail.com>
Thu, 20 Apr 2017 20:28:18 +0000 (20:28 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@300882 91177308-0d34-0410-b5e6-96231b3b80d8

include/llvm/Support/ArrayRecycler.h
include/llvm/Support/Recycler.h

index b4222ca..68696be 100644 (file)
@@ -47,22 +47,21 @@ template <class T, size_t Align = alignof(T)> class ArrayRecycler {
     FreeList *Entry = Bucket[Idx];
     if (!Entry)
       return nullptr;
+    __asan_unpoison_memory_region(Entry, Capacity::get(Idx).getSize());
     Bucket[Idx] = Entry->Next;
     __msan_allocated_memory(Entry, Capacity::get(Idx).getSize());
-    __asan_unpoison_memory_region(Entry, Capacity::get(Idx).getSize());
     return reinterpret_cast<T*>(Entry);
   }
 
   // Add an entry to the free list at Bucket[Idx].
   void push(unsigned Idx, T *Ptr) {
     assert(Ptr && "Cannot recycle NULL pointer");
-    __asan_poison_memory_region(Ptr, Capacity::get(Idx).getSize());
-    __asan_unpoison_memory_region(Ptr, sizeof(FreeList));
     FreeList *Entry = reinterpret_cast<FreeList*>(Ptr);
     if (Idx >= Bucket.size())
       Bucket.resize(size_t(Idx) + 1);
     Entry->Next = Bucket[Idx];
     Bucket[Idx] = Entry;
+    __asan_poison_memory_region(Ptr, Capacity::get(Idx).getSize());
   }
 
 public:
index dc8b246..53db2e8 100644 (file)
@@ -42,17 +42,16 @@ class Recycler {
 
   FreeNode *pop_val() {
     auto *Val = FreeList;
+    __asan_unpoison_memory_region(Val, Size);
     FreeList = FreeList->Next;
     __msan_allocated_memory(Val, Size);
-    __asan_unpoison_memory_region(Val, Size);
     return Val;
   }
 
   void push(FreeNode *N) {
-    __asan_poison_memory_region(N, Size);
-    __asan_unpoison_memory_region(N, sizeof(FreeNode));
     N->Next = FreeList;
     FreeList = N;
+    __asan_poison_memory_region(N, Size);
   }
 
 public: