[Bug 36283] valgrind shows an invalid read in imm32/tests/imm32.c