Приведение кортежа <int *, int, int, int*> к tuple<void*, int, int, void*> вызывает проблему использования стека ASAN за ⇐ C++

[Anonymous]

У меня есть код, который создает проблему использования стека ASAN за пределами области действия. Вызов f() ниже приведет к этому.

Код: Выделить всё

#include 
#include 

using TupleData = std::tuple;

namespace
{
int x = 1, y = 2, z = 3, v = 4; // file-scope variables.
}

struct Data
{
Data(const TupleData & tupleData) : m_tupleData(tupleData) {}

const TupleData & m_tupleData;

void execute()
{
void * int1 = std::get(m_tupleData); // ASAN ISSUE IS BEING CAUGHT HERE : STACK USE AFTER SCOPE
}
};

void f()
{
Data data(std::make_tuple(&x, y, z, &v));

data.execute();
}

int main() {

f();

return 0;
}

Я попробовал создать кортеж перед передачей его в качестве параметра, но проблема осталась:

Код: Выделить всё

void f()
{
auto tupleData = {&x, y, z &v};

Data data(tupleData);

data.execute();
}

После множества попыток мне удалось добиться успеха после изменения функции f(), чтобы она явно создавала кортеж как TupleData:

Код: Выделить всё

void f()
{
TupleData tupleData = {&x, y, z &v};

Data data(tupleData);

data.execute();
}

Почему может возникнуть такая проблема? Я предполагаю, что приведение типа tuple к tuple должно быть допустимым.

Подробнее здесь: https://stackoverflow.com/questions/787 ... d-is-causi