библиотека cds: michael_deque вызывает сбой при возврате производного типа пользовательского типа (только в режиме выпуска)

Я использую VS2012 с настройками оптимизации по умолчанию (/ O2), и эта проблема существует только в режиме выпуска.

У меня есть код, который использует michael_deque (со стандартным GC) и указатель на (абстрактный) тип T,
Когда я пытаюсь отодвинуть указатель на тип, производный от Tприложение вылетает при выходе из push_back() функция michael_deque,

Проблема, кажется, зависит именно от этого конкретного типа Tпотому что написание фиктивного класса foo, исходя из этого в классе bar (и что-то печатать в конструкторе, чтобы избежать его оптимизации), а затем оттолкнуть new bar() to michael_deque не вызывает сбой.

КлассT речь идет об этом:

class Task
{
public:
Task() : started(false), unfinishedTasks(1), taskID(++taskIDCounter) {};
Task(unsigned int parentID_) : started(false), unfinishedTasks(1), taskID(++taskIDCounter), parentID(parentID_)/*, taken(0)*/ {};
virtual ~Task() = 0 {};

virtual void execute() final
{
this->doActualWork();
unfinishedTasks--;
}

virtual void doActualWork() = 0;
public:
unsigned int taskID;    //ID of this task
unsigned int parentID;  //ID of the parent of this task
bool started;
std::atomic<unsigned int> unfinishedTasks; //Number of child tasks that are still unfinished
std::vector<unsigned int> dependencies; //list of IDs of all tasks that this task depends on

};

Ошибка может быть воспроизведена в минимальной программе (если у вас есть среда, которая может выполнить это так же, как я, просто поместите std::atomic<unsigned int> taskIDCounter где-нибудь, где класс Task может это увидеть):

#include <cds/container/michael_deque.h>
#include "task.hpp"class a : public Task
{
a()
{
std::cout<<"dummy print"<<std::endl;
}
virtual ~a()
{
}

virtual void doActualWork()
{
std::cout<<"whatever"<<std::endl;
}
};int main()
{
cds::Initialize();

{
cds::gc::HP hpGC;
cds::gc::HP::thread_gc myThreadGC;

cds::container::MichaelDeque<cds::gc::HP,Task*> tasks;
tasks.push_back(new a()); //will crash at the end of push_back
}
cds::Terminate();
}

Что может быть причиной этого? Я делаю что-то неопределенное в классе Task, что вызывает проблемы в оптимизации?