Yes it seems to be actually deleted. I'm using the built in system Clock app (that also handles alarms, stopwatch, countdown timer). If I tap the system notification that "you missed an alarm that has been deleted", it launches the Clock app and indeed shows that the alarm that was set is indeed...