golang/go

x/debug: viewcore can't type some stack variables

Open

#73,035 opened on Mar 25, 2025

View on GitHub
 (1 comment) (0 reactions) (2 assignees)Go (133,883 stars) (19,008 forks)batch import
FeatureRequestNeedsInvestigationcompiler/runtimehelp wanted

Description

Some stack variables in viewcore and gocore are ignored because gocore doesn't handle them properly. I don't fully understand this yet, but @thanm made us aware of this issue and helpfully left a comment in the code:

"Instead what the code above should be doing is caching any abstract variables it encounters in a map (indexed by DWARF offset), then when it encounters a concrete var, pick the name and type up from the abstract variable."

Than also linked to a design doc for this with examples: https://github.com/golang/proposal/blob/master/design/22080-dwarf-inlining.md#how-the-generated-dwarf-should-look.

Contributor guide

Tech stack
go
Domain
tooling
Issue type
bug
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
4
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
over 1 week
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
blocked
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
mostly clear
Prerequisites
DWARF debug informationGo runtime debuggingcore dump analysisgocore/viewcore
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
20
Research direction
The issue is in the x/debug package, specifically in gocore/viewcore. The comment suggests caching abstract variables indexed by DWARF offset. Investigate the design proposal at https://github.com/golang/proposal/blob/master/design/22080 dwarf inlining.md for examples. Look at the code around the comment left by @thanm. The abstract variable handling needs to be implemented; the concrete variable should pick name and type from cached abstract variable.
x/debug: viewcore can't type some stack variables · golang/go#73035 | Good First Issue