Использование LLVM :: ArrayRef с списком инициализаторов вызывает нарушение ASAN. Что происходит? ⇐ C++

[Anonymous]

Следующий код Snippit показывает 3 различных подхода для создания Mlir :: RangedTensortype . При запуске программы с помощью -fsanitize = адрес первые два метода работают правильно. Третий метод создает нарушение стека-use-after-scope (показано позже).
действителен 3-й метод?
#include
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/Builders.h"

int main(int argc, char* argv[]) {
mlir::MLIRContext context;
mlir::OpBuilder builder{&context};

llvm::SmallVector vec{1, 2, 3};
llvm::ArrayRef shape_vec{vec};
auto t1 = mlir::RankedTensorType::get(shape_vec, builder.getF32Type());
assert(isa(t1));

auto t2 = mlir::RankedTensorType::get(llvm::ArrayRef{1, 2, 3}, builder.getF32Type());
assert(isa(t2));

llvm::ArrayRef shape_il{{1, 2, 3}};
auto t3 = mlir::RankedTensorType::get(shape_il, builder.getF32Type());
assert(isa(t3));
return 0;
}
< /code>
Вот частичная трасса сбоя ASAN (и да, я знаю, что это необычно использовать GCC 12.3 для составления проекта, который использует LLVM 17.0.2, но это не должно измениться, является ли исходный код действительным) < /p>
==56088==ERROR: AddressSanitizer: stack-use-after-scope on address 0x7ffc4efaad00 at pc 0x7eff62d41ba0 bp 0x7ffc4efaa720 sp 0x7ffc4efa9ed0
READ of size 24 at 0x7ffc4efaad00 thread T0
#0 0x7eff62d41b9f in MemcmpInterceptorCommon(void*, int (*)(void const*, void const*, unsigned long), void const*, void const*, unsigned long) ../../../../libsanitizer/sanitizer_common/sanitizer_common_interceptors.inc:861
#1 0x7eff62d422d8 in __interceptor_memcmp ../../../../libsanitizer/sanitizer_common/sanitizer_common_interceptors.inc:892
#2 0x7eff62d422d8 in __interceptor_memcmp ../../../../libsanitizer/sanitizer_common/sanitizer_common_interceptors.inc:887
#3 0x7eff614c9539 in int std::__memcmp(long const*, long const*, unsigned long) /software/tools/gcc/12.3.0/include/c++/12.3.0/bits/stl_algobase.h:105
#4 0x7eff614c9539 in bool std::__equal::equal(long const*, long const*, long const*) /software/tools/gcc/12.3.0/include/c++/12.3.0/bits/stl_algobase.h:1176
#5 0x7eff614c9539 in bool std::__equal_aux1(long const*, long const*, long const*) /software/tools/gcc/12.3.0/include/c++/12.3.0/bits/stl_algobase.h:1210
#6 0x7eff614c9539 in bool std::__equal_aux(long const*, long const*, long const*) /software/tools/gcc/12.3.0/include/c++/12.3.0/bits/stl_algobase.h:1218
#7 0x7eff614c9539 in bool std::equal(long const*, long const*, long const*) /software/tools/gcc/12.3.0/include/c++/12.3.0/bits/stl_algobase.h:1555
#8 0x7eff614c9539 in llvm::ArrayRef::equals(llvm::ArrayRef) const /software/tools/llvm/17.0.2/llvm-project/llvm/include/llvm/ADT/ArrayRef.h:188
#9 0x7eff614c9539 in bool llvm::operator==(llvm::ArrayRef, llvm::ArrayRef) /software/tools/llvm/17.0.2/llvm-project/llvm/include/llvm/ADT/ArrayRef.h:669
#10 0x7eff614c9539 in mlir::detail::RankedTensorTypeStorage::operator==(std::tuple const&) const tools/mlir/include/mlir/IR/BuiltinTypes.cpp.inc:239
#11 0x7eff614c9539 in mlir::StorageUniquer::get(llvm::function_ref, mlir::TypeID, llvm::ArrayRef&, mlir::Type&, mlir::Attribute&)::{lambda(mlir::StorageUniquer::BaseStorage const*)#1}::operator()(mlir::StorageUniquer::BaseStorage const*) const /software/tools/llvm/17.0.2/llvm-project/mlir/include/mlir/Support/StorageUniquer.h:205


Подробнее здесь: https://stackoverflow.com/questions/795 ... ts-going-o