solc hangs when compiling with `addmod`

[rhaoio]

Description

solc will hang when compiling a library using addmod in a function call. I tested this on Remix, Ubuntu 20.04, Ubuntu 22.04 and it only hangs in:

Ubuntu 22.04 - installed via apt-get. The resulting binary appears to be dynamically linked. Interestingly, Ubuntu 20.04 installs a static binary and it will compile.

Environment

• Compiler version:0.8.30+commit.73712a01.Linux.g++
• Compilation pipeline (legacy, IR, EOF): legacy (simple just solc --input-file test.sol
• Target EVM version (as per compiler settings): prague
• Framework/IDE (e.g. Foundry, Hardhat, Remix): ethers-rs / cli
• EVM execution environment / backend / blockchain client:
• Operating system: Ubuntu 22.04

Steps to Reproduce

Install 0.8.30+commit.73712a01.Linux.g++ via the following steps on UBUNTU 22.04
(from solidity website)

sudo add-apt-repository ppa:ethereum/ethereum
sudo apt-get update
sudo apt-get install solc

Compile the below library

touch test.sol
solc --input-file test.sol

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.13;

library TestAddmodVariants {
    uint256 constant q_mod = 21888242871839275222246405745257275088548364400416034343698204186575808495617;

    function simple_add(uint256 a, uint256 b) internal pure returns (uint256) {
        return addmod(a, b, q_mod);
    }
}

This should hang on Ubuntu 22.04, using the dynamically linked compiler.
Ldd info for 22.04

ldd $(which solc)
        linux-vdso.so.1 (0x00007fff86fc0000)
        libstdc++.so.6 => /lib/x86_64-linux-gnu/libstdc++.so.6 (0x0000736f6ba00000)
        libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x0000736f6c9dd000)
        libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x0000736f6b600000)
        libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x0000736f6bd19000)
        /lib64/ld-linux-x86-64.so.2 (0x0000736f6ca0a000)

Would appreciate if someone could reproduce this!

[nimishdudhe01]

I am able to reproduce the issue on a Ubuntu 22.04 Virtual Machine

Here's the last few lines of output of ltrace and strace where the program hangs:

ltrace:

memcpy(0x7fff11283090, "\001\0\0\0\0\0\0\0", 8)                                                                               = 0x7fff11283090
_ZdlPvm(0x647fb662ce90, 64, 1, 1)                                                                                             = 0
_ZdlPvm(0x647fb662ddd0, 144, 0x6479f199ba6c, 3)                                                                               = 0
_ZdlPvm(0x647fb662cee0, 64, 0x647fb662d, 8)                                                                                   = 0
_ZdlPvm(0x647fb662dc90, 144, 0x6479f199a8bc, 3)                                                                               = 0
_ZdlPvm(0x647fb662d0e0, 64, 0x6479f199bbfd, 8)                                                                                = 0
_ZdlPvm(0x647fb662dd30, 144, 0x6479f199a8cd, 3)                                                                               = 0
_ZdlPvm(0x647fb662db30, 48, 1, 8)                                                                                             = 0
--- SIGINT (Interrupt) ---

strace:

newfstatat(AT_FDCWD, "/root/test.sol", {st_mode=S_IFREG|0644, st_size=304, ...}, 0) = 0
newfstatat(AT_FDCWD, "/", {st_mode=S_IFDIR|0755, st_size=4096, ...}, AT_SYMLINK_NOFOLLOW) = 0
newfstatat(AT_FDCWD, "/root", {st_mode=S_IFDIR|0700, st_size=4096, ...}, AT_SYMLINK_NOFOLLOW) = 0
newfstatat(AT_FDCWD, "/root/test.sol", {st_mode=S_IFREG|0644, st_size=304, ...}, AT_SYMLINK_NOFOLLOW) = 0
ioctl(2, TCGETS, 0x7ffef1ee5060)        = -1 ENOTTY (Inappropriate ioctl for device)
--- SIGINT {si_signo=SIGINT, si_code=SI_KERNEL} ---

Works fine on a WSL though. Ubuntu 24.04

┌──(nimishd㉿REDACTED)-[~]
└─$ nano test.sol

┌──(nimishd㉿REDACTED)-[~]
└─$ solc --input-file test.sol
Compiler run successful. No output generated.

┌──(nimishd㉿REDACTED)-[~]
└─$ ldd $(which solc)
        linux-vdso.so.1 (0x00007ffd5e69d000)
        libstdc++.so.6 => /lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007f2fe01ed000)
        libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007f2fe01bf000)
        libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f2fdffad000)
        libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f2fdfec4000)
        /lib64/ld-linux-x86-64.so.2 (0x00007f2fe0f7b000)

┌──(nimishd㉿REDACTED)-[~]
└─$ cat test.sol                                                                                       // SPDX-License-Identifier: MIT
pragma solidity ^0.8.13;

library TestAddmodVariants {
    uint256 constant q_mod = 21888242871839275222246405745257275088548364400416034343698204186575808495617;

    function simple_add(uint256 a, uint256 b) internal pure returns (uint256) {
        return addmod(a, b, q_mod);
    }
}

Below attached are the ltrace and strace logs from the Ubuntu 22.04 VM.
ltrace.txt
strace.txt