Simon Tatham
c5724c46a0
unifontsel: add extra double-checks of fontinfo values.
...
Coverity objected to several similar cases in this code in which I'd
checked a pointer for NULL after already having done things to it. I
think all the cases are benign, in that (as the comments tersely
mention) those checks could only fail if the unifontsel system had got
_really_ confused, in which case probably some other bug would have
been on the point of manifesting anyway. But Coverity has a point
anyway: if I'm _going_ to check those values for NULL, let's check
them consistently.
2021-04-10 08:57:24 +01:00
..
2014-02-22 18:01:32 +00:00
2018-11-03 13:47:29 +00:00
2021-04-05 18:00:16 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-11-02 08:26:14 +00:00
2021-04-05 18:00:16 +01:00
2021-04-10 08:57:24 +01:00
2020-08-13 21:08:53 +01:00
2020-06-21 16:39:47 +01:00
2018-11-03 13:45:00 +00:00
2018-11-03 13:45:00 +00:00
2021-04-10 08:56:53 +01:00
2017-12-20 10:04:02 +00:00
2019-03-31 10:35:10 +01:00
2017-11-26 11:45:48 +00:00
2019-09-08 20:29:21 +01:00
2017-11-26 11:45:48 +00:00
2019-09-08 20:29:21 +01:00
2021-03-13 13:54:59 +00:00
2019-10-14 19:42:37 +01:00
2020-01-27 19:40:50 +00:00
2021-01-17 09:18:42 +00:00
2020-03-10 21:27:57 +00:00
2020-02-07 19:14:32 +00:00
2021-03-13 13:54:59 +00:00
2020-03-10 21:11:14 +00:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2020-03-10 21:06:29 +00:00
2017-02-15 19:32:42 +00:00
2019-09-08 20:29:21 +01:00
2018-11-03 13:45:00 +00:00
2021-04-05 18:39:40 +01:00
2021-03-27 18:39:16 +00:00
2020-06-14 15:49:36 +01:00
2019-09-08 20:29:21 +01:00
2020-02-07 19:17:45 +00:00
2020-12-13 12:36:38 +00:00
2021-02-07 19:59:20 +00:00
2020-06-27 08:11:22 +01:00
2021-02-07 19:59:20 +00:00
2019-09-08 20:29:21 +01:00
2020-06-14 15:49:36 +01:00
2020-12-23 22:26:44 +00:00
2020-06-21 16:39:47 +01:00
2020-11-04 21:50:47 +00:00
2019-10-14 19:42:37 +01:00
2019-09-08 20:29:21 +01:00
2020-02-23 16:36:27 +00:00
2020-02-09 08:51:37 +00:00
2020-06-14 15:49:36 +01:00
2020-12-24 15:39:54 +00:00
2020-12-25 06:57:35 +00:00
2020-01-29 06:44:18 +00:00
2018-05-09 09:21:27 +01:00
2019-09-08 20:29:21 +01:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00