Fixed #4628 (False positive: Variable is assigned a value that is never used)