Include the source range of the printf function in the diagnostic so it gets underlined in the output.