Does pork enter into the ingredients of Coca-Cola, Pepsi, or in the manufacturing of Roumy cheese, and is eating or drinking them unlawful (haram)?

The basic principle regarding foods and drinks is permissibility unless there is proof of something forbidden within them. We have no شرعي (Shar'i) evidence proving that pork enters into these products. Therefore, there is no harm in consuming them unless it is proven that they are mixed with it. Prohibiting what is permissible is serious, and it is obligatory to verify and proceed with caution. If the presence of pork in a product is proven, then specialized laboratories are the trusted authority. Nevertheless, refraining from what is doubtful is considered piety (ورع) and caution in religion.