You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
probe symbols JSON: "name" field returns return TYPE, not function name #578
probe symbols --format json returns the return type in the name field instead of the function name.
Reproduction
probe symbols --format json io.c | python3 -c "import sys,jsonfor f in json.load(sys.stdin): if f.get('kind')=='function': print(f'name={f[\"name\"]:12s} signature={f[\"signature\"][:60]}')"| head -5
The name field contains the return type (void, NORETURN, size_t, char), not the function identifier. The actual function name is only recoverable by regex-parsing the signature field.
Impact
Breaks any consumer that relies on name for function identification — including proof's proptest-coverage check (which needs to enumerate functions by name and cross-reference with annotations).
Activity