Bug #7262
closedEMG generates unused variables
0%
Description
Unused variable is not a problem itself, but its type is not declared (see Bug #7244). However removing such difficult variables may really helps.
Linux 4.5-rc7, drivers/net/wireless/ath/wil6210/wil6210.ko, EMG options:
"direct control function calls": false,
"omit all states": true,
"nested automata": true
Note, with the opposite options EMG generates the correct model.
Updated by Ilja Zakharov almost 8 years ago
I have not investigated reasons of why unused variables are generated, but recent improvements in EMG (emg-improvements branch) allows to check referred driver drivers/net/wireless/ath/wil6210/wil6210.ko now if it is important for you Pavel.
By the way any problems with scope is better to report as an additional issues or add them to the issue #7244 directly with increasing a priority if necessary.
Updated by Ilja Zakharov about 6 years ago
- Status changed from New to Resolved
I removed some usused variables recently in both translators. Moreover, the bug is relevant to the translator which is not used by default. Implemented in 8066-abstract-translator.
Updated by Evgeny Novikov over 4 years ago
- Status changed from Resolved to Closed
It seems that the branch was merged to master a long ago, but issues were not closed at that time.