There’s a toolpath for that:
For more on this see:
Undercuts can’t be modeled, so one has to take them on a bit of faith as shown in/discussed at: