Skip to content

C front-end: permit taking the address of built-in functions#9118

Open
tautschnig wants to merge 2 commits into
diffblue:developfrom
tautschnig:fix/builtin-address-of
Open

C front-end: permit taking the address of built-in functions#9118
tautschnig wants to merge 2 commits into
diffblue:developfrom
tautschnig:fix/builtin-address-of

C library: add model for __builtin_exit

e8177e2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
perf-benchcomp
succeeded Jul 17, 2026 in 26m 1s