Project

General

Profile

Actions

Feature #8664

closed

Refactor relating build commands

Added by Evgeny Novikov over 6 years ago. Updated over 5 years 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 5 (2 open3 closed)

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

Actions
Related to Klever - Bug #8258: LKVOG crash on module 'drivers/misc/lkdtm.ko'ClosedAlexey Polushkin06/23/2017

Actions
Related to Klever - Bug #8666: Acquire locks when dealing when build commands cacheClosedAlexey Polushkin01/15/2018

Actions
Related to Klever - Feature #8529: Support noticesNew10/25/2017

Actions
Related to Klever - Feature #9290: Respect warnings issued by CladeNew09/28/2018

Actions
Actions #1

Updated by Evgeny Novikov over 6 years ago

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

Updated by Evgeny Novikov over 6 years ago

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

Updated by Evgeny Novikov over 6 years ago

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

Updated by Alexey Polushkin about 6 years ago

  • Status changed from New to Resolved

Resolved in branch 'cc_file_warning'

Actions #5

Updated by Evgeny Novikov almost 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.

Actions #6

Updated by Evgeny Novikov almost 6 years ago

Actions #7

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

Actions #8

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

Actions #9

Updated by Evgeny Novikov over 5 years ago

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

Also available in: Atom PDF