Fixed #6238 (false positive with double fopen)