Hein-Pieter van Braam
cacced7e50
Convert Object::cast_to() to the static version
...
Currently we rely on some undefined behavior when Object->cast_to() gets
called with a Null pointer. This used to work fine with GCC < 6 but
newer versions of GCC remove all codepaths in which the this pointer is
Null. However, the non-static cast_to() was supposed to be null safe.
This patch makes cast_to() Null safe and removes the now redundant Null
checks where they existed.
It is explained in this article: https://www.viva64.com/en/b/0226/
2017-08-24 23:08:24 +02:00
..
2017-07-30 22:53:40 +02:00
2017-07-17 22:18:58 -03:00
2017-08-10 07:17:50 +02:00
2017-04-08 00:11:42 +02:00
2017-04-08 00:11:42 +02:00
2017-08-16 17:22:23 +02:00
2017-08-16 17:22:23 +02:00
2017-08-21 15:15:55 -04:00
2017-06-08 23:48:14 -05:00
2017-04-28 21:19:23 +02:00
2017-04-08 00:11:42 +02:00
2017-07-30 22:53:40 +02:00
2017-08-16 17:22:23 +02:00
2017-07-30 22:53:40 +02:00
2017-04-08 00:11:42 +02:00
2017-08-08 21:43:19 -04:00
2017-04-08 00:11:42 +02:00
2017-08-16 17:22:23 +02:00
2017-04-28 21:19:23 +02:00
2017-08-20 22:07:43 +02:00
2017-08-20 22:07:43 +02:00
2017-08-20 13:53:02 -05:00
2017-08-20 13:53:02 -05:00
2017-04-08 00:11:42 +02:00
2017-08-16 17:22:23 +02:00
2017-08-20 22:07:43 +02:00
2017-04-08 00:11:42 +02:00
2017-08-16 17:22:23 +02:00
2017-04-08 00:11:42 +02:00
2017-08-24 23:08:24 +02:00
2017-08-18 10:59:31 -03:00
2017-08-20 22:07:43 +02:00
2017-04-08 00:11:42 +02:00
2017-08-10 07:17:50 +02:00
2017-08-14 13:28:06 -04:00
2017-08-18 10:59:31 -03:00
2017-08-18 10:59:31 -03:00
2017-04-08 00:11:42 +02:00
2017-04-08 00:11:42 +02:00
2017-08-24 23:08:24 +02:00
2017-08-08 12:02:49 +07:00
2017-08-15 01:13:41 +02:00
2017-08-15 01:13:41 +02:00
2017-08-10 07:17:50 +02:00
2017-06-28 17:01:35 -03:00
2017-07-30 22:53:40 +02:00
2017-04-08 00:11:42 +02:00
2017-04-28 21:19:23 +02:00
2017-08-20 22:07:43 +02:00
2017-04-08 00:11:42 +02:00
2017-08-20 22:07:43 +02:00
2017-04-08 00:11:42 +02:00
2017-08-14 13:19:02 +02:00
2017-04-08 00:11:42 +02:00
2017-08-10 07:17:50 +02:00
2017-08-14 13:28:06 -04:00
2017-07-12 21:49:22 +07:00
2017-04-08 00:11:42 +02:00
2017-08-20 22:07:43 +02:00
2017-04-08 00:11:42 +02:00
2017-04-28 21:19:23 +02:00