Fixed #6226 (false negative: printf format check for user defined array type)