Hi Haozhong, Paolo, KMSAN bot is hitting this warning every now and then. Is it possible to replace it with a pr_warn()?
-- Alexander Potapenko Software Engineer Google Germany GmbH Erika-Mann-Straße, 33 80636 München Geschäftsführer: Paul Manicle, Halimah DeLaine Prado Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg
