I can't actually see a reference to bad debt provisioning!
IAS39 (para 63) “the amount of the loss is measured as the difference between the asset’s carrying amount andthe present value of estimate future cash flows… Discounted at the financial asset’s original effective interest rate.”