Klever

For instance this is the case for platform drivers due to lack of function pointers analysis by verifiers:
ldv_pre_probe();
if (ldv_2_container_platform_driver->probe) {
/* Unreachable. */
ldv_2_probed_default = ldv_platform_instance_probe_2_14(ldv_2_container_platform_driver->probe, ldv_2_resource_platform_device);
}
ldv_2_probed_default = ldv_post_probe(ldv_2_probed_default);
...

Moreover, I am not sure that something should be called if probe callback wasn't called.