Fixed #6002 (Defect: False positive due to pointer address not being associated with variable in for loop)