llvm / llvm/llvm-project

[Polly] clang crashes in ZoneAlgorithm::computeKnownFromLoad with -O3 -mllvm -polly

Open
#209,716 1 comment 0 reactions 0 assignees View on GitHub
crash generated by fuzzer polly
Dominant language
LLVM
Stars
40.5k
Forks
18.7k
PR merge metrics
PR metrics pending

Description

This case was generated by fuzzer and was reduced.

Reproducer: https://godbolt.org/z/Y8v1fza38
- Attachments
- [crash.c](https://github.com/user-attachments/files/30043532/crash.c)
- [crash-bd7b93.sh](https://github.com/user-attachments/files/30043533/crash-bd7b93.sh)
- [crash-bd7b93.c](https://github.com/user-attachments/files/30043534/crash-bd7b93.c)

Compiler version: `clang version 23.0.0git (https://github.com/llvm/llvm-project.git 12ce00a865b09cb72a3ea9a84f9308236a4f6038) + assertions`

Compile command: `clang -O3 -mllvm -polly crash.c`

Backtrace: [bt.txt](https://github.com/user-attachments/files/30043639/bt.txt)

Contributor guide

Open the contributing guide

Research direction

Start by compiling the attached crash.c or crash-bd7b93.c with clang -O3 -mllvm -polly, using the Godbolt reproducer to confirm the failure. Read bt.txt and trace the crash into Polly's ZoneAlgorithm::computeKnownFromLoad; done means the reproducer no longer makes clang crash.

Written by the indexing model from the issue text.

Assessment

Tech stack
c
Domain
compilers
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.