Fixed #4487 (False positive: variable is not assigned a value (pointer alias))