Project

General

Profile

Actions

Bug #8045

open

EMG should invoke post_probe() when probe callback is not called

Added by Evgeny Novikov over 7 years ago.

Status:
New
Priority:
High
Assignee:
Category:
Environment models
Target version:
-
Start date:
03/21/2017
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

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.

No data to display

Actions

Also available in: Atom PDF