If a process is allowed to execute code, it's always allowed to execute arbitrary code as well. Those two are fully intertwined, be it via dynamic executable code, ROP chains, because it has an interpreter, or because the initial binary itself already is the malicious payload in the first place.

To the OS those are all identical scenarios, it's irrelevant what caused the arbitrary code execution to happen.