Feature #10944
closedAllocate external data for platform_device.dev.platform_data
0%
Description
After fixing #10930 we started to get quite many false alarms due to fixed allocation of memory for platform_device of platform drivers. These false alarms are related with using data from undefined objects pointed by platform_device.dev.platform_data. We cannot develop good models for all related device drivers from which this data comes, so, I suggest to allocate external data for that pointer within environment models.
Updated by Evgeny Novikov over 2 years ago
- Related to Bug #10930: Fix memory allocation via $ALLOC in EMG specifications added
Updated by Evgeny Novikov over 2 years ago
- Related to deleted (Bug #10930: Fix memory allocation via $ALLOC in EMG specifications)
Updated by Evgeny Novikov over 2 years ago
- Blocks Bug #10930: Fix memory allocation via $ALLOC in EMG specifications added
Updated by Evgeny Novikov over 2 years ago
- Assignee changed from Ilja Zakharov to Evgeny Novikov
I will try to implement that feature. I expect that the most complicated part will be testing.
Updated by Evgeny Novikov over 2 years ago
- Status changed from New to Resolved
I did that directly in branch fix-alloc and it did help to return back discovering of Unsafe - Timeout for 2 target bugs. Let's see on extended testing results since this issue as well as #10930 are rather crucial.
Updated by Evgeny Novikov over 2 years ago
- Status changed from Resolved to Closed
CI tests passed after some tuning (there were not strictly negative regressions while there were several positive ones), so, I merged the branch to master in 620be6b12.