Files
nethack/src
PatR 97a1724f17 avoid drinksink() complaint from gcc13.1 -fanalyze
'Fix' fountain.c:598:18: warning: check of 'otmp' for NULL after
already dereferencing it [-Wanalyzer-deref-before-check]

The original code was ok.  Either the analyzer has a bug or NONNULL
in extern.h's 'extern struct obj *mkobj(int, boolean) NONNULL;' is
not expanding to the expected value.

This replacement code should be easier to comprehend and with any
luck be simpler to analyze.
2023-06-17 20:28:07 -07:00
..
2022-02-04 09:41:30 -05:00
2023-02-08 17:17:43 -05:00
2023-06-04 00:22:14 -07:00
2023-04-27 14:53:28 -07:00
2023-06-14 06:13:11 -07:00
2023-06-09 16:09:26 -07:00
2023-06-04 00:22:14 -07:00
2023-05-22 14:43:01 -07:00
2023-06-14 06:13:11 -07:00
2023-04-29 01:48:11 -07:00
2022-10-29 10:54:25 -04:00
2023-06-14 16:14:18 -07:00
2023-06-12 15:07:34 -07:00
2023-04-11 14:21:06 +03:00
2023-06-14 15:54:04 -07:00
2023-04-27 14:53:28 -07:00
2023-06-04 00:22:14 -07: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-05-31 22:17:07 -04:00
2023-06-14 06:13:11 -07:00
2023-03-16 22:27:01 -04:00
2022-09-19 17:32:42 -04:00
2023-04-21 14:32:43 -07:00
2023-04-27 14:53:28 -07:00
2023-05-29 22:39:43 -04:00
2023-06-14 06:13:11 -07:00
2023-04-11 14:21:06 +03:00
2023-06-12 15:07:34 -07:00
2022-11-29 21:53:21 -05:00
2023-06-12 15:07:34 -07:00
2023-06-14 15:54:04 -07:00
2023-06-17 14:15:49 -07:00
2023-05-28 13:19:53 -07:00
2023-04-22 16:10:37 -07:00
2023-04-27 14:53:28 -07:00
2023-06-14 06:13:11 -07:00
2023-05-06 23:12:59 +03:00
2023-04-21 14:32:43 -07:00
2023-06-14 15:54:04 -07:00
2023-05-25 15:43:37 -07:00
2023-03-16 22:27:01 -04:00
2023-03-16 22:27:01 -04:00
2023-04-24 16:34:48 -07:00
2023-05-15 01:08:04 -07:00
2023-04-19 14:37:55 +03:00
2023-06-17 14:15:49 -07:00
2023-06-17 14:15:49 -07:00
2023-06-14 06:13:11 -07:00
2023-03-16 22:27:01 -04:00
2023-05-11 12:12:12 -07: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-04-27 14:53:28 -07:00
2023-05-15 23:14:26 -04:00
2023-06-12 15:07:34 -07:00
2023-04-29 02:18:29 -07:00
2023-04-17 18:47:05 +03:00
2023-05-08 15:21:03 -07:00
2023-03-11 15:12:02 -05:00
2023-06-17 13:27:40 -07:00
2023-04-27 14:53:28 -07:00
2023-05-28 15:22:43 -07:00
2023-06-06 17:50:08 -04:00
2023-05-04 06:02:23 -07:00
2022-11-29 21:53:21 -05:00
2023-02-06 19:23:42 +02:00
2023-02-19 15:56:18 +02:00
2023-05-11 18:48:02 +03:00
2023-03-18 21:47:34 -07:00
2023-03-19 19:36:52 +02:00
2023-03-16 22:27:01 -04:00
2023-04-27 14:53:28 -07:00
2022-11-29 21:53:21 -05:00
2023-06-14 15:54:04 -07:00