The bug occurs when compiling the C file (red.c) with optimization level -O3 for the RISC-V rv64gcv target.

red.c

red-f332ba.c

verbose-log.txt

Also, check reply for contents of script red-f332ba.sh.