Fixed #4439 (False positive: Uninitialized variable (casting address))