carbon-language/carbon-lang

Invalid parse tree generated

Open

#7247 aperta il 21 mag 2026

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)C++ (1535 fork)batch import
good first issuetoolchain

Metriche repository

Star
 (33.701 star)
Metriche merge PR
 (Merge medio 3g 6h) (129 PR mergiate in 30 g)

Descrizione

What did you do, or what's a simple way to reproduce the bug?

echo 'fn{p>fn()}' > /tmp/fuzz.carbon
bazel run -c dbg //toolchain -- compile --phase=parse /tmp/fuzz.carbon

What did you expect to happen?

Diagnostics reported, and completing without crashing.

What actually happened?

FATAL failure at toolchain/parse/parse.cpp:68: Invalid tree returned by Parse(): NodeId #nodeA couldn't be extracted as a FunctionDefinition. Trace:
Aggregate N6Carbon5Parse18FunctionDefinitionE: begin
Vector: begin
NodeIdInCategory Decl|Statement: kind ExprStatement consumed
NodeIdInCategory Decl|Statement error: kind IdentifierNameExpr doesn't match
Vector: end
NodeIdForKind error: wrong kind IdentifierNameExpr, expected FunctionDefinitionStart
Aggregate N6Carbon5Parse18FunctionDefinitionE: error
Error: IdentifierNameExpr node left unconsumed.

Any other information, logs, or outputs that you want to share?

The checking of the produce parse tree does not occur in an -c opt build.

This issue was found by fuzzing.

Guida contributor

Direzione di ricerca
Investigare la generazione dell'albero di analisi per l'input dato, concentrandosi su come il parser gestisce il modello di definizione della funzione e perché produce un albero non valido. Controllare la traccia dell'errore da parse.cpp che indica che ci si aspetta un nodo FunctionDefinition ma è stato trovato IdentifierNameExpr. Esaminare le regole di analisi per le definizioni di funzione.
Tech stack
cpp
Dominio
backend
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
C++Bazel
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
45