> I came across this problem while running a small test where a timer is > created and deleted after that a call to timer_settime is made. This is invoking undefined behavior and deserves to crash.