Taxes don't directly pay for military spending. If tax revenue, for whatever reason, dropped off a cliff, they'd continue giving money to the DoD, and just increase debt / money printing to cover the difference.
If there's not enough money from taxes, they will borrow/print more to cover total deficit (not specific to DoD). Otherwise, tax money will go directly to DoD.
