https://sourceware.org/bugzilla/show_bug.cgi?id=34229
Bug ID: 34229
Summary: [RISC-V] GNU ld.bfd Zicfilp funcsig report option
ignored
Product: binutils
Version: 2.45
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ld
Assignee: unassigned at sourceware dot org
Reporter: l784896635 at gmail dot com
Target Milestone: ---
I ran into this while reducing a RISC-V linker testcase. The reproducer is
already quite small, and I have been seeing the same result consistently across
three reruns.
Summary
=======
Current GNU ld.bfd 2.45 links the legal shared object successfully but warns
`-z zicfilp-func-sig-report=warning ignored`. ld.lld 22.1.0 accepts the same
option and emits the semantic warning that `f2.o` lacks
`GNU_PROPERTY_RISCV_FEATURE_1_CFI_LP_FUNC_SIG`.
Expected behavior
=================
Validate a legal RV64 shared-object link with `-z
zicfilp-func-sig-report=warning`, so the linker must diagnose missing func-sig
LP properties instead of treating the option itself as unsupported.
Environment
===========
- product: binutils
- component: ld
- toolchain route: llvm-mc 22 plus current GNU ld.bfd 2.45 with ld.lld 22
control
- march: rv64i
- mabi: lp64
- first failing stage: link
Reduced testcase
================
--- f1-s.s ---
.section ".note.gnu.property", "a"
.balign 8
.4byte 4
.4byte (ndesc_end - ndesc_begin)
.4byte 0x5 // NT_GNU_PROPERTY_TYPE_0
.asciz "GNU"
ndesc_begin:
.balign 8
.4byte 0xc0000000 // GNU_PROPERTY_RISCV_FEATURE_1_AND
.4byte 4
.4byte 4 // GNU_PROPERTY_RISCV_FEATURE_1_CFI_LP_FUNC_SIG
.balign 8
ndesc_end:
.text
.globl _start
.type f1,%function
f1:
call f2
ret
--- f2.s ---
.text
.globl f2
.type f2,@function
f2:
.globl f3
.type f3, @function
call f3
ret
--- f3-s.s ---
.section ".note.gnu.property", "a"
.balign 8
.4byte 4
.4byte (ndesc_end - ndesc_begin)
.4byte 0x5 // NT_GNU_PROPERTY_TYPE_0
.asciz "GNU"
ndesc_begin:
.balign 8
.4byte 0xc0000000 // GNU_PROPERTY_RISCV_FEATURE_1_AND
.4byte 4
.4byte 4 // GNU_PROPERTY_RISCV_FEATURE_1_CFI_LP_FUNC_SIG
.balign 8
ndesc_end:
.text
.globl f3
.type f3,@function
f3:
ret
Reproduction notes
==================
- This packaged root does not have a single canonical `run.ps1` wrapper.
- Use the reduced inputs under `case/` and follow the commands documented in
`case/README.md`.
- Stable witness outputs, when present, are preserved under
`verify/run1..run3/`.
What I checked
==============
- Reduced inputs are preserved under case/.
- Stable witness outputs are preserved under verify/run1..run3/.
- The strict recheck says stable normalized run signatures across three runs:
True.
- Tracker guidance link:
https://sourceware.org/binutils/docs/ld/Bug-Reporting.html
- evidence summary: 3 clean reproductions under
hunt/verify/bfd_zicfilp_funcsig_report_option_ignored/run1..run3 are stable by
hash. In every run, the three assemblies succeed, `bfd.rc.txt` is 0 with the
same ignored-option `bfd.stderr.txt` hash, and `lld22.stderr.txt` is stable and
names `f2.o` plus the missing func-sig LP property instead of warning about the
option spelling itself.
Notes
=====
upstream/llvm-project/lld/test/ELF/riscv-feature-zicfilp-func-sig.s
Root key: bfd.riscv.zicfilp_funcsig_report_option_ignored
Case id: 20260528-bfd-zicfilp-funcsig-report-option-ignored
--
You are receiving this mail because:
You are on the CC list for the bug.
