Berthold Stoeger
06d7ba082e
cleanup: Fix a Coverity warning
...
Two pointers were checked against NULL and then both were
dereferenced if at least one was not NULL. Of course, this
should have been an and, not an or expression.
That said, this is a semi-false positive, since both pointers
are set in the constructor and therefore never can be NULL.
In principle, one could remove the whole check. Of course,
realizing that would require a global analysis by Coverity,
which I reckon it doesn't do.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
2022-02-15 09:30:43 -08:00
..
2015-10-30 10:36:49 -07:00
2021-10-27 12:37:31 -07:00
2021-01-10 15:16:52 -08:00
2020-09-12 08:36:10 -07:00
2021-12-13 11:54:24 -08:00
2022-01-17 14:18:59 -08:00
2020-10-26 19:27:03 -07:00
2017-11-30 23:14:46 -08:00
2020-09-29 16:13:03 -07:00
2020-11-07 15:23:53 -08:00
2020-12-17 13:03:56 -08:00
2019-02-14 09:05:58 -08:00
2021-12-17 11:54:23 -08:00
2021-09-19 16:51:46 -07:00
2020-10-06 10:38:45 -07:00
2018-04-27 21:33:47 +03:00
2021-05-19 15:15:34 -07:00
2021-08-12 20:57:26 +02:00
2020-12-12 15:52:40 -08:00
2021-12-17 11:54:23 -08:00
2019-12-03 21:30:39 -08:00
2020-04-18 12:08:48 -07:00
2021-10-27 12:36:27 -07:00
2020-10-23 18:17:02 -07:00
2017-11-30 23:14:46 -08:00
2020-12-03 10:32:20 -08:00
2020-05-06 13:58:09 -07:00
2021-12-17 11:54:23 -08:00
2020-12-12 15:52:40 -08:00
2018-03-02 08:38:22 -08:00
2019-12-11 11:08:51 -05:00
2019-12-11 11:08:51 -05:00
2015-10-30 10:36:49 -07:00
2020-01-10 02:37:03 +09:00
2019-05-06 10:48:44 +02:00
2019-05-06 10:48:44 +02:00
2020-10-26 19:27:03 -07:00
2020-10-26 19:27:03 -07:00
2018-09-23 11:49:30 -07:00
2022-02-15 09:30:43 -08:00
2020-09-29 16:13:03 -07:00
2021-02-17 07:26:55 -08:00
2020-09-29 16:14:31 -07:00
2020-09-29 16:14:31 -07:00
2020-04-10 10:53:03 -07:00
2018-07-04 02:27:36 +08:00
2018-07-15 09:38:12 -07:00
2020-10-24 09:49:36 -07:00
2018-09-29 15:23:25 -07:00
2020-05-01 09:42:31 -07:00
2020-01-24 09:51:02 -08:00
2020-03-19 08:37:59 -07:00
2017-04-29 13:32:55 -07:00
2018-09-29 15:23:25 -07:00
2018-12-14 01:05:18 +08:00
2021-02-17 07:26:55 -08:00
2020-08-24 08:31:38 -07:00
2020-01-24 09:51:02 -08:00
2021-12-17 11:54:23 -08:00
2021-12-17 11:54:23 -08:00
2021-12-17 11:54:23 -08:00
2021-02-06 10:00:39 -08:00
2020-02-04 02:16:46 +01:00
2022-01-02 13:51:07 -08:00
2020-05-16 10:09:35 -07:00
2018-01-31 14:47:26 +01:00
2018-01-31 14:47:26 +01:00
2017-02-24 01:06:09 -08:00
2019-10-31 00:30:38 -07:00
2021-02-17 07:26:55 -08:00
2021-02-17 07:26:55 -08:00
2021-12-17 11:54:23 -08:00
2021-12-17 11:54:23 -08:00
2020-12-17 13:03:56 -08:00
2020-12-17 13:03:56 -08:00
2020-09-03 11:46:16 -07:00
2022-02-13 15:00:38 -08:00
2021-12-17 11:54:23 -08:00
2021-12-17 11:54:23 -08:00
2015-10-30 10:36:49 -07:00
2015-10-30 10:36:49 -07:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2021-09-22 09:09:12 -07:00
2017-11-30 23:14:46 -08:00
2021-11-24 10:53:26 -08:00
2021-09-22 09:09:12 -07:00
2020-10-26 19:27:03 -07:00
2020-10-26 19:27:03 -07:00
2022-01-04 11:14:24 -08:00
2022-01-04 11:14:24 -08:00
2022-01-04 11:14:24 -08:00
2021-07-23 11:22:43 -07:00
2020-10-26 19:27:03 -07:00
2020-11-07 11:37:51 -08:00
2019-12-05 10:14:25 -08:00
2015-10-30 10:36:49 -07:00
2020-10-26 19:27:03 -07:00
2020-10-24 09:50:39 -07:00
2021-02-17 07:26:55 -08:00
2020-12-17 13:03:56 -08:00
2017-03-12 09:19:03 -07:00
2021-12-17 10:33:17 -08:00
2021-02-17 07:26:55 -08:00
2019-04-12 18:19:07 +03:00
2019-04-12 18:19:07 +03:00
2021-12-17 10:36:13 -08:00
2020-10-03 10:01:13 -07:00
2020-10-03 10:01:13 -07:00
2021-01-06 10:18:23 -08:00
2017-04-29 13:32:55 -07:00
2018-07-15 09:38:12 -07:00
2020-10-26 19:27:03 -07:00
2019-03-20 08:45:02 -07:00
2017-11-30 23:14:46 -08:00