llvm/llvm-project

crash when section has `.cfi_startproc` but no `.cfi_endproc`

Geschlossen

#177.852 geöffnet am 25.01.2026

Auf GitHub ansehenContributor Guide
 (7 Kommentare) (0 Reaktionen) (1 zugewiesene Person)C++ (10.782 Forks)batch import
crashgood first issuellvm:mc

Repository-Metriken

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

Beschreibung

LLVM crashes on this program

https://godbolt.org/z/9W51vc3bW

module asm ".pushsection .text.foo,\22ax\22, @progbits"
module asm ".type foo, @function"
module asm "foo:"
module asm ".cfi_startproc"
module asm ".popsection"

module asm ".type bar, @function"
module asm "bar:"
module asm ".cfi_startproc"
module asm ".cfi_endproc"

llc: /root/llvm-project/llvm/lib/MC/MCExpr.cpp:223: llvm::MCSymbolRefExpr::MCSymbolRefExpr(const llvm::MCSymbol*, llvm::MCExpr::Spec, const llvm::MCAsmInfo*, llvm::SMLoc): Assertion `Symbol' failed.

This assembly is malformed (but in a way that might come up during development). When the .popsection is removed, we actually get a nice error:

<inline asm>:8:1: error: starting new .cfi frame before finishing the previous one
.cfi_endproc
^
Compiler returned: 1

I think that .popsection should emit an error when the section opened a CFI scope that wasn't yet closed.

Contributor Guide

Research-Richtung
Investigate the assembly parsing code, likely in llvm/lib/MC/MCParser/AsmParser.cpp or MCStreamer.cpp, to understand how .cfi startproc and .cfi endproc directives are tracked. The issue suggests that .popsection should emit an error when a CFI scope is left open. Look for where section push/pop operations are handled and add a check for pending CFI frames before allowing a section pop. The existing error message 'starting new .cfi frame before finishing the previous one' indicates the tracking mechanism exists; extend it to .popsection.
Tech Stack
cpp
Domain
tooling
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
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
understanding of CFI directivesfamiliarity with LLVM MC layer
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40