Feature #8664
closedRefactor relating build commands
0%
Description
Sometimes LKVOG fails with error messages like this:
[AVODG1] Raise exception: Traceback (most recent call last): File "/home/debian/klever/core/core/components.py", line 413, in run self.main() File "/home/debian/klever/core/core/components.py", line 320, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/components.py", line 318, in callbacks_caller ret = attr(*args[1:], **kwargs) File "/home/debian/klever/core/core/lkvog/__init__.py", line 287, in generate_all_verification_obj_descs self.generate_verification_obj_desc() File "/home/debian/klever/core/core/components.py", line 320, in callbacks_caller ret = attr(*args, **kwargs) File "/home/debian/klever/core/core/lkvog/__init__.py", line 319, in generate_verification_obj_desc cc_full_desc_files = self.__find_cc_full_desc_files(module.id) File "/home/debian/klever/core/core/lkvog/__init__.py", line 458, in __find_cc_full_desc_files cc_full_desc_files.extend(self.__find_cc_full_desc_files(in_file)) File "/home/debian/klever/core/core/lkvog/__init__.py", line 444, in __find_cc_full_desc_files out_file_desc = self.linux_kernel_build_cmd_out_file_desc[out_file][-1] File "<string>", line 2, in __getitem__ File "/usr/lib/python3.5/multiprocessing/managers.py", line 732, in _callmethod raise convert_to_error(kind, result) KeyError: 'drivers/hid/.tmp_hid-gyration.o'
First of all I suppose to avoid treating such the errors as critical ones since often just a couple of verification objects couldn't be generated while thousands ones could be. Later we will be able to create notes for these warnings to attract user attention (#8529).
Also, such error messages provide very little information for following debugging. So, it can take much additional time to identify corresponding issues. I suppose to at least show in error messages some information on all build commands participating in failed generation of verification objects. For instance, generate verification object drivers/hid/hid-gyration.ko, find out CC build commands for drivers/hid/hid-gyration.o and so on. Besides, it would be great to remember and to show all other build command consumers. For instance, CC build commands for drivers/hid/hid-gyration.o were found out earlier when generating verification object drivers/hid/hid.ko.
Updated by Evgeny Novikov almost 7 years ago
- Related to Bug #8606: Could not find build command description for drivers/extcon/extcon-core.o of Linux 4.9.65 added
Updated by Evgeny Novikov almost 7 years ago
- Related to Bug #8258: LKVOG crash on module 'drivers/misc/lkdtm.ko' added
Updated by Evgeny Novikov almost 7 years ago
- Related to Bug #8666: Acquire locks when dealing when build commands cache added
Updated by Alexey Polushkin almost 7 years ago
- Status changed from New to Resolved
Resolved in branch 'cc_file_warning'
Updated by Evgeny Novikov over 6 years ago
- Target version changed from 2.0 to 1.1
This issue is not strictly bound with purposes of 2.0 that targets verification of C software.
Updated by Evgeny Novikov over 6 years ago
- Related to Feature #8529: Support notices added
Updated by Evgeny Novikov over 6 years ago
- Status changed from Resolved to Open
- Assignee changed from Alexey Polushkin to Ilja Zakharov
- Target version changed from 1.1 to 2.0
There is little sense to review, to test and to merge this branch to master as for Klever 2.0 corresponding parts of LKVOG will be changed very considerably while it still has sense to change them as required by this issue.
Updated by Evgeny Novikov about 6 years ago
- Status changed from Open to Rejected
- Assignee deleted (
Ilja Zakharov)
We discussed that this issue should be done in underlying tool Clade that relates build commands at the moment.
Updated by Evgeny Novikov about 6 years ago
- Related to Feature #9290: Respect warnings issued by Clade added