Files
nethack/src
Pasi Kallinen 79496b079a Fix splitting monster being killed twice
Fuzzer encountered "m_detach: monster already detached?"

A monster hit a black pudding that split. The clone was
created on top of a rolling boulder trap, which triggered,
the boulder hit the original black pudding, and killed it.
The dead pudding then retaliated (as the code didn't check
if it was dead) and a passive attack of the other monster
tried to kill the already dead pudding.

I think one of these checks would be enough, but adding the
DEADMONSTER check just in case.
2023-10-21 19:49:49 +03:00
..
2022-02-04 09:41:30 -05:00
2023-02-08 17:17:43 -05:00
2023-10-19 22:39:18 -07:00
2023-06-21 03:31:41 -07:00
2023-04-27 14:53:28 -07:00
2023-06-14 06:13:11 -07:00
2023-09-16 17:48:51 -07:00
2023-10-12 18:45:14 -07:00
2022-10-29 10:54:25 -04:00
2023-10-12 18:45:14 -07:00
2023-06-14 16:14:18 -07:00
2023-09-23 17:25:24 +03:00
2023-08-30 13:38:08 -07:00
2023-10-14 00:01:33 -07:00
2023-09-07 20:55:07 -04:00
2023-05-04 06:02:23 -07:00
2023-03-16 22:27:01 -04:00
2022-11-29 21:53:21 -05:00
2023-09-24 16:06:24 -07:00
2023-03-16 22:27:01 -04:00
2023-10-21 03:40:56 -07:00
2023-10-14 00:41:13 -07:00
2022-09-19 17:32:42 -04:00
2023-08-15 14:12:52 -04:00
2023-07-22 17:54:12 -07:00
2023-05-29 22:39:43 -04:00
2023-09-28 18:47:06 -07:00
2023-10-02 20:25:58 +03:00
2022-11-29 21:53:21 -05:00
2023-07-12 09:48:24 -07:00
2023-10-16 11:28:01 +03:00
2023-04-22 16:10:37 -07:00
2023-05-06 23:12:59 +03:00
2023-10-11 20:22:56 +03:00
2023-03-16 22:27:01 -04:00
2023-10-02 13:05:15 +03:00
2022-11-29 21:53:21 -05:00
2022-11-19 00:49:11 -08:00
2022-12-22 15:07:33 -08:00
2023-05-04 06:02:23 -07:00
2023-04-15 14:25:52 +03:00
2023-10-16 09:11:05 -04:00
2023-05-15 23:14:26 -04:00
2023-09-19 14:40:33 -07:00
2023-04-29 02:18:29 -07:00
2023-04-17 18:47:05 +03:00
2023-03-11 15:12:02 -05:00
2023-04-27 14:53:28 -07:00
2023-05-04 06:02:23 -07:00
2023-02-06 19:23:42 +02:00
2023-09-19 14:40:33 -07:00
2023-10-03 10:57:29 +03:00
2023-03-16 22:27:01 -04:00
2023-08-26 14:13:03 +03:00
2023-10-19 00:28:19 -07:00