Valgrind shows an error because the overflow by ref variable is not initialized if b==0.
overflow
ATR-27691