Fixed #1374 (false negative: using uninitialized variable in printf)