Bug #7281: EMG generates variables with unknown size - Klever - Open-Source Projects

Custom queries

Important bugs and features

Actions

Copy link

Bug #7281

closed

EMG generates variables with unknown size

Added by Vitaly Mordan about 8 years ago. Updated almost 5 years ago.

Status:

Closed

Priority:

High

Assignee:

Ilja Zakharov

Category:

Environment models

Target version:

Start date:

06/08/2016

Due date:

% Done:

Estimated time:

Detected in build:

svn

Platform:

Published in build:

a43c34a

Description

The weaver component fails with the following error message:

storage size of 'ldv_100_container_enum_trace_reg' isn't known

Related issues 1 (0 open — 1 closed)

Related to Klever - Bug #7244: EMG declares and operates with variables of types non-visible in the file with an entry point

Closed

Ilja Zakharov

05/24/2016

Actions

Issue # Delay: days Cancel

History
Notes
Property changes

Actions

Copy link

Updated by Vadim Mutilin about 8 years ago

Probably, the bug has roots in #7244
Vitaly, please provide data to reproduce the bug

Actions

Copy link

Updated by Pavel Andrianov about 8 years ago

The task is related to the #7262. I had the same error message. One difference is that my structures are not used anywhere.

Actions

Copy link

Updated by Vitaly Mordan about 8 years ago

How to reproduce:

Linux kernel commit: 0d67673
Module: fs/gfs2/gfs2.ko
Basic EMG options.

Actions

Copy link

Updated by Vitaly Mordan about 8 years ago

Category set to Environment models

Actions

Copy link

Updated by Ilja Zakharov about 8 years ago

Status changed from New to Resolved

Implemented in branch emg-improvements (look at issue 7244).

Export of control functions helped to verify referred commit and find an Unsafe there.

Actions

Copy link

Updated by Vadim Mutilin about 8 years ago

On 0d67673, module fs/gfs2/gfs2.ko, model linux:mutex, it fails with

../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: At top level:
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:809:92: error: 'gfs2_mount_meta' undeclared here (not in a function)
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:809:47: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4337: expression recursion limit is reached [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:809:47: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4338: tree node 'error_mark' isn't supported
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:809:47: warning: LDV: ../../aspectator/gcc/c-family/ldv-pretty-print.c: 3075: expression of primary expression was not printed [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:811:59: warning: initialization discards 'const' qualifier from pointer target type [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:829:58: error: 'gfs2_kill_sb' undeclared here (not in a function)
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:829:39: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4337: expression recursion limit is reached [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:829:39: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4338: tree node 'error_mark' isn't supported
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:829:39: warning: LDV: ../../aspectator/gcc/c-family/ldv-pretty-print.c: 3075: expression of primary expression was not printed [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:831:92: error: 'gfs2_mount' undeclared here (not in a function)
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:831:47: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4337: expression recursion limit is reached [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:831:47: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4338: tree node 'error_mark' isn't supported
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:831:47: warning: LDV: ../../aspectator/gcc/c-family/ldv-pretty-print.c: 3075: expression of primary expression was not printed [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:833:59: warning: initialization discards 'const' qualifier from pointer target type [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:877:47: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4337: expression recursion limit is reached [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:877:47: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4338: tree node 'error_mark' isn't supported
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:877:47: warning: LDV: ../../aspectator/gcc/c-family/ldv-pretty-print.c: 3075: expression of primary expression was not printed [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:879:59: warning: initialization discards 'const' qualifier from pointer target type [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_3':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:1297:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_4':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:1673:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_43':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:1759:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_45':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:1813:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_48':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:1887:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_49':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:1961:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_5':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2338:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_50':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2412:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_51':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2486:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_52':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2560:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_53':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2634:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_54':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2708:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_55':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2782:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_56':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2856:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_57':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2930:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_58':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3004:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_59':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3078:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_60':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3152:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_61':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3226:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_62':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3300:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_63':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3374:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_64':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3448:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_65':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3522:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_66':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3596:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_67':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3670:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_68':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3744:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_69':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3818:12: warning: statement with no effect [-Wunused-value]
Aspectator failed at '3' stage.
Raise exception:
Traceback (most recent call last):
  File "/home/ubuntu/klever/core/core/components.py", line 95, in run
    self.main()
  File "/home/ubuntu/klever/core/core/utils.py", line 38, in callbacks_caller
    ret = attr(*args, **kwargs)
  File "/home/ubuntu/klever/core/core/avtg/weaver/__init__.py", line 95, in weave
    cc_full_desc['cwd'])))
  File "/home/ubuntu/klever/core/core/utils.py", line 219, in execute
    raise CommandError('"{0}" failed'.format(cmd))
core.utils.CommandError: "cif" failed

Actions

Copy link