Jean-Marc Lasgouttes
5e33e4fc2c
Catch improbable exception
We know that the exception is correct, but coverity does not.
It would be much better to check that at compile time...
2019-07-13 00:24:21 +02:00
..
2017-07-03 14:46:27 -04:00
2019-04-24 14:54:49 +02:00
2017-07-03 13:46:30 -04:00
2017-07-03 14:46:27 -04:00
2016-07-04 08:33:03 +02:00
2017-07-03 14:46:27 -04:00
2017-07-23 13:11:54 +02:00
2019-06-12 15:03:18 +02:00
2019-06-12 15:03:18 +02:00
2017-07-03 13:53:41 -04:00
2015-01-11 14:06:17 +01:00
2017-07-03 13:46:30 -04:00
2015-01-11 14:06:17 +01:00
2019-03-21 14:18:17 +01:00
2019-03-21 14:18:17 +01:00
2019-03-21 14:18:17 +01:00
2019-06-17 15:57:03 +02:00
2017-12-15 23:28:33 -05:00
2017-07-23 13:11:54 +02:00
2019-03-21 14:18:17 +01:00
2015-05-10 10:01:33 +02:00
2017-03-27 16:13:26 +02:00
2017-07-11 13:43:32 +02:00
2018-12-04 00:05:01 -05:00
2018-12-04 00:05:01 -05:00
2019-07-07 13:13:52 -04:00
2018-12-08 00:04:04 +01:00
2018-09-02 11:50:03 -04:00
2019-03-23 15:15:08 +01:00
2018-04-07 22:09:06 +02:00
2017-07-23 13:11:54 +02:00
2017-07-23 13:11:54 +02:00
2016-06-07 20:34:52 +02:00
2017-12-16 13:09:39 +01:00
2017-02-25 00:20:51 +01:00
2017-07-03 13:53:14 -04:00
2017-07-03 13:46:30 -04:00
2019-07-09 14:48:11 +02:00
2019-07-09 14:48:11 +02:00
2016-06-07 20:34:52 +02:00
2016-02-17 21:42:37 +01:00
2018-07-04 09:42:04 +02:00
2018-08-20 09:25:22 +02:00
2018-08-20 09:25:22 +02:00
2018-09-21 21:46:47 +02:00
2019-06-17 16:19:31 +02:00
2018-07-18 10:13:05 +02:00
2018-01-08 11:19:15 +01:00
2017-07-03 13:46:30 -04:00
2017-07-23 13:11:54 +02:00
2018-08-20 09:25:22 +02:00
2018-08-20 09:25:22 +02:00
2019-01-12 18:37:41 +01:00
2016-05-29 17:55:44 -04:00
2019-07-13 00:24:21 +02:00
2018-08-20 09:25:22 +02:00
2019-03-25 16:46:03 +01:00
2016-06-09 17:26:55 +02:00
2019-03-17 14:01:02 +01:00
2014-06-14 11:25:25 +02:00
2018-10-19 10:02:02 +02:00
2018-10-18 21:49:31 -04:00
2019-06-12 15:03:18 +02:00
2017-07-23 13:11:54 +02:00
2017-06-11 19:51:17 +02:00
2019-06-17 16:19:31 +02:00
2018-09-27 21:21:49 +02:00
2018-01-02 16:01:07 +01:00
2018-01-02 16:01:07 +01:00
2015-03-13 00:31:08 +01:00
2016-01-26 21:49:08 +01:00
2018-07-22 12:38:22 +02:00
2015-02-20 15:39:45 +01:00
2017-06-11 19:51:17 +02:00
2017-07-03 13:53:14 -04:00
2014-12-28 17:06:34 +01:00
2015-03-18 21:33:10 +01:00
2019-06-17 16:19:31 +02:00
2019-06-12 15:03:18 +02:00
2017-07-23 13:11:54 +02:00
2019-04-27 12:53:05 +02:00
2019-04-19 14:46:12 +02:00
2017-07-03 13:46:30 -04:00