python / python/cpython

[BOLT] specific build configs with packed rellocations segfault or miscompile with both GCC and Clang

オープン
#141,775 コメント 1 件 リアクション 0 件 担当者 1 名 GitHub で見る

@corona10 がすでに取り組んでいます。

2025年11月20日 から。

build OS-linux type-bug
主要言語
Python
スター
77.2k
フォーク
35.9k
PR マージ指標
PR 指標を取得中

説明

Bug report

Bug description:

Tested on Fedora Linux 43, binutils 2.45, clang/llvm/bolt 21.1.4, gcc 15.2.1, glibc 2.42

Specific build configs when using the --enable-bolt flag fail. Found these after doing testing for https://github.com/python/cpython/pull/140250, which doesn't skip the computed gotos containing functions depending on the llvm version.

While this should also ideally be reported to the llvm bug tracker as well, I'm reporting it here first, towards resolving https://github.com/python/cpython/issues/101525

GCC:

Shared build with packed relocs:
CC=gcc LDFLAGS="-Wl,-z,pack-relative-relocs" ./configure --enable-bolt --enable-shared && make -j

On 3.14 segfaults, also with https://github.com/python/cpython/pull/140250
On main it passes
On main segfaults with https://github.com/python/cpython/pull/140250 when not skipping computed gotos functions

Shared build with LTO and packed relocs:
CC=gcc LDFLAGS="-Wl,-z,pack-relative-relocs" ./configure --with-lto --enable-bolt --enable-shared && make -j

On 3.14 bolt complains about adding sre_ucs2_match.lto_priv.0/1 to --skip-funcs
On 3.14 segfaults with https://github.com/python/cpython/pull/140250
On main segfaults, also with https://github.com/python/cpython/pull/140250

Shared build with PGO and packed relocs:
CC=gcc LDFLAGS="-Wl,-z,pack-relative-relocs" ./configure --enable-optimizations --enable-bolt --enable-shared && make -j

On 3.14 passes, also with https://github.com/python/cpython/pull/140250
On main segfaults, also with https://github.com/python/cpython/pull/140250

Shared build with LTO, PGO and packed relocs (the current Fedora built RPM):
CC=gcc LDFLAGS="-Wl,-z,pack-relative-relocs" ./configure --with-lto --enable-optimizations --enable-bolt --enable-shared && make -j

On 3.14 bolt complains about adding sre_ucs1_match.lto_priv.0/1 to --skip-funcs
On 3.14 segfaults with https://github.com/python/cpython/pull/140250
On main segfaults also with https://github.com/python/cpython/pull/140250

Clang:

clang builds might need enforcement of DWARF 4, already reported https://github.com/llvm/llvm-project/issues/121554

Shared build with packed relocs:
CC=clang CXX=clang++ CFLAGS="-gdwarf-4" LDFLAGS="-Wl,-z,pack-relative-relocs" ./configure --enable-bolt --enable-shared && make -j

On 3.14 passes, also with https://github.com/python/cpython/pull/140250
On main passes
On main miscompiles the library with https://github.com/python/cpython/pull/140250 (aka without skipping computed goto functions)

Shared build with LTO and packed relocs:
CC=clang CXX=clang++ CFLAGS="-gdwarf-4" LDFLAGS="-Wl,-z,pack-relative-relocs" ./configure --with-lto --enable-bolt --enable-shared && make -j

On 3.14 segfaults, also with https://github.com/python/cpython/pull/140250
On main passes
On main segfaults with https://github.com/python/cpython/pull/140250

Shared build with PGO and packed relocs:
CC=clang CXX=clang++ CFLAGS="-gdwarf-4" LDFLAGS="-Wl,-z,pack-relative-relocs" ./configure --enable-optimizations --enable-bolt --enable-shared && make -j

On 3.14 it segfaults, also with https://github.com/python/cpython/pull/140250
On main it miscompiles the library, also with https://github.com/python/cpython/pull/140250

Shared build with LTO, PGO and packed relocs:
CC=clang CXX=clang++ CFLAGS="-gdwarf-4" LDFLAGS="-Wl,-z,pack-relative-relocs" ./configure --with-lto --enable-optimizations --enable-bolt --enable-shared && make -j

On 3.14 passes
On 3.14 segfaults with https://github.com/python/cpython/pull/140250
On main miscompiles the library, also with https://github.com/python/cpython/pull/140250

CPython versions tested on:

3.15, 3.14

Operating systems tested on:

Linux

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

評価

この issue はまだ評価されていません。

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。