Project

General

Profile

Actions
Copy link

Feature #11808

closed

Develop model and test for i2c_match_id()

Added by Evgeny Novikov over 2 years ago. Updated over 2 years ago.

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Category:
Environment models
Target version:
3.7
Start date:
08/08/2022
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

I2C drivers have another variant of probe() (called probe_new()) that does not accept a pointer to struct i2c_device_id generated by EMG for ordinary I2C drivers. Instead, they get it by using i2c_match_id() when necessary. We need to model it and test the model. There are ~3.5% of all false alarms at verification of Linux device drivers due to lack of this model.

Actions
Copy link
 #1

Updated by Evgeny Novikov over 2 years ago

  • Status changed from New to Resolved

I did the job in branch i2c_match_id-model-and-test. Evaluation on corresponding false alarms showed that there are either timeouts or false alarms due to other reasons when using the new model. Let's test it carefully.

Actions
Copy link
 #2

Updated by Evgeny Novikov over 2 years ago

  • Status changed from Resolved to Closed

All tests passed well. There is no more questions to i2c_match_id(), so I merged the branch to master in 1071135.

Actions
Copy link

Also available in: Atom PDF