Cochineal is a food additive. Below are all the products whose label lists it, ordered just like the other lists.
Cochineal (E120) – colour. A red colour (carmine) made from cochineal insects, so it is not suitable for vegetarians and vegans.
Source: EU register of food additives (Reg. (EC) No 1333/2008) and EFSA.