Ah, almost forgot. Wasn't all that important but it happened to me again 3-4 days ago. I had an alarm set for 4 AM and it did not ring. I woke up at 7 AM naturally and the phone hadn't auto rebooted, I could still unlock with the fingerprint. So the auto-reboot doesn't affect it/isn't the only thing that can affect it.