llvm/llvm-project

[OpenMP] Assertion `llvm::isUIntN(BitWidth, val) && "Value is not an N-bit unsigned value"' failed.

Offen

#139.268 geöffnet am 09.05.2025

Auf GitHub ansehenContributor Guide
 (9 Kommentare) (0 Reaktionen) (1 zugewiesene Person)C++ (10.782 Forks)batch import
clang:frontendclang:openmpconfirmedcrashgood first issue

Repository-Metriken

Stars
 (26.378 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 1T 2h) (1.000 gemergte PRs in 30 T)

Beschreibung

Reproducible on Godbolt: https://godbolt.org/z/xzM7oEf33

void f(void) {
#pragma omp unroll partial(0xFFFFFFFFF)
  for (int i = 0; i < 10; i++)
    ;
}

Contributor Guide

Research-Richtung
Das Problem tritt mit einem Assertion Fehler bei Verwendung von `#pragma omp unroll partial(0xFFFFFFFFF)` auf. Die Assertion liegt in der internen Wertdarstellung von LLVM. Die Untersuchung sollte sich auf die OpenMP Unroll Implementierung in Clangs Sema oder Codegen konzentrieren, insbesondere darauf, wie das Argument der Partial Klausel für sehr große Werte behandelt wird. Die relevanten Quelldateien befinden sich wahrscheinlich in `clang/lib/Sema` oder in `llvm/lib/Transforms/IPO` im Zusammenhang mit Loop Unrolling. Überprüfen Sie die Auswertung des konstanten Ausdrucks und stellen Sie sicher, dass der Wert in die erwartete Bitbreite passt.
Tech Stack
Keine
Domain
backend
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
4
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
3-5 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
C++compiler concepts
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40