Hola Dark!
Pues en principio, según esos ingredientes no debe llevar grasa de cerdo.
En caso de llevarla debería poner: "manteca de cerdo" entre los ingredientes, como en los polvorones, que te lo pone claramente. O sino algo tipo: "grasas animales".
Aunque a veces pueden aparecer ingredientes animales ocultos en nombres de conservantes, colorantes, estabilizantes, etc...
Por ejemplo el colorante E120 (o carmín) se hace con hembras de cochinilla (artrópodos).
Conviene fijarse bien e informarse de estos aditivos.
Y hace mucho que no compro Donuts, pero creo recordar que no podía comerlos por la leche... Dudo muchísimo que lleven mantecas de cerdo, al menos los de toda la vida que vienen envasados, los caseros de algunas pastelerías no sé como los harán.
Saludos!