Project

General

Profile

Feature #8664

Refactor relating build commands

Added by Evgeny Novikov about 1 year ago. Updated 4 months ago.

Status:
Rejected
Priority:
Urgent
Assignee:
-
Category:
Program fragments generation
Target version:
Start date:
01/15/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

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.


Related issues

Related to Klever - Bug #8606: Could not find build command description for drivers/extcon/extcon-core.o of Linux 4.9.65Closed2017-11-28

Related to Klever - Bug #8258: LKVOG crash on module 'drivers/misc/lkdtm.ko'Closed2017-06-23

Related to Klever - Bug #8666: Acquire locks when dealing when build commands cacheClosed2018-01-15

Related to Klever - Feature #8529: Support noticesNew2017-10-25

Related to Klever - Feature #9290: Respect warnings issued by CladeNew2018-09-28

History

#1 Updated by Evgeny Novikov about 1 year ago

  • Related to Bug #8606: Could not find build command description for drivers/extcon/extcon-core.o of Linux 4.9.65 added

#2 Updated by Evgeny Novikov about 1 year ago

  • Related to Bug #8258: LKVOG crash on module 'drivers/misc/lkdtm.ko' added

#3 Updated by Evgeny Novikov about 1 year ago

  • Related to Bug #8666: Acquire locks when dealing when build commands cache added

#4 Updated by Alexey Polushkin 12 months ago

  • Status changed from New to Resolved

Resolved in branch 'cc_file_warning'

#5 Updated by Evgeny Novikov 7 months 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.

#6 Updated by Evgeny Novikov 6 months ago

#7 Updated by Evgeny Novikov 6 months ago

  • Target version changed from 1.1 to 2.0
  • Assignee changed from Alexey Polushkin to Ilja Zakharov
  • Status changed from Resolved to Open

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.

#8 Updated by Evgeny Novikov 4 months ago

  • Assignee deleted (Ilja Zakharov)
  • Status changed from Open to Rejected

We discussed that this issue should be done in underlying tool Clade that relates build commands at the moment.

#9 Updated by Evgeny Novikov 4 months ago

  • Related to Feature #9290: Respect warnings issued by Clade added

Also available in: Atom PDF