<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/68557>68557</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Clang crashes when trying to emit some relative calls for 32-bit architectures.
</td>
</tr>
<tr>
<th>Labels</th>
<td>
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
pudy248
</td>
</tr>
</table>
<pre>
Take my speculation regarding causes with a grain of salt. Clang occasionally pushes relative call offsets outside the range of 32-bit values and then crashes upon attempting to emit assembly for them as they cannot be converted back to 32-bit values. Expected behavior (in my opinion) is that the values should over- or under-flow (and then resolve to the correct address).
[https://godbolt.org/z/czM5976cG](Godbolt link) or the source code below:
```
// For best results, compile with `clang -m32 -O1 -c example.c`. Compiling with -c
// is not necessary, but produces a considerably more verbose output, including
// an llvm stack dump. This crash occurs with every optimization level except -O0.
// The return type of this function has to be a struct, although the contents (or lack thereof)
// don't matter. I don't know enough about C to know why.
struct someStruct {} arbitrary_function();
int main() {
// The bug happens regardless of the ordering of these two lines. You can add lots of
// other things to main() and the crash still occurs, but you cannot remove anything here.
//If this is deleted, the crash goes away. Why?
arbitrary_function();
// This line causes the crash. The literal must be extremely close to 2^31 bytes away from the current
// instruction pointer, as the crash is a result of the offset of the relative jump generated.
// for this line being pushed slightly out of the domain of 32-bit integers.
// Presumably, if the offset of the relative jump successfully underflowed, this bug
// would be avoided.
((void(*)())0x80000000)();
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyEVk9v2z4S_TT0ZWBBluN_Bx-apC56WHSBLbDY04KixhIbihQ4Qzvqp_9hKDmJm0ODIJIozbzhvMc30US29YhHtXlUm-eFTtyFeBxSM1YP-0UdmvH4U78g9CPQgCY5zTZ4iNjq2FjfgtGJkOBquQMNbdTWQzgDaccFPDntWwjGaLLBa-dGGBJ1SBBRMl0QjHYOwvlMyAQhMdkGgTuEqH2LkmpdLWvLcNEuIYH2jbz2YKLOmdIQPGhm7AeWgjgA9pZBE2FfuxHOIUpED5rkOoLR3geGGsEEf8HI2ECtzYuE3oEV8PV1QJPfY6cvNkRQ1d56aUcYrLfBq-oAVhJrzmXPZVIXkmsgXDAuIURIvsG4PLtwlQxvm4hIwV1QkCXYhBjRMOimiUikqkOhymdVflGbx455ILX-oqqTqk5taOrguAixVdXpt6pO5ve_Nofd1nxTm2dV7b9NH4Cz_kVqnJoAFFI0AtQg1OjCVTJOENPfbTn_To8ZDE4hQo3EUm9yTKp6AhP6wTqcmFfb0mSul_26guWPFSwN4KvuB4eFUduygKf8vTCUI5YG7iAsgZDi0SCRjqNA1IlhiKFJRogXtkQdUQurfYgIF4x1IBTdDIklxHrjkgjzLrn24NylB2KhuUn9UMDPztIkIhFoirOG8YJRyGXb29-T2B1e0AG-GhwYlj_K4q5hE8JPUSxyih54HLJuWQDOyZucpBP1BRGdBuKYTC5XO-5CaruZfc_omUQhIYLLkuwwYjir6nAH14jwdgy9CD8W8P1t5cWHK6DPSXUdEsOT4OblazfOtU8VAIUe_zPdqt2j2j2DjrXlqOP4_1vlqtoL-vpxirReUO28nMPyOgDAh17UqYVODwN6ms3CIdHUFoQQG4wihemZEPgaRKpy5v4XkhxROQTgAuegTxhBGiMt9m3u64eS5sM1c0tsxWAywzdNjROC6C1iHy4I2o85F0i77_h9x_w-U2oJGnTI2Ei-d6Q2iEqveizgv92o1qf3BH_takb53EdLuSk3k33DKnKPnWWM2kGfKLsZvnLEHt0Ixsmp4ACV2nxdr6Aeea4NzjH0U6IUI3r-hGr9JA4R7RCsZ4xZqR_gpQV69oI3SrOF357e7P1X6gdo0WPUjE3xCW0y59s-axQO8ohogJxtO3ajnO5b3ib084CZjVrqazHS58z_lvp68YrsC3-vkpIR7zknGVPZr8WubyxbEk1_Qrlmm5dTfQm2-WOHe1XtZTnffRG-J9arQ_m6L6ef99WbFtTu-Q8vXjTHdXNYH_QCj6vtYbtfPxwetovuuNG7w4PemLXeoqm2Z9TNSq90vd43--2mXC3ssSqr9aosD-WurKptsd9UutyaEg_VarM5oHoosdfWFeKPMk0WlijhcbvfbHYLp2t0dPvnIB7lo2WdWlIPpbPE9B7Glh0ep4F_G81XGXEcx49jWSznfvpTFsHMp46ms4yGU0QqFim64x-Dz3KX6sKEXlUnQZ8vyyGGXyiueso7IFWd8ib-CQAA__9xjugP">