Bug #7262
closed
EMG generates unused variables
Added by Pavel Andrianov over 8 years ago.
Updated about 5 years ago.
Category:
Environment models
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.
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.
- 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.
- 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.
Also available in: Atom
PDF