corrected false positive for for loop declarations of pointers