Fixed #5560 (false positive: C-style pointer casting)