daphne-project/daphne

ErrorHandler segfaults when provided a mlir::FusedLoc

Aberta

#875 aberto em 23 de out. de 2024

Ver no GitHubGuia do colaborador
 (0 comentário) (0 reação) (0 responsável)C++ (84 forks)auto 404
buggood first issue

Métricas do repositório

Stars
 (80 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

See #874 , part of the stack trace from there:

#0  0x00000000020f3293 in mlir::FileLineColLoc::getFilename() const ()
#1  0x000000000162bda9 in ErrorHandler::compilerError(mlir::Location, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) ()
#2  0x000000000162c5fd in ErrorHandler::compilerError(mlir::Operation*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) ()
#3  0x00000000016a0235 in VectorizedPipelineOpLowering::matchAndRewrite(mlir::daphne::VectorizedPipelineOp, mlir::daphne::VectorizedPipelineOpAdaptor, mlir::ConversionPatternRewriter&) const ()
#4  0x0000000001688273 in mlir::OpConversionPattern<mlir::daphne::VectorizedPipelineOp>::matchAndRewrite(mlir::Operation*, llvm::ArrayRef<mlir::Value>, mlir::ConversionPatternRewriter&) const ()

The stack trace displays what happens when the ErrorHandler is passed an instance of mlir::FusedLoc, instead of an instance of mlir::FileLineColLoc as it casts the provided loc without any checks.

Guia do colaborador

Direção de pesquisa
Examine o ErrorHandler::compilerError onde ele faz cast de mlir::Location para mlir::FileLineColLoc sem verificar o tipo. Adicione um dynamic cast ou verificação de tipo para lidar com mlir::FusedLoc de forma adequada, por exemplo extraindo as localizações internas ou caindo em um comportamento padrão.
Pilha de tecnologia
cpp
Domain
backend
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
C++MLIR
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
50